Mercurial > urweb
comparison src/compiler.sig @ 1164:8679ba87cf3c
sigfile directive
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 11 Feb 2010 09:10:01 -0500 |
parents | e77079953308 |
children | 52c6ac6a59f1 |
comparison
equal
deleted
inserted
replaced
1163:6c507826fae9 | 1164:8679ba87cf3c |
---|---|
49 jsFuncs : (Settings.ffi * string) list, | 49 jsFuncs : (Settings.ffi * string) list, |
50 rewrites : Settings.rewrite list, | 50 rewrites : Settings.rewrite list, |
51 filterUrl : Settings.rule list, | 51 filterUrl : Settings.rule list, |
52 filterMime : Settings.rule list, | 52 filterMime : Settings.rule list, |
53 protocol : string option, | 53 protocol : string option, |
54 dbms : string option | 54 dbms : string option, |
55 sigFile : string option | |
55 } | 56 } |
56 val compile : string -> bool | 57 val compile : string -> bool |
57 val compiler : string -> unit | 58 val compiler : string -> unit |
58 val compileC : {cname : string, oname : string, ename : string, libs : string, | 59 val compileC : {cname : string, oname : string, ename : string, libs : string, |
59 profile : bool, debug : bool, link : string list} -> bool | 60 profile : bool, debug : bool, link : string list} -> bool |