diff --git a/script/mlton.sh b/script/mlton.sh index 59a6fe07f..9be312a65 100755 --- 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 index 4a001bd96..48f321b07 100755 --- 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