Mercurial > urweb
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 |