blob: e99d187b0de95cc6ef7292892516b4d72f17b1e0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- ./README.orig Sat Mar 31 01:43:03 2001
+++ README Sun Jan 13 11:03:51 2008
@@ -25,7 +25,7 @@
- Set environment variable SMLTK_LIB to the full path of directory lib;
- chdir to src and start SML compiler;
- case you SML-compiler of
- SML/NJ => CM.make();
+ SML/NJ => CM.make "sources.cm";
| PolyML => use "root_poly.sml";
| MoscowML => use "root_mosml.sml";
- After successful compilation:
|
