summaryrefslogtreecommitdiff
path: root/src/compiler.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/compiler.sml')
-rw-r--r--src/compiler.sml9
1 files changed, 8 insertions, 1 deletions
diff --git a/src/compiler.sml b/src/compiler.sml
index 0d61b361..c8059c6e 100644
--- a/src/compiler.sml
+++ b/src/compiler.sml
@@ -508,7 +508,14 @@ fun parseUrp' fname =
| SOME _ => ErrorMsg.error "Duplicate 'timeout' directive";
timeout := SOME (valOf (Int.fromString arg)))
| "ffi" => ffi := relify arg :: !ffi
- | "link" => link := relifyA arg :: !link
+ | "link" => let
+ val arg = if size arg >= 2 andalso String.substring (arg, 0, 2) = "-l" then
+ arg
+ else
+ relifyA arg
+ in
+ link := arg :: !link
+ end
| "include" => headers := relifyA arg :: !headers
| "script" => scripts := arg :: !scripts
| "clientToServer" => clientToServer := ffiS () :: !clientToServer