Mercurial > urweb
diff src/compiler.sig @ 1725:7b9775d4a8ce
'linker' .urp directive
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Sun, 22 Apr 2012 10:57:22 -0400 |
| parents | 3cfc79f92db7 |
| children | c414850f206f |
line wrap: on
line diff
--- a/src/compiler.sig Sun Apr 22 09:18:21 2012 -0400 +++ b/src/compiler.sig Sun Apr 22 10:57:22 2012 -0400 @@ -40,6 +40,7 @@ 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 @@ 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.