From 8af062a9c180ffe41bd290c328c31b016cb521a5 Mon Sep 17 00:00:00 2001
From: Jonathan Sterling <jon@jonmsterling.com>
Date: Sat, 7 Oct 2017 08:35:16 -0400
Subject: [PATCH] get MLton running again using a suggestion from @MatthewFluet

https://github.com/MLton/mlton/issues/196#issuecomment-334900882

issue #394
---
 script/mlton.sh      | 2 +-
 script/test-mlton.sh | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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