summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKeri Harris <keri@gentoo.org>2018-09-09 16:27:11 +0200
committerKeri Harris <keri@gentoo.org>2018-09-09 16:27:37 +0200
commitca5466aefb2f11bea52231abfa0ea7488a3cc057 (patch)
tree3ca08e65df6b57b01acf047310e5a73b4b384952
parentdev-scheme/guile-gnome-platform: version bump 2.16.5 (diff)
downloadgentoo-ca5466ae.tar.gz
gentoo-ca5466ae.tar.bz2
gentoo-ca5466ae.zip
dev-lang/mercury: fixes for x86 grades using global registers
Package-Manager: Portage-2.3.40, Repoman-2.3.9
-rw-r--r--dev-lang/mercury/mercury-14.01.1.ebuild9
1 files changed, 9 insertions, 0 deletions
diff --git a/dev-lang/mercury/mercury-14.01.1.ebuild b/dev-lang/mercury/mercury-14.01.1.ebuild
index 3b22be993c35..858cefaf2449 100644
--- a/dev-lang/mercury/mercury-14.01.1.ebuild
+++ b/dev-lang/mercury/mercury-14.01.1.ebuild
@@ -75,6 +75,15 @@ src_compile() {
echo "EXTRA_LDFLAGS = ${LDFLAGS}" >> Mmake.params
echo "EXTRA_MLFLAGS = --no-strip" >> Mmake.params
+ if use x86; then
+ echo "CFLAGS-ml_backend.ml_closure_gen = -O0" >> Mmake.params
+ echo "CFLAGS-ml_backend.ml_unify_gen = -O0" >> Mmake.params
+ echo "CFLAGS-ml_backend.rtti_to_mlds = -O0" >> Mmake.params
+ echo "CFLAGS-display_report = -O0" >> Mmake.params
+ echo "CFLAGS-mercury_ho_call = -O0" >> Mmake.params
+ echo "CFLAGS-mercury_trace_vars = -O0" >> Mmake.params
+ fi
+
# Build Mercury using bootstrap grade
emake \
PARALLEL="'${MAKEOPTS}'" \