diff options
author | Adam Chlipala <adam@chlipala.net> | 2015-12-05 12:04:06 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2015-12-05 12:04:06 -0500 |
commit | bad7adde120773d46af83ab972967f26823e37b4 (patch) | |
tree | a1e8aac4d22273e103ddf675ee88f19b3fee2e0a /src/compiler.sml | |
parent | 4635acd2d4e4404b2b1a89909cd765ac310d62c5 (diff) |
New .urp directive: jsFile
Diffstat (limited to 'src/compiler.sml')
-rw-r--r-- | src/compiler.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/compiler.sml b/src/compiler.sml index 99f2ff31..e2d590b4 100644 --- a/src/compiler.sml +++ b/src/compiler.sml @@ -875,6 +875,10 @@ fun parseUrp' accLibs fname = url := {action = Settings.Allow, kind = Settings.Exact, pattern = uri} :: !url) | _ => ErrorMsg.error "Bad 'file' arguments") + | "jsFile" => + (Settings.setFilePath thisPath; + Settings.addJsFile arg) + | _ => ErrorMsg.error ("Unrecognized command '" ^ cmd ^ "'"); read () end |