Mercurial > urweb
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 => |