man mgnuc (Commandes) - .SH "NAME "
NAME
mgnuc - .SH "NAME "
VERSION
NAME
mgnuc - Mercury front-end to GNU C
SYNOPSIS
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.
-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.
--mercury-standard-library-directory <directory>
--mercury-stdlib-dir <directory>
The directory containing the installed Mercury standard library.
--no-mercury-standard-library-directory, --no-mercury-stdlib-dir
Don't use an installed Mercury standard library.
-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 {boehm, mps, accurate, none}
-p, --profiling
--profile-calls
--profile-time
--profile-memory
--profile-deep
--record-term-sizes-as-words
--record-term-sizes-as-cells
--use-trail
--reserve-tag
--use-minimal-model
--pic-reg
--no-stack-trace
--debug
--decl-debug
See the documentation in the "Invocation" section of the Mercury User's Guide.
OPTIONS
GRADE OPTIONS
DESCRIPTION
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 VARIABLES
MERCURY_DEFAULT_GRADE.
AUTHORS
The Mercury team.
See <http://www.cs.mu.oz.au/mercury/contact/people.html>.
COPYRIGHT
This program and its documentation are copyright by the University of Melbourne. They may be copied only under the terms of the GNU General Public License - see the file COPYING in the Mercury distribution.
SEE ALSO
<http://www.cs.mu.oz.au/mercury/information/documentation.html>
The Mercury User's Guide.
The GNU General Public License.