Mercurial > urweb
diff src/settings.sig @ 1095:bed675db3aff
Dynamic linking of the runtime system
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 27 Dec 2009 13:18:32 -0500 |
| parents | b2311dfb3158 |
| children | 324c9ffe8ff9 |
line wrap: on
line diff
--- a/src/settings.sig Sun Dec 27 10:37:24 2009 -0500 +++ b/src/settings.sig Sun Dec 27 13:18:32 2009 -0500 @@ -92,9 +92,10 @@ (* Web protocols that generated programs may speak *) type protocol = { - name : string, (* Call it this on the command line *) - link : string, (* Pass these linker arguments *) - persistent : bool (* Multiple requests per process? *) + name : string, (* Call it this on the command line *) + linkStatic : string, (* Pass these static linker arguments *) + linkDynamic : string,(* Pass these dynamic linker arguments *) + persistent : bool (* Multiple requests per process? *) } val addProtocol : protocol -> unit val setProtocol : string -> unit @@ -182,4 +183,7 @@ val setMonoInline : int -> unit val getMonoInline : unit -> int + val setStaticLinking : bool -> unit + val getStaticLinking : unit -> bool + end