Mercurial > urweb

diff src/main.mlton.sml @ 1095:bed675db3aff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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)