From bad7adde120773d46af83ab972967f26823e37b4 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sat, 5 Dec 2015 12:04:06 -0500
Subject: New .urp directive: jsFile

---
 src/compiler.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/compiler.sml')

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
-- 
cgit v1.2.3