0000579: Unrecognised options in Mercury.options files not reported correctly

Mercury Bugs - mercury
View Issue Details

ID	Project	Category	View Status	Date Submitted	Last Update
0000579	mercury	Bug	public	2025-12-13 14:59	2025-12-15 04:21

Reporter	juliensf
Assigned To	zs
Priority	normal	Severity	minor	Reproducibility	always
Status	resolved	Resolution	fixed
Platform		OS		OS Version
Product Version
Target Version		Fixed in Version

Summary	0000579: Unrecognised options in Mercury.options files not reported correctly
Description	Attempting to compile a program with mmc --make (e.g. samples/hello.m) and a Mercury.options file containing the following: MCFLAGS=--i-am-not-an-option causes the compiler to print: mercury_compile: Error: the location of the directory that holds the Mercury standard library is not specified either by an `--mercury-stdlib-dir' option, or by an environment variable named `MERCURY_STDLIB_DIR', or by a make variable named `MERCURY_STDLIB_DIR' in any specified options
Additional Information	This is occurring as far back as rotd-2025-06-30. Mercury 22.01.8 does print an appropriate error message, namely: unrecognized option `--i-am-not-an-option' (An additional irritation here is that neither the --help or --version options works in the presence of a Mercury.options file containing an error.)
Tags	No tags attached.
Relationships
Attached Files

Notes