9.11 Target code compilation options

If you are using Mmake, you need to pass these options to the target code compiler (e.g. ‘mgnuc’) rather than to ‘mmc’.

--target-debug

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.

--cc compiler-name

Specify which C compiler to use.

--c-include-directory dir

--c-include-dir dir

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.

--c-debug

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.

--no-c-optimize

Don’t enable the C compiler’s optimizations.

--no-ansi-c

This option is deprecated and has no effect.

--inline-alloc

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.

--cflags options

--cflag option

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.

--javac compiler-name

--java-compiler compiler-name

Specify which Java compiler to use. The default is ‘javac’.

--java-interpreter interpreter-name

Specify which Java interpreter to use. The default is ‘java’.

--java-flags options

--java-flag option

--javac-flags options

--javac-flag option

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.

--java-classpath dir

Set the classpath for the Java compiler and interpreter.

--java-runtime-flags options

--java-runtime-flag option

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.

--csharp-compiler compiler-name

Specify which C# compiler to use. The default is ‘csc’.

--csharp-flags options

--csharp-flag option

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.

--cil-interpreter interpreter-name

Specify the program that implements the Common Language Infrastructure (CLI) execution environment, e.g. ‘mono’.