diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-04-22 10:57:22 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-04-22 10:57:22 -0400 |
| commit | e61963ce4e7d78dd54f6207e95b53a1dc40e4230 (patch) | |
| tree | d2811c413a099e4745427c4390ee2c1002a12b3c /src/compiler.sig | |
| parent | b1090e5a14dd4183607372876b6e648f87c14181 (diff) | |
'linker' .urp directive
Diffstat (limited to 'src/compiler.sig')
| -rw-r--r-- | src/compiler.sig | 3 |
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. |