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