9.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.

--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.)