| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
| 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 | ||||||
| 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. | ||||||||
| Attached Files |
| ||||||||
 Relationships |
|
 Relationships |
| Notes |
|
|
juliensf (administrator) 2025-12-13 19:46 |
Also occurs when the compiler is invoked to build a single module program, e.g. mmc hello |
|
zs (developer) 2025-12-14 18:12 |
I think I added this bug on 2023 jul 12. I am testing a fix. |
|
zs (developer) 2025-12-15 04:21 |
Fix committed 2025 dec14. |
| Notes |
| Issue History |
|||
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2025-12-13 14:59 | juliensf | New Issue | |
| 2025-12-13 19:46 | juliensf | Note Added: 0001236 | |
| 2025-12-14 18:12 | zs | Note Added: 0001237 | |
| 2025-12-15 04:21 | zs | Assigned To | => zs |
| 2025-12-15 04:21 | zs | Status | new => resolved |
| 2025-12-15 04:21 | zs | Resolution | open => fixed |
| 2025-12-15 04:21 | zs | Note Added: 0001238 | |
| Issue History |