Mercurial > urweb

comparison src/settings.sig @ 1164:8679ba87cf3c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
sigfile directive
author Adam Chlipala <adamc@hcoop.net>
date Thu, 11 Feb 2010 09:10:01 -0500
parents 01b6c7144a44
children 7a2a7a8f9cab
comparison
equal deleted inserted replaced
1163:6c507826fae9 1164:8679ba87cf3c
94 type protocol = { 94 type protocol = {
95 name : string, (* Call it this on the command line *) 95 name : string, (* Call it this on the command line *)
96 compile : string, (* Pass these `gcc -c' arguments *) 96 compile : string, (* Pass these `gcc -c' arguments *)
97 linkStatic : string, (* Pass these static linker arguments *) 97 linkStatic : string, (* Pass these static linker arguments *)
98 linkDynamic : string,(* Pass these dynamic linker arguments *) 98 linkDynamic : string,(* Pass these dynamic linker arguments *)
99 persistent : bool (* Multiple requests per process? *) 99 persistent : bool, (* Multiple requests per process? *)
100 code : unit -> Print.PD.pp_desc (* Extra code to include in C files *)
100 } 101 }
101 val addProtocol : protocol -> unit 102 val addProtocol : protocol -> unit
102 val setProtocol : string -> unit 103 val setProtocol : string -> unit
103 val currentProtocol : unit -> protocol 104 val currentProtocol : unit -> protocol
104 105
188 val getStaticLinking : unit -> bool 189 val getStaticLinking : unit -> bool
189 190
190 val setDeadlines : bool -> unit 191 val setDeadlines : bool -> unit
191 val getDeadlines : unit -> bool 192 val getDeadlines : unit -> bool
192 193
194 val setSigFile : string option -> unit
195 val getSigFile : unit -> string option
196
193 end 197 end