summaryrefslogtreecommitdiff
path: root/src/settings.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-02-11 09:10:01 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-02-11 09:10:01 -0500
commitabe2d7ed6e151579cd6f13fd0ce92e29bb83a23d (patch)
tree07742ac1accf17b7abc4153c890887c5a20ad464 /src/settings.sml
parent861dbf0153f3383666dc0f3c35675d0b9a625b8d (diff)
sigfile directive
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 0bbe3961..f600d2ac 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -275,7 +275,8 @@ type protocol = {
compile : string,
linkStatic : string,
linkDynamic : string,
- persistent : bool
+ persistent : bool,
+ code : unit -> Print.PD.pp_desc
}
val protocols = ref ([] : protocol list)
fun addProtocol p = protocols := p :: !protocols
@@ -288,7 +289,8 @@ val curProto = ref {name = "",
compile = "",
linkStatic = "",
linkDynamic = "",
- persistent = false}
+ persistent = false,
+ code = fn () => Print.box []}
fun setProtocol name =
case getProtocol name of
NONE => raise Fail ("Unknown protocol " ^ name)
@@ -441,4 +443,8 @@ val deadlines = ref false
fun setDeadlines b = deadlines := b
fun getDeadlines () = !deadlines
+val sigFile = ref (NONE : string option)
+fun setSigFile v = sigFile := v
+fun getSigFile () = !sigFile
+
end