Mercurial > urweb
diff src/settings.sig @ 1164:8679ba87cf3c
sigfile directive
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 11 Feb 2010 09:10:01 -0500 |
| parents | 01b6c7144a44 |
| children | 7a2a7a8f9cab |
line wrap: on
line diff
--- a/src/settings.sig Tue Feb 09 20:08:59 2010 -0500 +++ b/src/settings.sig Thu Feb 11 09:10:01 2010 -0500 @@ -96,7 +96,8 @@ compile : string, (* Pass these `gcc -c' arguments *) linkStatic : string, (* Pass these static linker arguments *) linkDynamic : string,(* Pass these dynamic linker arguments *) - persistent : bool (* Multiple requests per process? *) + persistent : bool, (* Multiple requests per process? *) + code : unit -> Print.PD.pp_desc (* Extra code to include in C files *) } val addProtocol : protocol -> unit val setProtocol : string -> unit @@ -190,4 +191,7 @@ val setDeadlines : bool -> unit val getDeadlines : unit -> bool + val setSigFile : string option -> unit + val getSigFile : unit -> string option + end