From e61963ce4e7d78dd54f6207e95b53a1dc40e4230 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 22 Apr 2012 10:57:22 -0400
Subject: 'linker' .urp directive

---
 src/compiler.sig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src/compiler.sig')

diff --git a/src/compiler.sig b/src/compiler.sig
index 53887ecb..7c39f28d 100644
--- a/src/compiler.sig
+++ b/src/compiler.sig
@@ -40,6 +40,7 @@ signature COMPILER = sig
          timeout : int,
          ffi : string list,
          link : string list,
+         linker : string option,
          headers : string list,
          scripts : string list,
          clientToServer : Settings.ffi list,
@@ -63,7 +64,7 @@ signature COMPILER = sig
     val compile : string -> bool
     val compiler : string -> unit
     val compileC : {cname : string, oname : string, ename : string, libs : string,
-                    profile : bool, debug : bool, link : string list} -> bool
+                    profile : bool, debug : bool, linker : string option, link : string list} -> bool
 
     val beforeC : (unit -> unit) ref
     (* This function is called before beginning C compilation.
-- 
cgit v1.2.3