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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/driver/options.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/driver/options.sml

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

revision 1214, Sat May 14 04:19:19 2011 UTC revision 1215, Sat May 14 05:54:07 2011 UTC
# Line 78  Line 78 
78                desc = setFlag (helpFlg, true),                desc = setFlag (helpFlg, true),
79                help = "print command-line options"                help = "print command-line options"
80              },              },
81              { short = "g", long = [],              { short = "g", long = ["debug"],
82                desc = setFlag (debugFlg, true),                desc = setFlag (debugFlg, true),
83                help = "enable debugging information in executable"                help = "enable debugging information in executable"
84              },              },
# Line 98  Line 98 
98            @ List.map mkFlagOption LowOptimizer.controls            @ List.map mkFlagOption LowOptimizer.controls
99    
100      fun parseCmdLine args = let      fun parseCmdLine args = let
101    val _ = print(concat["parseCmdLine: ", String.concatWith " " args, "\n"])
102          (* first we filter out any variable definitions *)          (* first we filter out any variable definitions *)
103            val (defs, rest) = List.partition Inputs.isCmdLineInput args            val (defs, rest) = List.partition Inputs.isCmdLineInput args
104            val (opts, files) = G.getOpt {            val (opts, files) = G.getOpt {
105                    argOrder = G.RequireOrder,                    argOrder = G.RequireOrder,
106                    options = optionList,                    options = optionList,
107                    errFn = fn s => raise Fail s                    errFn = fn s => raise Usage s
108                  } args                  } args
109          (* figure out target details *)          (* figure out target details *)
110            val targetDesc = {            val targetDesc = {

Legend:
Removed from v.1214  
changed lines
  Added in v.1215

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