Mercurial > urweb

diff src/main.mlton.sml @ 1126:c01fb6f1b31f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
-path and -root command-line flags
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 Jan 2010 11:07:39 -0500
parents bed675db3aff
children 8679ba87cf3c
line wrap: on
line diff
--- a/src/main.mlton.sml	Tue Jan 12 10:33:03 2010 -0500
+++ b/src/main.mlton.sml	Tue Jan 12 11:07:39 2010 -0500
@@ -1,4 +1,4 @@
-(* Copyright (c) 2008, Adam Chlipala
+(* Copyright (c) 2008-2010, Adam Chlipala
  * All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
@@ -66,6 +66,12 @@
       | "-static" :: rest =>
         (Settings.setStaticLinking true;
          doArgs rest)
+      | "-path" :: name :: path :: rest =>
+        (Compiler.addPath (name, path);
+         doArgs rest)
+      | "-root" :: name :: root :: rest =>
+        (Compiler.addModuleRoot (root, name);
+         doArgs rest)
       | arg :: rest =>
         (if size arg > 0 andalso String.sub (arg, 0) = #"-" then
              raise Fail ("Unknown flag " ^ arg)