summaryrefslogtreecommitdiff
path: root/src/main.mlton.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-27 13:18:32 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-27 13:18:32 -0500
commitc5a46fa63373c129e9595373d4c126030266d957 (patch)
tree4a63c8e1de989b220775c95117ae849c20f76f1c /src/main.mlton.sml
parent129b1c431efebc77a7a0046c725380ba29b814cf (diff)
Dynamic linking of the runtime system
Diffstat (limited to 'src/main.mlton.sml')
-rw-r--r--src/main.mlton.sml3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main.mlton.sml b/src/main.mlton.sml
index 36d0ce98..42f05259 100644
--- a/src/main.mlton.sml
+++ b/src/main.mlton.sml
@@ -63,6 +63,9 @@ fun doArgs args =
| "-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)