a15faa6309
interface to the user interface description and command language Tcl/Tk. It allows the implementation of graphical user interfaces in a structured and reusable way, supported by the powerful module system of Standard ML. WWW: http://www.informatik.uni-bremen.de/~cxl/sml_tk PR: ports/119640 Submitted by: Timothy Bourke <timbob at bigpond.com>
54 lines
1.5 KiB
Standard ML
54 lines
1.5 KiB
Standard ML
(* ***************************************************************************
|
|
|
|
$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
|