diff options
Diffstat (limited to 'dev-lang/mercury/mercury-20.06.1.ebuild')
-rw-r--r-- | dev-lang/mercury/mercury-20.06.1.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-lang/mercury/mercury-20.06.1.ebuild b/dev-lang/mercury/mercury-20.06.1.ebuild index c8cd32155c46..ece3d848fee3 100644 --- a/dev-lang/mercury/mercury-20.06.1.ebuild +++ b/dev-lang/mercury/mercury-20.06.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -63,7 +63,7 @@ src_configure() { src_compile() { # Prepare mmake flags - echo "EXTRA_CFLAGS = ${CFLAGS}" >> Mmake.params + echo "EXTRA_CFLAGS = ${CFLAGS} -Wno-error" >> Mmake.params echo "EXTRA_LDFLAGS = ${LDFLAGS}" >> Mmake.params echo "EXTRA_LD_LIBFLAGS = ${LDFLAGS}" >> Mmake.params echo "EXTRA_MLFLAGS = --no-strip" >> Mmake.params |