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). |