[MLton-commit] r6176
Vesa Karvonen
vesak at mlton.org
Mon Nov 19 05:38:17 PST 2007
Alice is also supported.
----------------------------------------------------------------------
U mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh
U mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README
----------------------------------------------------------------------
Modified: mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh
===================================================================
--- mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh 2007-11-19 13:33:37 UTC (rev 6175)
+++ mltonlib/trunk/org/mlton/vesak/use-lib/unstable/Make.sh 2007-11-19 13:38:16 UTC (rev 6176)
@@ -45,6 +45,8 @@
gen alice '()' 'ignore' ''
+gen mosml '()' 'ignore' 'val () = load "OS" ;'
+
gen polyml \
'(PolyML.get_print_depth () \
before PolyML.print_depth 0)' \
@@ -68,8 +70,6 @@
end' \
''
-gen mosml '()' 'ignore' 'val () = load "OS" ;'
-
if which poly > /dev/null ; then
echo 'PolyML.print_depth 0 ; use "polyml.use" ;' | poly -q
echo
Modified: mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README
===================================================================
--- mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README 2007-11-19 13:33:37 UTC (rev 6175)
+++ mltonlib/trunk/org/mlton/vesak/use-lib/unstable/README 2007-11-19 13:38:16 UTC (rev 6176)
@@ -26,7 +26,7 @@
(export.sml). The contents of this directory should ideally provide
sufficient documentation to use the library.
- {mosml,polyml,smlnj}.use
+ {alice,mosml,polyml,smlnj}.use
These build files define the framework. These files are generated
using the Make.sh script.
More information about the MLton-commit
mailing list