Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
1094:db52c32dbe42 | 1095:bed675db3aff |
---|---|
61 (Settings.setExe (SOME s); | 61 (Settings.setExe (SOME s); |
62 doArgs rest) | 62 doArgs rest) |
63 | "-sql" :: s :: rest => | 63 | "-sql" :: s :: rest => |
64 (Settings.setSql (SOME s); | 64 (Settings.setSql (SOME s); |
65 doArgs rest) | 65 doArgs rest) |
66 | "-static" :: rest => | |
67 (Settings.setStaticLinking true; | |
68 doArgs rest) | |
66 | arg :: rest => | 69 | arg :: rest => |
67 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then | 70 (if size arg > 0 andalso String.sub (arg, 0) = #"-" then |
68 raise Fail ("Unknown flag " ^ arg) | 71 raise Fail ("Unknown flag " ^ arg) |
69 else | 72 else |
70 sources := arg :: !sources; | 73 sources := arg :: !sources; |