6.2 Profile Parameters

There are many parameters in a profile, but you almost never have to fiddle with them: the very few used in the earlier examples are typically all you'll ever need. They all correspond to parameters also documented elsewhere. However, here is the full list of them:

Name

The profile's name

Type

Its type: one of default, installed, or build

OZHOME

Oz installation directory

OZLOAD

Methods used by the resolver to resolve URIs

OZPATH

Directories searched for \insert directives

OZ_TRACE_LOAD

Whether the resolver should output tracing information

OZ_TRACE_MODULE

Whether the module manager should output tracing information

LD_LIBRARY_PATH

Additional directories to search for dynamically linked libraries

DYLD_LIBRARY_PATH

Additional directories to search for MacOS X dylib libraries

OZEMULATOR

Path to emulator.exe

OZINIT

Path to Init.ozf

PATH

Additional directories to search for executable programs

Change Title

Whether to change the Emacs frame title while Mozart is running

Frame Title

String to use as the Emacs frame title while Mozart is running

Prepend Line

Whether to prepend a \line directive to all Oz queries

Default Host

Name of host to use for creating socket connections

Source Directory

Directory of the Mozart sources

Build Directory

Directory in which Mozart was configured and built

Secondary Build Directory

Another such directory

Root Functor

URI of the root functor to load on startup

Run Under GDB

Whether to start the OPI under control of the GNU Debugger. Possible values are one of No, Yes, and Yes + Auto Start

Other Buffer Size

Percentage of frame to use for Oz Compiler/Emulator/Temp window

Popup on Error

Whether to popup the Compiler resp. Emulator buffer upon error

Halt Timeout

Number of seconds to wait for shutdown in oz-halt

Compile Command

default shell command to do a compilation This may contain at most one occurrence of `%s', which is replaced by the current buffer's file name

Application Command

default shell command to execute an Oz application This may contain at most one occurrence of `%s', which is replaced by the current buffer's file name, minus the `.oz' or `.ozg' extension.

Engine Program

Default ozengine to run the OPI