23.2 Environment Properties

Other miscellaneous properties characterize the environment in which Mozart is installed and runs.

Property

Type

Description

oz.dotoz

VirtualString

user directory for personal customizations and packages. Initialized from OZ_DOTOZ or OZDOTOZ, or the default ~/.oz/1.3.0

oz.home

VirtualString

top directory of the mozart installation. Initialized from OZ_HOME or OZHOME or property oz.configure.home

oz.search.load

VirtualString

methods for resolving functors: initialized from OZ_SEARCH_LOAD, OZ_LOAD or OZLOAD (or a default)

oz.search.path

VirtualString

where to search for includes: initialized from OZ_SEARCH_PATH, OZ_PATH or OZPATH (or a default)

oz.trace.load

Bool

controls whether resolvers output tracing information

path.separator

Char

the character used as a search path separator for the current platform (: for Unix, and ; for Windows)

path.escape

Char

the character used for escaping another character (usually backslash)

user.home

VirtualString

user home directory where applicable. Initialized from HOME (or otherwise from HOMEDRIVE and HOMEPATH on Windows)


Denys Duchier, Leif Kornstaedt, Martin Homik, Tobias Müller, Christian Schulte and Peter Van Roy
Version 1.4.0 (20080702)