Temporarily call mlton rather than mpl

iu-parfunc · Sep 27, 2023 · df15686 · df15686
1 parent 8e518f7
commit df15686
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/gibbon-compiler/src/Gibbon/Compiler.hs b/gibbon-compiler/src/Gibbon/Compiler.hs
@@ -564,6 +564,9 @@ clearFile fileName = removeFile fileName `catch` handleErr
 
 -- | SML Codegen
 
+mplCompiler :: String
+mplCompiler = "mlton"  -- temporary until mpl is installed
+
 goIO :: Functor m => a1 -> m a2 -> StateT b m a1
 goIO prog io = StateT $ \x -> io $> (prog, x)
 
@@ -575,7 +578,7 @@ toSML fp prog = writeFile (smlExt fp) $ render $ ppProgram prog
 
 compileMPL :: FilePath -> IO ()
 compileMPL fp = do
-  cd <- system $ "mpl " <> smlExt fp
+  cd <- system $ mplCompiler <> " " <> smlExt fp
   case cd of
     ExitFailure n -> error $ "SML compiler failed with code " <> show n
     ExitSuccess -> pure ()