Linux and UNIX Man Pages

Linux & Unix Commands - Search Man Pages

sml(1) [debian man page]

SML(1)							      General Commands Manual							    SML(1)

NAME
sml - SML compiler SYNOPSIS
sml [ rtsargs ] [ options ] [files ] DESCRIPTION
This manual page documents briefly the sml command. This manual page was written for the Debian distribution because the original program does not have a manual page. This is a compiler for Standard ML which may be used interactively. OPTIONS
A summary of options is included below. rtsargs: @SMLload=heapimage Start specified heap image. @SMLalloc=size Specify size of allocation area. @SMLcmdname=name Set command name. @SMLquiet Load heap image silently. @SMLverbose Show heap image load progress. @SMLobjects Show list of executable objects. @SMLdebug=file Write debugging info to file. options: -Dname=value Set CM variable to given value. -Dname Set CM variable to 1. -Uname Unset CM variable. -Ccontrol=value Set named control. -H Produce complete help listing. -h Produce minimal help listing. -hlevel Help with obscurity limit. -S List all current settings. -slevel Limited list of settings. files: file.cm CM.make or CM.autoload. -m Switch to CM.make. -a Switch to CM.autoload; default. file.sig Use. file.sml Use. file.fun Use. SEE ALSO
ml-build(1), ml-lex(1), ml-makedepend(1), ml-yacc(1). Standard ML is defined in The Definition of Standard ML, Robin Milner, Mads Tofte, Robert Harper and David MacQueen. AUTHOR
This manual page was written by Aaron Matthew Read <amread@nyx.net>, for the Debian GNU/Linux system (but may be used by others). October 25, 2002 SML(1)

Check Out this Related Man Page

UNRAR(1)							   RAR archiver 							  UNRAR(1)

NAME
unrar - extract files from rar archives SYNOPSIS
unrar <command> [-<switch 1> -<switch N>] archive [files...] [path...] DESCRIPTION
This manual page documents briefly the unrar command. This manual page was written for the Debian GNU/Linux distribution because the original program does not have a manual page. Commands and options described here are as of unrar 2.02. OPTIONS
After the program name comes a command and then optional switches with dashes before them. A summary of commands is included below. For a complete description, run unrar without options. e Extract files to current directory. l List archive content. p Print file to stdout. t Test archive files. v Verbosely list archive. x Extract files with full path. SWITCHES
NOTE: Every switch must be separated by a whitespace. You cannot put them together. -av- Disable AV check. -c- Disable comments show. -f Freshen files. -kb Keep broken extracted files. -ierr Send all messages to stderr. -inul Disable all messages. -o+ Overwrite existing files. -o- Do not overwrite existing files. -p<password> Set password. -p- Do not query password. -r Recurse subdirectories. -u Update files. -v List all volumes. -x<file> Exclude specified file. -x@<list> Exclude files in specified list file. -x@ Read file names to exclude from stdin. -y Assume Yes on all queries. AUTHOR
This manual page was written by Petr Cech <cech@debian.org> according to "unrar -h" for the Debian GNU/Linux system (but may be used by others). 02.11.1999 UNRAR(1)
Man Page