@@ -64,10 +64,11 @@ To install SMLUnit for [SML/NJ], run `make install` with `Makefile.smlnj`:
64
64
$ make -f Makefile.smlnj install
65
65
```
66
66
67
- To specify the directory to install to, run ` make ` with the variable ` PREFIX ` :
67
+ Above command install SMLUnit to ` /usr/local/sml ` .
68
+ This install location can be set with ` PREFIX ` variable like:
68
69
69
70
``` sh
70
- $ make -f Makefile.smlnj install PREFIX=~ /.sml/smlnj
71
+ $ make -f Makefile.smlnj install PREFIX=~ /.sml/smlnj/110.99
71
72
```
72
73
73
74
The ` install ` target uses [ SMLDoc] to generate the documentations for SMLUnit.
@@ -92,7 +93,7 @@ $ echo 'smlunit-lib.cm PREFIX/lib/smlunit-lib.cm' >> ~/.smlnj-pathconfig
92
93
93
94
#### Test
94
95
95
- To run SMLUnit unit tests, run the ` test ` target:
96
+ To run unit tests, run the ` test ` target:
96
97
97
98
``` sh
98
99
$ make -f Makefile.smlnj test
@@ -134,14 +135,13 @@ If you do not need to generate documentation, run the `install-nodoc` target.
134
135
$ make -f Makefile.mlton install-nodoc
135
136
```
136
137
137
- After running the ` install ` target, add an entry for ` SMLUNIT_LIB ` to your mlb path mapping file:
138
+ After running the ` install ` target, add an entry for ` SMLUNIT_LIB ` to your mlb path mapping file to complete the installation.
138
139
139
140
``` sh
140
141
$ echo ' SMLUNIT_LIB /path/to/$PREFIX' >> /path/to/mlb-path-map
141
142
```
142
143
143
-
144
- For using SMLUnit, refer to ` $(SMLUNIT_LIB)/smlunit-lib.mlb ` from your mlbasis file.
144
+ For using SMLUnit, refer to ` $(SMLUNIT_LIB)/smlunit-lib.mlb ` from your MLB file.
145
145
146
146
```
147
147
$(SML_LIB)/basis/basis.mlb
@@ -153,7 +153,7 @@ $(SMLUNIT_LIB)/smlunit-lib.mlb
153
153
154
154
#### Test
155
155
156
- To run SMLUnit unit tests, run the ` test ` target:
156
+ To run unit tests, run the ` test ` target:
157
157
158
158
``` sh
159
159
$ make -f Makefile.mlton test
@@ -164,7 +164,7 @@ Depending on the test case, it will fails.
164
164
165
165
#### Examples
166
166
167
- To run the example program, run ` example ` target:
167
+ To run the example program, run the ` example ` target:
168
168
169
169
``` sh
170
170
$ make -f Makefile.smlnj example
@@ -176,13 +176,14 @@ $ make -f Makefile.smlnj example
176
176
177
177
#### Install
178
178
179
- To install SMLUnit for [ Poly/ML] , run the ` install ` target .
179
+ To install SMLUnit for [ Poly/ML] , run ` make install` with ` Makefile.polyml ` .
180
180
181
181
``` sh
182
182
$ make -f Makefile.polyml install
183
183
```
184
184
185
- To specify the directory to install to, run ` make ` with the variable ` PREFIX ` :
185
+ Above command install SMLUnit to ` /usr/local/polyml ` .
186
+ This install location can be set with ` PREFIX ` variable like:
186
187
187
188
``` sh
188
189
$ make -f Makefile.polyml PREFIX=~ /.sml/polyml/5.8.1 install
@@ -212,7 +213,7 @@ val it = (): unit
212
213
213
214
#### Test
214
215
215
- To run SMLUnit unit tests, run the ` test ` target:
216
+ To run unit tests, run the ` test ` target:
216
217
217
218
``` sh
218
219
$ make -f Makefile.polyml test
@@ -226,18 +227,10 @@ Depending on the test case, it will fails.
226
227
To run the example program, run the ` example ` target:
227
228
228
229
``` sh
229
-
230
230
$ make -f Makefile.polyml example
231
- [POLYML] bin/smlunit-example-poly.o
232
- ..
233
- [POLYC] bin/smlunit-example-poly
234
- bin/smlunit-example-poly
235
- .....
236
- tests = 5, failures = 0, errors = 0
237
- Failures:
238
- Errors:
239
231
```
240
232
233
+
241
234
[ SML/NJ ] : https://www.smlnj.org/ " Standard ML of New Jersey "
242
235
243
236
[ MLton ] : https://www.mlton.org/ " MLton "
0 commit comments