9.22.1 General options for linking

--mercury-library-directory directory

--mld directory

Append directory to the list of directories to be searched for Mercury libraries. This will add ‘--search-directory’, ‘--library-directory’, ‘--init-file-directory’ and ‘--c-include-directory’ options as needed. See Using installed libraries with mmc --make.

--search-library-files-directory directory

--search-lib-files-dir directory

Search directory for Mercury library files that have not yet been installed. Similar to adding directory using all of the ‘--search-directory’, ‘--intermod-directory’, ‘--library-directory’, ‘--init-file-directory’ and ‘--c-include-directory’ options.

--mercury-library library

--ml library

Link with the specified Mercury library. See Using installed libraries with mmc --make.

--mercury-standard-library-directory directory

–no-mercury-standard-library-directory

--mercury-stdlib-dir directory

–no-mercury-stdlib-dir

Search directory for the Mercury standard library. Implies ‘--mercury-library-directory directory’ and ‘--mercury-configuration-directory directory’. The negative version, ‘--no-mercury-standard-library-directory’, tells the compiler not to use the Mercury standard library, and also implies ‘--no-mercury-configuration-directory’.