get MLton running again using a suggestion from @MatthewFluet

MLton/mlton#196 (comment) issue #394
RedPRL · Oct 7, 2017 · 8af062a · 8af062a
1 parent fd6b4ba
commit 8af062a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/script/mlton.sh b/script/mlton.sh
@@ -6,4 +6,4 @@ mlyacc src/redprl/redprl.grm
 mllex src/redprl/redprl.lex
 
 mkdir -p bin
-mlton -codegen c -verbose 1 -mlb-path-var "LIBS $LIBS" -output bin/redprl src/frontend.mlb
+mlton -native-live-transfer 0 -verbose 1 -mlb-path-var "LIBS $LIBS" -output bin/redprl src/frontend.mlb
diff --git a/script/test-mlton.sh b/script/test-mlton.sh
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 echo "Building RedPRL with MLton..."
-./script/mlton-tc.sh >build.log 2>&1 || { echo "build failed!"; cat build.log; exit 1; }
+./script/mlton.sh >build.log 2>&1 || { echo "build failed!"; cat build.log; exit 1; }
 echo "done!"
 
 # exec ./script/test-no-build.sh