diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-27 13:18:32 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-27 13:18:32 -0500 |
| commit | c5a46fa63373c129e9595373d4c126030266d957 (patch) | |
| tree | 4a63c8e1de989b220775c95117ae849c20f76f1c /src/settings.sml | |
| parent | 129b1c431efebc77a7a0046c725380ba29b814cf (diff) | |
Dynamic linking of the runtime system
Diffstat (limited to 'src/settings.sml')
| -rw-r--r-- | src/settings.sml | 10 |
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 |