From 2307ccdcc5eb4ddfe719ddcbea999f7705ec79c3 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 30 Apr 2009 17:15:14 -0400
Subject: C FFI compiler options

---
 src/compiler.sig | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index d00f111e..cae86472 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -37,11 +37,14 @@ signature COMPILER = sig
          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
-- 
cgit v1.2.3