mgnuc1
Mercury front-end to gnu c
Usage
mgnuc [<options>]
[--
<gcc
options>]
files ...
Notes
mgnuc is one of the development tools that are part of the Mercury distribution.
This manual page is limited to a brief summary. For further information see the Mercury User's Guide.
Options
-v, --verbose
Echo gcc command before executing it.
--no-ansi
Don't pass `-ansi' to gcc. Use the full contents of system headers, rather than the ANSI subset.
--no-check
Don't enable any of gcc's warnings.
--low-level-debug
Enable low-level debugging of the C code. Useful only for Mercury system developers.
-g, --c-debug
Generate object files that can debugged with C debuggers such as gdb.
--no-c-optimize
Disable optimization by the C compiler.
--inline-alloc
Inline calls to the memory allocator.
--split-c-files
This option must be specified if the argument C files were generated by the Mercury compiler with --split-c-files.
Options
-s <grade>, --grade <grade>
--target {il, c, java, asm}
--il
--asm-labels
--gcc-non-local-gotos
--gcc-global-registers
-H, --high-level-code
--parallel
--gc {conservative, accurate, none}
-p, --profiling
--profile-calls
--profile-time
--profile-memory
--use-trail
--use-minimal-model
--pic-reg
--no-stack-trace
--debug
See the documentation in the "Invocation" section of the Mercury User's Guide.
Overview
This runs gcc with the appropriate options for compiling Mercury programs. Normally it invokes gcc in ANSI mode with almost all warnings enabled, but this can be changed using the `--no-ansi' or `--no-check' options.
Environment
MERCURY_C_INCL_DIR, MERCURY_ALL_C_INCL_DIRS, MERCURY_DEFAULT_GRADE.
Releases
4 releases since Debian 2.0 (Hamm); the text changed 2 times.