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 1568, Fri Oct 28 17:36:33 2011 UTC revision 1569, Fri Oct 28 19:02:11 2011 UTC
# Line 15  Line 15 
15              log : bool,                         (* logging enabled? *)              log : bool,                         (* logging enabled? *)
16              defs : string list,                 (* input-variable definitions *)              defs : string list,                 (* input-variable definitions *)
17              target : TargetUtil.target_desc,              target : TargetUtil.target_desc,
18                output : string option,             (* "-o" specified file *)
19              file : string              file : string
20            }            }
21    
# Line 27  Line 28 
28      exception Usage of string      exception Usage of string
29    
30    (* some option flags *)    (* some option flags *)
     val logFlg = ref false  
31      val helpFlg = ref false      val helpFlg = ref false
32      val debugFlg = ref false      val debugFlg = ref false
33      val doubleFlg = ref false      val doubleFlg = ref false
34        val outputOpt : string option ref = ref NONE
35        val logFlg = ref false
36      val statsFlg = Stats.reportStats      val statsFlg = Stats.reportStats
37      val target = ref TargetUtil.TARGET_C      val target = ref TargetUtil.TARGET_C
38      val parallel = ref false      val parallel = ref false
# Line 78  Line 80 
80                desc = setFlag (helpFlg, true),                desc = setFlag (helpFlg, true),
81                help = "print command-line options"                help = "print command-line options"
82              },              },
83                { short = "o", long = ["output"],
84                  desc = G.ReqArg(fn s => outputOpt := SOME s, "file"),
85                  help = "specify the executable file name"
86                },
87              { short = "g", long = ["debug"],              { short = "g", long = ["debug"],
88                desc = setFlag (debugFlg, true),                desc = setFlag (debugFlg, true),
89                help = "enable debugging information in executable"                help = "enable debugging information in executable"
# Line 117  Line 123 
123              log = !logFlg,              log = !logFlg,
124              defs = defs,              defs = defs,
125              target = targetDesc,              target = targetDesc,
126                output = !outputOpt,
127              file = (case files              file = (case files
128                 of [] => if !helpFlg then "" else raise Usage "missing file argument"                 of [] => if !helpFlg then "" else raise Usage "missing file argument"
129                  | f::_ => f                  | f::_ => f

Legend:
Removed from v.1568  
changed lines
  Added in v.1569

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