Next: , Previous: Profiling, Up: Top   [Contents][Index]

9 Invocation

This section contains a brief description of all the options available for ‘mmc’, the Mercury compiler. Sometimes this list is a little out-of-date; use ‘mmc --help’ to get the most up-to-date list.

• Invocation overview:  
• Warning options:  
• Verbosity options:  
• Output options:  
• Auxiliary output options:  
• Language semantics options:  
• Termination analysis options:  
• Compilation model options:  
• Code generation options:  
• Optimization options:  
• Target code compilation options:  
• Link options:  
• Build system options:  
• Miscellaneous options: