9.24 Options controlling the library installation process

--install-prefix directory

The directory under which to install Mercury libraries.

--library-grade grade

–no-library-grade

--libgrade grade

–no-libgrade

The positive form adds grade to the list of compilation grades in which a library to be installed should be built. (The list is initialized to the set of grades in which the standard library is installed.) The negative form clears the list of compilation grades in which a library to be installed should be built.

--libgrades-include-component grade_component

–no-libgrades-include-component

--libgrades-include grade_component

–no-libgrades-include

Remove grades that do not contain the specified component from the set of library grades to be installed. (This option works only with mmc --make; it does not work with mmake.)

--libgrades-exclude-component grade_component

–no-libgrades-exclude-component

--libgrades-exclude grade_component

–no-libgrades-exclude

Remove grades that contain the specified component from the set of library grades to be installed. (This option works only with mmc --make; it does not work with mmake.)

--library-install-linkage {shared, static}

–no-library-install-linkage

--library-linkage {shared, static}

–no-library-linkage

--lib-linkage {shared, static}

–no-lib-linkage

Specify whether libraries should be installed for shared or static linking. This option can be specified multiple times. By default, libraries will be installed for both shared and static linking.

--no-detect-stdlib-grades

--no-detect-libgrades

Do not scan the installation directory to determine which standard library grades are available.

--no-libgrade-install-check

Do not check that libraries have been installed before attempting to use them. (This option is meaningful only with mmc --make.)

--extra-init-command command

–no-extra-init-command

Specify a command to produce extra entries in the .init file for a library. The command will be passed the names of all of the source files in the program or library, with the source file containing the main module given first.

--extra-library-header filename

–no-extra-library-header

--extra-lib-header filename

–no-extra-lib-header

Install the specified C header file with along with a Mercury library. (This option is supported only by mmc --make.)