Mercurial > urweb

comparison src/settings.sig @ 1095:bed675db3aff

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
1094:db52c32dbe42 1095:bed675db3aff
90 val getMimeRules : unit -> rule list 90 val getMimeRules : unit -> rule list
91 val checkMime : string -> bool 91 val checkMime : string -> bool
92 92
93 (* Web protocols that generated programs may speak *) 93 (* Web protocols that generated programs may speak *)
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 link : string, (* Pass these linker arguments *) 96 linkStatic : string, (* Pass these static linker arguments *)
97 persistent : bool (* Multiple requests per process? *) 97 linkDynamic : string,(* Pass these dynamic linker arguments *)
98 persistent : bool (* Multiple requests per process? *)
98 } 99 }
99 val addProtocol : protocol -> unit 100 val addProtocol : protocol -> unit
100 val setProtocol : string -> unit 101 val setProtocol : string -> unit
101 val currentProtocol : unit -> protocol 102 val currentProtocol : unit -> protocol
102 103
180 val getCoreInline : unit -> int 181 val getCoreInline : unit -> int
181 182
182 val setMonoInline : int -> unit 183 val setMonoInline : int -> unit
183 val getMonoInline : unit -> int 184 val getMonoInline : unit -> int
184 185
186 val setStaticLinking : bool -> unit
187 val getStaticLinking : unit -> bool
188
185 end 189 end