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

SCM Repository

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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 369 - (view) (download)

1 : blume 354 (*
2 :     * CM parameters that are configurable via shell-environment variables.
3 :     *
4 :     * Copyright (c) 1999 by Lucent Technologies, Bell Laboratories.
5 :     *
6 :     * author: Matthias Blume (blume@cs.princeton.edu)
7 :     *)
8 :     structure StdConfig = struct
9 :     local
10 :     val bool = EnvConfig.new Bool.fromString
11 :     val int = EnvConfig.new Int.fromString
12 : blume 361 val string = EnvConfig.new SOME
13 : blume 369 val stringoptthunk = EnvConfig.new (fn s => SOME (fn () => SOME s))
14 : blume 354 in
15 :     val verbose = bool ("VERBOSE", true)
16 :     val debug = bool ("DEBUG", false)
17 :     val keep_going = bool ("KEEP_GOING", false)
18 : blume 361 val pathcfgspec = string ("PATHCONFIG", "/usr/lib/smlnj-pathconfig")
19 : blume 365 val parse_caching = int ("PARSE_CACHING", 100)
20 : blume 369 val local_pathconfig =
21 :     stringoptthunk ("LOCAL_PATHCONFIG",
22 :     fn () =>
23 :     Option.map (fn h => OS.Path.concat
24 :     (h, ".smlnj-pathconfig"))
25 :     (OS.Process.getEnv "HOME"))
26 : blume 354 end
27 :     end
28 : blume 361

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