summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-12-27 13:18:32 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-12-27 13:18:32 -0500
commitc5a46fa63373c129e9595373d4c126030266d957 (patch)
tree4a63c8e1de989b220775c95117ae849c20f76f1c /src/settings.sml
parent129b1c431efebc77a7a0046c725380ba29b814cf (diff)
Dynamic linking of the runtime system
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml10
1 files changed, 8 insertions, 2 deletions
diff --git a/src/settings.sml b/src/settings.sml
index a7f2cc9f..39398490 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -270,7 +270,8 @@ val checkMime = check
type protocol = {
name : string,
- link : string,
+ linkStatic : string,
+ linkDynamic : string,
persistent : bool
}
val protocols = ref ([] : protocol list)
@@ -281,7 +282,8 @@ fun clibFile s = OS.Path.joinDirFile {dir = Config.libC,
file = s}
val curProto = ref {name = "",
- link = "",
+ linkStatic = "",
+ linkDynamic = "",
persistent = false}
fun setProtocol name =
case getProtocol name of
@@ -427,4 +429,8 @@ val monoInline = ref 20
fun setMonoInline n = monoInline := n
fun getMonoInline () = !monoInline
+val staticLinking = ref false
+fun setStaticLinking b = staticLinking := b
+fun getStaticLinking () = !staticLinking
+
end