11.23 Options controlling searches for files

--options-search-directory directory

–no-options-search-directory

Add directory to the list of directories to be searched for options files.

--use-subdirs

Generate intermediate files in a Mercury subdirectory, rather than generating them in the current directory.

--use-grade-subdirs

Generate intermediate files in a Mercury subdirectory, laid out so that multiple grades can be built simultaneously. Executables and libraries will be symlinked or copied into the current directory. ‘--use-grade-subdirs’ is supported only by mmc --make; it does not work with mmake.

-I directory

-I-

--search-directory directory

–no-search-directory

Append directory to the list of directories to be searched for .int* and .module_dep files.

--intermod-directory directory

–no-intermod-directory

Add directory to the list of directories to be searched for .opt and .trans_opt files.

--no-use-search-directories-for-intermod

With ‘--use-search-directories-for-intermod’, the compiler will add the arguments of ‘--search-directory’ options to the list of directories to search for ‘.opt’ files. With ‘--no-use-search-directories-for-intermod’, the compiler will use only the arguments of ‘--intermod-directory’ options.