Mercurial > urweb
diff src/compiler.sig @ 764:7f653298dd66
C FFI compiler options
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 30 Apr 2009 17:15:14 -0400 |
parents | 43553c93dd8c |
children | a28982de5645 |
line wrap: on
line diff
--- a/src/compiler.sig Thu Apr 30 16:25:27 2009 -0400 +++ b/src/compiler.sig Thu Apr 30 17:15:14 2009 -0400 @@ -37,11 +37,14 @@ sql : string option, debug : bool, profile : bool, - timeout : int + timeout : int, + ffi : string list, + link : string list, + headers : string list } val compile : string -> unit val compileC : {cname : string, oname : string, ename : string, libs : string, - profile : bool, debug : bool} -> unit + profile : bool, debug : bool, link : string list} -> unit type ('src, 'dst) phase type ('src, 'dst) transform