diff options
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. |