diff options
Diffstat (limited to 'devel/sml_tk/files/patch-README')
| -rw-r--r-- | devel/sml_tk/files/patch-README | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/sml_tk/files/patch-README b/devel/sml_tk/files/patch-README new file mode 100644 index 000000000000..e99d187b0de9 --- /dev/null +++ b/devel/sml_tk/files/patch-README @@ -0,0 +1,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: |