comparison src/compiler.sig @ 385:1195f6e4d208

Support for URL prefixes that works with local demo
author Adam Chlipala <adamc@hcoop.net>
date Sun, 19 Oct 2008 15:47:47 -0400
parents 78358e5df273
children 5de838fb0950
comparison
equal deleted inserted replaced
384:2a7e7bd7b29f 385:1195f6e4d208
28 (* Ur/Web main compiler interface *) 28 (* Ur/Web main compiler interface *)
29 29
30 signature COMPILER = sig 30 signature COMPILER = sig
31 31
32 type job = { 32 type job = {
33 prefix : string,
33 database : string option, 34 database : string option,
34 sources : string list, 35 sources : string list,
35 exe : string, 36 exe : string,
36 sql : string option, 37 sql : string option,
37 debug : bool 38 debug : bool