Mercurial > urweb
diff src/main.mlton.sml @ 1095:bed675db3aff
Dynamic linking of the runtime system
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 27 Dec 2009 13:18:32 -0500 |
parents | 99aebdf30257 |
children | c01fb6f1b31f |
line wrap: on
line diff
--- a/src/main.mlton.sml Sun Dec 27 10:37:24 2009 -0500 +++ b/src/main.mlton.sml Sun Dec 27 13:18:32 2009 -0500 @@ -63,6 +63,9 @@ | "-sql" :: s :: rest => (Settings.setSql (SOME s); doArgs rest) + | "-static" :: rest => + (Settings.setStaticLinking true; + doArgs rest) | arg :: rest => (if size arg > 0 andalso String.sub (arg, 0) = #"-" then raise Fail ("Unknown flag " ^ arg)