This section lists some environment variables used by Magma.
These variables
are set by an appropriate operating system command and are used to
define various search paths and other run-time options.
MAGMA_STARTUP_FILE
The name of the default start-up file. It can be overridden by the magma -s command.
Search path for files that are loaded (a colon separated list of directories). It need not include directories for the libraries, just personal directories. This path is searched before the library directories.
Limit on the size of the memory that may be used by a Magma-session (in bytes).
The root directory for the Magma libraries (by supplying an absolute path name). From within Magma SetLibraryRoot and GetLibraryRoot can be used to change and view the value.
Give a list of Magma libraries (as a colon separated list of sub-directories of the library root directory). From within Magma SetLibraries and GetLibraries can be used to change and view the value.
The Magma system spec file containing the system packages automatically attached at start-up.
The personal user spec file containing the user packages automatically attached at start-up.[Next] [Prev] [Right] [Left] [Up] [Index] [Root]