11.25 Options specifying properties of the environment

--mercury-configuration-directory directory

--mercury-config-dir directory

Search directory for Mercury system’s configuration files.

--install-command command

Specify the command to use to install the files in Mercury libraries. The given command will be invoked as command source target to install each file in a Mercury library. The default command is cp.

--options-file filename

–no-options-file

Add filename to the list of options files to be processed. If filename is ‘-’, an options file will be read from the standard input. By default, the compiler will read the file named Mercury.options in the current directory. Note that this option is intended to be used only on command lines. When specified in options files (i.e. in files named by other –options-file options), it has no effect.

--config-file filename

–no-config-file

Read the Mercury compiler’s configuration information from filename. If the ‘--config-file’ option is not set, a default configuration will be used, unless ‘--no-mercury-stdlib-dir’ is passed to mmc. The configuration file is just an options file. See Using Mmake.

--env-type {posix,cygwin,msys,windows}

Specify the environment type in which the compiler and generated programs will be invoked. This option is equivalent to setting all of ‘--host-env-type’, ‘--system-env-type’ and ‘--target-env-type’ to the given environment type.

--host-env-type {posix,cygwin,msys,windows}

Specify the environment type in which the compiler will be invoked.

--system-env-type {posix,cygwin,msys,windows}

Specify the environment type in which external programs invoked by the compiler will run. If not specified, this defaults to the value given by ‘–host-env-type’.

--target-env-type {posix,cygwin,msys,windows}

Specify the environment type in which generated programs will be invoked.

--restricted-command-line

Enable this option if your shell does not support long command lines. This option uses temporary files to pass arguments to sub-commands. (This option is supported only by mmc --make.)