Mercurial > urweb

diff src/settings.sml @ 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
line wrap: on
line diff
--- a/src/settings.sml	Sun Dec 27 10:37:24 2009 -0500
+++ b/src/settings.sml	Sun Dec 27 13:18:32 2009 -0500
@@ -270,7 +270,8 @@
 
 type protocol = {
      name : string,
-     link : string,
+     linkStatic : string,
+     linkDynamic : string,
      persistent : bool
 }
 val protocols = ref ([] : protocol list)
@@ -281,7 +282,8 @@
                                       file = s}
 
 val curProto = ref {name = "",
-                    link = "",
+                    linkStatic = "",
+                    linkDynamic = "",
                     persistent = false}
 fun setProtocol name =
     case getProtocol name of
@@ -427,4 +429,8 @@
 fun setMonoInline n = monoInline := n
 fun getMonoInline () = !monoInline
 
+val staticLinking = ref false
+fun setStaticLinking b = staticLinking := b
+fun getStaticLinking () = !staticLinking
+
 end