Mercurial > urweb

diff 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
line wrap: on
line diff
--- a/src/settings.sml	Sun Dec 27 13:18:32 2009 -0500
+++ b/src/settings.sml	Sun Dec 27 14:25:22 2009 -0500
@@ -270,6 +270,7 @@
 
 type protocol = {
      name : string,
+     compile : string,
      linkStatic : string,
      linkDynamic : string,
      persistent : bool
@@ -282,6 +283,7 @@
                                       file = s}
 
 val curProto = ref {name = "",
+                    compile = "",
                     linkStatic = "",
                     linkDynamic = "",
                     persistent = false}