Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/src/cm/util/stdcfg.sml
ViewVC logotype

Diff of /sml/trunk/src/cm/util/stdcfg.sml

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

revision 1536, Tue Jul 13 18:30:33 2004 UTC revision 1537, Tue Jul 13 18:49:54 2004 UTC
# Line 31  Line 31 
31                                         SOME s => s                                         SOME s => s
32                                       | NONE => "(not set)") }                                       | NONE => "(not set)") }
33    
         val string_cvt = ControlUtil.Cvt.string  
   
34          val nextpri = ref 0          val nextpri = ref 0
35    
36          fun new (c, n, h, d) = let          fun new (c, n, h, d) = let
# Line 85  Line 83 
83          val generate_index = new (bool_cvt, "generate-index",          val generate_index = new (bool_cvt, "generate-index",
84                                    "whether CM generates library indices",                                    "whether CM generates library indices",
85                                    false)                                    false)
86    
87            (* controls for make tool *)
88            structure MakeTool = struct
89            local
90                val priority = [1]
91                val prefix = "make-tool"
92                val obscurity = 2
93                val mregistry = ControlRegistry.new { help = "CM Make Tool" }
94                val _ = ControlRegistry.nest registry { prefix = SOME prefix,
95                                                        pri = priority,
96                                                        obscurity = 0,
97                                                        reg = mregistry }
98    
99                val nextpri = ref 0
100    
101                fun new (c, n, h, d) =
102                    let val r = ref d
103                        val p = !nextpri
104                        val ctl = Controls.control { name = n, pri = [p],
105                                                     obscurity = obscurity,
106                                                     help = h, ctl = r }
107                    in
108                        nextpri := p + 1;
109                        ControlRegistry.register mregistry
110                                 { ctl = Controls.stringControl c ctl,
111                                   envName = SOME (ControlUtil.EnvName.toUpper
112                                                       "CM_MAKE_" n) };
113                        { set = fn x => r := x,
114                          get = fn () => !r }
115                end
116            in
117                val command =
118                    new (ControlUtil.Cvt.string, "command",
119                         "the shell-command", "make")
120                val pass_bindir =
121                    new (ControlUtil.Cvt.bool, "smlnj-bindir",
122                         "whether to pass SMLNJ_BINDIR to command", true)
123            end
124            end
125      end      end
126  end  end

Legend:
Removed from v.1536  
changed lines
  Added in v.1537

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