blob: 7e6a7a5b033c49fc95a4e88b3a7506b8e09d0be6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
(* ***************************************************************************
$Source: /repository/sml/sml_tk/src/sys_conf.sml,v $
System configuration.
The environment variables controlling the configuration of sml_tk,
and more importantly, their default values.
These values can, and are meant to be changed (in particular the
default values).
$Date: 2001/03/30 13:39:18 $
$Revision: 3.0 $
Author: cxl/stefan (Last modification by $Author: 2cxl $)
(C) 1996, Bremen Institute for Safe Systems (BISS), University of Bremen.
************************************************************************** *)
signature SYS_CONF =
sig
type envVar = {name: string, default: string}
val logfileVar : envVar
val libVar : envVar
val wishVar : envVar
end;
structure SysConf : SYS_CONF =
struct
type envVar = {name: string, default: string}
(* Probably the most important setting: the correct path to the
* wish at your site *)
val wishVar = {name= "SMLTK_TCL",
default= "%%WISH%%"}
(* This default value for SMLTK_LIB assumes the curent directory
* is the sml_tk source directory. You may want to replace this
* with the actual path at your installation. *)
val libVar = {name= "SMLTK_LIB",
default= "%%SMLTKLIB%%"}
(* the logfile doesn't need a default; if it is not set,
* the logging is turned off
*)
val logfileVar = {name= "SMLTK_LOGFILE",
default= ""}
end
|
