aboutsummaryrefslogtreecommitdiffhomepage
path: root/src/settings.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/settings.sml')
-rw-r--r--src/settings.sml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml
index 39398490..b316b489 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -270,6 +270,7 @@ val checkMime = check
type protocol = {
name : string,
+ compile : string,
linkStatic : string,
linkDynamic : string,
persistent : bool
@@ -282,6 +283,7 @@ fun clibFile s = OS.Path.joinDirFile {dir = Config.libC,
file = s}
val curProto = ref {name = "",
+ compile = "",
linkStatic = "",
linkDynamic = "",
persistent = false}