Mercurial > urweb

diff src/demo.sml @ 891:8f2159040bbb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
More command-line options
author Adam Chlipala <adamc@hcoop.net>
date Sat, 18 Jul 2009 11:01:48 -0400
parents 03e7f111fe99
children e2194a6793ae
line wrap: on
line diff
--- a/src/demo.sml	Sat Jul 18 10:27:32 2009 -0400
+++ b/src/demo.sml	Sat Jul 18 11:01:48 2009 -0400
@@ -88,10 +88,14 @@
                                 else
                                     files @ [file])
                             (#sources combined) (#sources urp),
-            exe = OS.Path.joinDirFile {dir = dirname,
-                                       file = "demo.exe"},
-            sql = SOME (OS.Path.joinDirFile {dir = dirname,
-                                             file = "demo.sql"}),
+            exe = case Settings.getExe () of
+                      NONE => OS.Path.joinDirFile {dir = dirname,
+                                                   file = "demo.exe"}
+                    | SOME s => s,
+            sql = SOME (case Settings.getSql () of
+                            NONE => OS.Path.joinDirFile {dir = dirname,
+                                                         file = "demo.sql"}
+                          | SOME s => s),
             debug = Settings.getDebug (),
             timeout = Int.max (#timeout combined, #timeout urp),
             profile = false,