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

Parent Directory | Revision Log | Patch

	revision 2077, Mon Nov 5 11:51:35 2012 UTC	revision 2078, Mon Nov 5 12:00:48 2012 UTC
#	Line 39	Line 39
39	val statsFlg = Stats.reportStats	val statsFlg = Stats.reportStats
40	val target = ref TargetUtil.TARGET_C	val target = ref TargetUtil.TARGET_C
41	val parallel = ref false	val parallel = ref false
42		val bspFlg = ref false
43
44	fun setFlag (flg, value) = G.NoArg(fn () => (flg := value))	fun setFlag (flg, value) = G.NoArg(fn () => (flg := value))
45
#	Line 115	Line 116
116	desc = setFlag (statsFlg, true),	desc = setFlag (statsFlg, true),
117	help = "report optimization statistics"	help = "report optimization statistics"
118	},	},
119	targetOptDesc	targetOptDesc,
120	(* TODO: -double *)	{ short = "", long = ["force-bsp"],
121		desc = setFlag (bspFlg, true),
122		help = "execute strands in BSP mode"
123		}
124	]	]
125	@ List.map mkFlagOption HighOptimizer.controls	@ List.map mkFlagOption HighOptimizer.controls
126	@ List.map mkFlagOption MidOptimizer.controls	@ List.map mkFlagOption MidOptimizer.controls
#	Line 169	Line 173
173	parallel = !parallel,	parallel = !parallel,
174	double = !doubleFlg,	double = !doubleFlg,
175	longint = false,              (* currently always false *)	longint = false,              (* currently always false *)
176	debug = !debugFlg	debug = !debugFlg,
177		bsp = !bspFlg
178	}	}
179	in {	in {
180	help = !helpFlg,	help = !helpFlg,

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.2077   changed lines   Added in v.2078

---

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