Mercurial > urweb

comparison src/settings.sml @ 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 b9abd6cded7b
comparison
equal deleted inserted replaced
1095:bed675db3aff 1096:324c9ffe8ff9
268 mime 268 mime
269 269
270 270
271 type protocol = { 271 type protocol = {
272 name : string, 272 name : string,
273 compile : string,
273 linkStatic : string, 274 linkStatic : string,
274 linkDynamic : string, 275 linkDynamic : string,
275 persistent : bool 276 persistent : bool
276 } 277 }
277 val protocols = ref ([] : protocol list) 278 val protocols = ref ([] : protocol list)
280 281
281 fun clibFile s = OS.Path.joinDirFile {dir = Config.libC, 282 fun clibFile s = OS.Path.joinDirFile {dir = Config.libC,
282 file = s} 283 file = s}
283 284
284 val curProto = ref {name = "", 285 val curProto = ref {name = "",
286 compile = "",
285 linkStatic = "", 287 linkStatic = "",
286 linkDynamic = "", 288 linkDynamic = "",
287 persistent = false} 289 persistent = false}
288 fun setProtocol name = 290 fun setProtocol name =
289 case getProtocol name of 291 case getProtocol name of