Mercurial > urweb

comparison src/settings.sig @ 1096:324c9ffe8ff9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Protocol-specific compiler options
author Adam Chlipala <adamc@hcoop.net>
date Sun, 27 Dec 2009 14:25:22 -0500
parents bed675db3aff
children 01b6c7144a44
comparison
equal deleted inserted replaced
1095:bed675db3aff 1096:324c9ffe8ff9
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 compile : string, (* Pass these `gcc -c' arguments *)
96 linkStatic : string, (* Pass these static linker arguments *) 97 linkStatic : string, (* Pass these static linker arguments *)
97 linkDynamic : string,(* Pass these dynamic linker arguments *) 98 linkDynamic : string,(* Pass these dynamic linker arguments *)
98 persistent : bool (* Multiple requests per process? *) 99 persistent : bool (* Multiple requests per process? *)
99 } 100 }
100 val addProtocol : protocol -> unit 101 val addProtocol : protocol -> unit