Avoid the failure of hard_coded/parse.

The test hard_coded/parse tests two separate things:

1. for the presence of a bug, reported in Mercury 0.9, that occurred when a
   local module name shadowed that of a browser module.

2. static linking.

Specifically, the latter tests whether statically linking against the system
libraries works. As most operating systems these days do not ship with static
versions of their system libraries installed by default, this test fails more
often than not. (Indeed, it will never pass on macOS since executables are
required to use the libSystem dylib.)

Delete the static linking aspect of this test, since it is failing almost
everywhere anyway.

tests/hard_coded/Mercury.options:
    Do not link the parse test case with --static.
This commit is contained in:
Julien Fischer
2022-05-04 20:57:53 +10:00
parent aa8f08aea3
commit fd088a4f69

View File

@@ -171,8 +171,7 @@ CFLAGS-user_compare = -Wno-tautological-compare
# tracking it down.
MLFLAGS-mode_choice = --no-strip
# We want to have at least one test case to test static linking; this is it.
MLFLAGS-parse = --trace --static
MLFLAGS-parse = --trace
CFLAGS-no_refs_to_deleted_labels = -DMR_DEBUG_LABEL_NAMES