From 4b6ba24685efdbfafa35540100f3fd5f19a7a801 Mon Sep 17 00:00:00 2001 From: Sergey Mironov Date: Tue, 20 Aug 2013 17:13:50 +0400 Subject: Add -ccompiler command line argument This allows user to overwrite the compiler set during the configure phase --- src/main.mlton.sml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src/main.mlton.sml') diff --git a/src/main.mlton.sml b/src/main.mlton.sml index 19022cb7..91bbdc0c 100644 --- a/src/main.mlton.sml +++ b/src/main.mlton.sml @@ -61,12 +61,15 @@ fun oneRun args = case args of [] => () | "-version" :: rest => - printVersion () + printVersion () | "-numeric-version" :: rest => - printNumericVersion () + printNumericVersion () | "-css" :: rest => (css := true; doArgs rest) + | "-ccompiler" :: ccomp :: rest => + (Settings.setCCompiler ccomp; + doArgs rest) | "-demo" :: prefix :: rest => (demo := SOME (prefix, false); doArgs rest) -- cgit v1.2.3