Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/driver/options.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/driver/options.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1911, Tue Jun 5 13:51:17 2012 UTC revision 1912, Tue Jun 5 16:02:39 2012 UTC
# Line 33  Line 33 
33      val doubleFlg = ref false      val doubleFlg = ref false
34      val outputOpt : string option ref = ref NONE      val outputOpt : string option ref = ref NONE
35      val standaloneFlg = ref false      val standaloneFlg = ref false
36        val snapshotFlg = ref false
37      val prefix : string option ref = ref NONE      val prefix : string option ref = ref NONE
38      val logFlg = ref false      val logFlg = ref false
39      val statsFlg = Stats.reportStats      val statsFlg = Stats.reportStats
# Line 94  Line 95 
95                desc = G.ReqArg(fn s => prefix := SOME s, "prefix"),                desc = G.ReqArg(fn s => prefix := SOME s, "prefix"),
96                help = "specify namespace prefix for generated code"                help = "specify namespace prefix for generated code"
97              },              },
98                { short = "", long = ["snapshot"],
99                  desc = setFlag (snapshotFlg, true),
100                  help = "generate code to get a snapshot of strand states"
101                },
102              { short = "g", long = ["debug"],              { short = "g", long = ["debug"],
103                desc = setFlag (debugFlg, true),                desc = setFlag (debugFlg, true),
104                help = "enable debugging information in executable"                help = "enable debugging information in executable"
# Line 158  Line 163 
163                    outDir = outDir,                    outDir = outDir,
164                    outBase = outBase,                    outBase = outBase,
165                    exec = !standaloneFlg,                    exec = !standaloneFlg,
166                      snapshot = not(!standaloneFlg) andalso !snapshotFlg,
167                    target = !target,                    target = !target,
168                    namespace = Option.getOpt(!prefix, "Diderot")^"_",                    namespace = Option.getOpt(!prefix, "Diderot")^"_",
169                    parallel = !parallel,                    parallel = !parallel,

Legend:
Removed from v.1911  
changed lines
  Added in v.1912

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0