diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-02-11 09:10:01 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-02-11 09:10:01 -0500 |
| commit | abe2d7ed6e151579cd6f13fd0ce92e29bb83a23d (patch) | |
| tree | 07742ac1accf17b7abc4153c890887c5a20ad464 /src/settings.sml | |
| parent | 861dbf0153f3383666dc0f3c35675d0b9a625b8d (diff) | |
sigfile directive
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 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 |