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