comparison src/main.mlton.sml @ 1871:c3119c263bd3

Add -ccompiler command line argument This allows user to overwrite the compiler set during the configure phase
author Sergey Mironov <grrwlf@gmail.com>
date Tue, 20 Aug 2013 17:13:50 +0400
parents d636d33fd8a2
children 6507e973af84
comparison
equal deleted inserted replaced
1870:434921f54f54 1871:c3119c263bd3
59 59
60 fun doArgs args = 60 fun doArgs args =
61 case args of 61 case args of
62 [] => () 62 [] => ()
63 | "-version" :: rest => 63 | "-version" :: rest =>
64 printVersion () 64 printVersion ()
65 | "-numeric-version" :: rest => 65 | "-numeric-version" :: rest =>
66 printNumericVersion () 66 printNumericVersion ()
67 | "-css" :: rest => 67 | "-css" :: rest =>
68 (css := true; 68 (css := true;
69 doArgs rest)
70 | "-ccompiler" :: ccomp :: rest =>
71 (Settings.setCCompiler ccomp;
69 doArgs rest) 72 doArgs rest)
70 | "-demo" :: prefix :: rest => 73 | "-demo" :: prefix :: rest =>
71 (demo := SOME (prefix, false); 74 (demo := SOME (prefix, false);
72 doArgs rest) 75 doArgs rest)
73 | "-guided-demo" :: prefix :: rest => 76 | "-guided-demo" :: prefix :: rest =>