Mercurial > urweb

comparison 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
comparison
equal deleted inserted replaced
890:034eeb099564 891:8f2159040bbb
86 if List.exists (fn x => x = file) files then 86 if List.exists (fn x => x = file) files then
87 files 87 files
88 else 88 else
89 files @ [file]) 89 files @ [file])
90 (#sources combined) (#sources urp), 90 (#sources combined) (#sources urp),
91 exe = OS.Path.joinDirFile {dir = dirname, 91 exe = case Settings.getExe () of
92 file = "demo.exe"}, 92 NONE => OS.Path.joinDirFile {dir = dirname,
93 sql = SOME (OS.Path.joinDirFile {dir = dirname, 93 file = "demo.exe"}
94 file = "demo.sql"}), 94 | SOME s => s,
95 sql = SOME (case Settings.getSql () of
96 NONE => OS.Path.joinDirFile {dir = dirname,
97 file = "demo.sql"}
98 | SOME s => s),
95 debug = Settings.getDebug (), 99 debug = Settings.getDebug (),
96 timeout = Int.max (#timeout combined, #timeout urp), 100 timeout = Int.max (#timeout combined, #timeout urp),
97 profile = false, 101 profile = false,
98 ffi = [], 102 ffi = [],
99 link = [], 103 link = [],