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

SCM Repository

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

Diff of /branches/vis15/src/compiler/options/options.sml

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

revision 3862, Sun May 15 15:44:30 2016 UTC revision 3863, Sun May 15 17:18:04 2016 UTC
# Line 41  Line 41 
41      val versionFlg = ref false      val versionFlg = ref false
42      val debugFlg = ref false      val debugFlg = ref false
43      val doubleFlg = ref false      val doubleFlg = ref false
44        val longIntFlg = ref false
45        val scalarFlg = ref false
46      val outputOpt : string option ref = ref NONE      val outputOpt : string option ref = ref NONE
47      val standaloneFlg = ref false      val standaloneFlg = ref false
48      val snapshotFlg = ref false      val snapshotFlg = ref false
# Line 136  Line 138 
138                desc = setFlag (doubleFlg, true),                desc = setFlag (doubleFlg, true),
139                help = "use double-precision floats for reals"                help = "use double-precision floats for reals"
140              },              },
141                { short = "", long = ["long-int"],
142                  desc = setFlag (longIntFlg, true),
143                  help = "use 64-bits for ints"
144                },
145                { short = "", long = ["scalar"],
146                  desc = setFlag (scalarFlg, true),
147                  help = "do not generate vectorized code"
148                },
149              mkOptionFlag {ctl = Ctl.enableLog, short = "", long = SOME "log"},              mkOptionFlag {ctl = Ctl.enableLog, short = "", long = SOME "log"},
150              mkOptionFlag {ctl = Ctl.collectStats, short = "", long = SOME "stats"},              mkOptionFlag {ctl = Ctl.collectStats, short = "", long = SOME "stats"},
151              mkOptionFlag {ctl = Ctl.verbose, short = "", long = SOME "verbose"},              mkOptionFlag {ctl = Ctl.verbose, short = "", long = SOME "verbose"},
# Line 209  Line 219 
219                    platform = !platform,                    platform = !platform,
220                    namespace = Option.getOpt(!prefix, "Diderot"),                    namespace = Option.getOpt(!prefix, "Diderot"),
221                    double = !doubleFlg,                    double = !doubleFlg,
222                    longint = false,              (* currently always false *)                    longint = !longIntFlg,
223                      scalar = !scalarFlg,
224                    debug = !debugFlg,                    debug = !debugFlg,
225                    bsp = !bspFlg                    bsp = !bspFlg
226                  }                  }

Legend:
Removed from v.3862  
changed lines
  Added in v.3863

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