summaryrefslogtreecommitdiff
path: root/src/compiler.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-22 10:57:22 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-22 10:57:22 -0400
commite61963ce4e7d78dd54f6207e95b53a1dc40e4230 (patch)
treed2811c413a099e4745427c4390ee2c1002a12b3c /src/compiler.sig
parentb1090e5a14dd4183607372876b6e648f87c14181 (diff)
'linker' .urp directive
Diffstat (limited to 'src/compiler.sig')
-rw-r--r--src/compiler.sig3
1 files changed, 2 insertions, 1 deletions
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.