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

Parent Directory | Revision Log | 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,

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

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