comparison src/main.mlton.sml @ 1961:0652f295e0fa

New compiler option: -stop
author Adam Chlipala <adam@chlipala.net>
date Sun, 19 Jan 2014 13:08:01 -0500
parents afdc823563de
children 210fb3dfc483
comparison
equal deleted inserted replaced
1960:93f3e35a7967 1961:0652f295e0fa
130 | "-sql" :: s :: rest => 130 | "-sql" :: s :: rest =>
131 (Settings.setSql (SOME s); 131 (Settings.setSql (SOME s);
132 doArgs rest) 132 doArgs rest)
133 | "-static" :: rest => 133 | "-static" :: rest =>
134 (Settings.setStaticLinking true; 134 (Settings.setStaticLinking true;
135 doArgs rest)
136 | "-stop" :: phase :: rest =>
137 (Compiler.setStop phase;
135 doArgs rest) 138 doArgs rest)
136 | "-path" :: name :: path :: rest => 139 | "-path" :: name :: path :: rest =>
137 (Compiler.addPath (name, path); 140 (Compiler.addPath (name, path);
138 doArgs rest) 141 doArgs rest)
139 | "-root" :: name :: root :: rest => 142 | "-root" :: name :: root :: rest =>