mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
2a1f376c5d
Use consistent indentation. Sort many blocks of module-specific MCFLAGS settings by module name. Add XXXs about some questionable options.
14 lines
545 B
Bash
14 lines
545 B
Bash
#---------------------------------------------------------------------------#
|
|
# vim: ts=4 sw=4 expandtab ft=sh
|
|
#---------------------------------------------------------------------------#
|
|
|
|
MCFLAGS = --intermodule-analysis
|
|
|
|
MCFLAGS-ext += --ctgc
|
|
MCFLAGS-ext += --analyse-exceptions
|
|
MCFLAGS-ext += --use-trail --analyse-trail-usage
|
|
MCFLAGS-ext += --optimise-unused-args
|
|
|
|
# XXX Grade flags should never be included in Mercury.options files.
|
|
MCFLAGS-ext2 += --grade none.mmsc --analyse-mm-tabling
|