mgnuc(1)

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.

  1. 2.0–2.1
  2. 2.2
  3. 3.0

Authors

The Mercury team.

See <http://www.cs.mu.oz.au/mercury/contact/people.html>.

From mercury 0.10.1-3 in Debian 3.0 (Woody). Parsed by carta from the page's man source.