comparison src/compiler.sig @ 866:03e7f111fe99

Start of multi-DBMS support
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Jun 2009 13:49:32 -0400
parents dc3fc3f3b834
children b2a175a0f2ef
comparison
equal deleted inserted replaced
865:ebefb0609ac3 866:03e7f111fe99
47 clientOnly : Settings.ffi list, 47 clientOnly : Settings.ffi list,
48 serverOnly : Settings.ffi list, 48 serverOnly : Settings.ffi list,
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,
54 dbms : string option
53 } 55 }
54 val compile : string -> unit 56 val compile : string -> unit
55 val compileC : {cname : string, oname : string, ename : string, libs : string, 57 val compileC : {cname : string, oname : string, ename : string, libs : string,
56 profile : bool, debug : bool, link : string list} -> unit 58 profile : bool, debug : bool, link : string list} -> unit
57 59