[hcoop/zz_old/debian/smlnj.git] / debian / sml.1

.\"                                      Hey, EMACS: -*- nroff -*-
.TH SML 1 "October 25, 2002"
.SH NAME
sml \- SML compiler
.SH SYNOPSIS
.B sml
.RI "[ " rtsargs " ] [ " options " ] [" files " ]"
.SH DESCRIPTION
This manual page documents briefly the
.B 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.
.SH OPTIONS
A summary of options is included below.
.SS rtsargs:
.TP
.BI @SMLload= heapimage
Start specified heap image.
.TP
.BI @SMLalloc= size
Specify size of allocation area.
.TP
.BI @SMLcmdname= name
Set command name.
.TP
.B @SMLquiet
Load heap image silently.
.TP
.B @SMLverbose
Show heap image load progress.
.TP
.B @SMLobjects
Show list of executable objects.
.TP
.BI @SMLdebug= file
Write debugging info to file.
.SS options:
.TP
.BI -D name = value
Set CM variable to given value.
.TP
.BI -D name
Set CM variable to 1.
.TP
.BI -U name
Unset CM variable.
.TP
.BI -C control = value
Set named control.
.TP
.B -H
Produce complete help listing.
.TP
.B -h
Produce minimal help listing.
.TP
.BI -h level
Help with obscurity limit.
.TP
.B -S
List all current settings.
.TP
.BI -s level
Limited list of settings.

.SS files:
.TP
.I file.cm        
CM.make or CM.autoload.
.TP
.B -m
Switch to CM.make.
.TP
.B -a
Switch to CM.autoload; default.
.TP
.I file.sig
Use.
.TP
.I file.sml
Use.
.TP
.I file.fun
Use.


.SH SEE ALSO
.BR ml-build (1),
.BR ml-lex (1),
.BR ml-makedepend (1),
.BR ml-yacc (1).
.br
Standard ML is defined in
.IR "The Definition of Standard ML" ,
Robin Milner, Mads Tofte, Robert Harper and David MacQueen.
.SH 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).
Commit	Line	Data
4dd335d4 JM	1	.\" Hey, EMACS: -- nroff --
	2	.TH SML 1 "October 25, 2002"
	3	.SH NAME
	4	sml \- SML compiler
	5	.SH SYNOPSIS
	6	.B sml
	7	.RI "[ " rtsargs " ] [ " options " ] [" files " ]"
	8	.SH DESCRIPTION
	9	This manual page documents briefly the
	10	.B sml
	11	command.
	12	This manual page was written for the Debian distribution
	13	because the original program does not have a manual page.
	14	This is a compiler for Standard ML which may be used
	15	interactively.
	16	.SH OPTIONS
	17	A summary of options is included below.
	18	.SS rtsargs:
	19	.TP
	20	.BI @SMLload= heapimage
	21	Start specified heap image.
	22	.TP
	23	.BI @SMLalloc= size
	24	Specify size of allocation area.
	25	.TP
	26	.BI @SMLcmdname= name
	27	Set command name.
	28	.TP
	29	.B @SMLquiet
	30	Load heap image silently.
	31	.TP
	32	.B @SMLverbose
	33	Show heap image load progress.
	34	.TP
	35	.B @SMLobjects
	36	Show list of executable objects.
	37	.TP
	38	.BI @SMLdebug= file
	39	Write debugging info to file.
	40	.SS options:
	41	.TP
	42	.BI -D name = value
	43	Set CM variable to given value.
	44	.TP
	45	.BI -D name
	46	Set CM variable to 1.
	47	.TP
	48	.BI -U name
	49	Unset CM variable.
	50	.TP
	51	.BI -C control = value
	52	Set named control.
	53	.TP
	54	.B -H
	55	Produce complete help listing.
	56	.TP
	57	.B -h
	58	Produce minimal help listing.
	59	.TP
	60	.BI -h level
	61	Help with obscurity limit.
	62	.TP
	63	.B -S
	64	List all current settings.
65	.TP
66	.BI -s level
67	Limited list of settings.
68
69	.SS files:
70	.TP
71	.I file.cm
72	CM.make or CM.autoload.
73	.TP
74	.B -m
75	Switch to CM.make.
76	.TP
77	.B -a
78	Switch to CM.autoload; default.
79	.TP
80	.I file.sig
81	Use.
82	.TP
83	.I file.sml
84	Use.
85	.TP
86	.I file.fun
87	Use.
88
89
90	.SH SEE ALSO
91	.BR ml-build (1),
92	.BR ml-lex (1),
93	.BR ml-makedepend (1),
94	.BR ml-yacc (1).
95	.br
96	Standard ML is defined in
97	.IR "The Definition of Standard ML" ,
98	Robin Milner, Mads Tofte, Robert Harper and David MacQueen.
99	.SH AUTHOR
100	This manual page was written by Aaron Matthew Read <amread@nyx.net>,
101	for the Debian GNU/Linux system (but may be used by others).