If you are using Mmake, you need to pass these options to the target code compiler (e.g. ‘mgnuc’) rather than to ‘mmc’.
Enable debugging of the generated target code. If the target language is C, this has the same effect as ‘--c-debug’ (see below). If the target language is C#, this causes the Mercury compiler to pass ‘/debug’ to the C# compiler.
Specify which C compiler to use.
Append dir to the list of directories to be searched for C header files.
Note that if you want to override this list, rather than append to it,
then you can set the
MERCURY_MC_ALL_C_INCL_DIRS environment variable
to a sequence of ‘--c-include-directory’ options.
Pass the ‘-g’ flag to the C compiler, to enable debugging of the generated C code, and also disable stripping of C debugging information from the executable. Since the relationship between Mercury code and the C code generated for it is not always obvious, this option is not likely to be useful to anyone outside the team of Mercury implementors, except maybe people debugging code that uses Mercury’s C interface extensively.
Don’t enable the C compiler’s optimizations.
This option is deprecated and has no effect.
Inline calls to ‘GC_malloc()’. This can improve performance a fair bit, but may significantly increase code size. This option has no effect if ‘--gc boehm’ is not set or if the C compiler is not GNU C.
Specify options to be passed to the C compiler. ‘--cflag’ should be used for single words which need to be quoted when passed to the shell.
Specify which Java compiler to use. The default is ‘javac’.
Specify which Java interpreter to use. The default is ‘java’.
Specify options to be passed to the Java compiler. ‘--java-flag’ should be used for single words which need to be quoted when passed to the shell.
Set the classpath for the Java compiler and interpreter.
Specify options to be passed to the Java interpreter. ‘--java-runtime-flag’ should be used for single words which need to be quoted when passed to the shell.
Specify which C# compiler to use. The default is ‘csc’.
Specify options to be passed to the C# compiler. ‘--csharp-flag’ should be used for single words which need to be quoted when passed to the shell.
Specify the program that implements the Common Language Infrastructure (CLI) execution environment, e.g. ‘mono’.