Gentoo Archives: gentoo-commits

From: Keri Harris <keri@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: dev-lang/mercury/
Date: Sat, 30 Sep 2017 13:03:42
Message-Id: 1506776604.c2fba202b9fdcdcf0e40340908fe86feff818edd.keri@gentoo
1 commit: c2fba202b9fdcdcf0e40340908fe86feff818edd
2 Author: Keri Harris <keri <AT> gentoo <DOT> org>
3 AuthorDate: Sat Sep 30 13:03:08 2017 +0000
4 Commit: Keri Harris <keri <AT> gentoo <DOT> org>
5 CommitDate: Sat Sep 30 13:03:24 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c2fba202
7
8 dev-lang/mercury: do not allow the Mercury compiler to pre-strip binaries while bootstrapping
9
10 Package-Manager: Portage-2.3.8, Repoman-2.3.1
11
12 dev-lang/mercury/mercury-13.05.2.ebuild | 3 ++-
13 1 file changed, 2 insertions(+), 1 deletion(-)
14
15 diff --git a/dev-lang/mercury/mercury-13.05.2.ebuild b/dev-lang/mercury/mercury-13.05.2.ebuild
16 index 1089fcd1ea0..b0836202a1b 100644
17 --- a/dev-lang/mercury/mercury-13.05.2.ebuild
18 +++ b/dev-lang/mercury/mercury-13.05.2.ebuild
19 @@ -142,7 +142,8 @@ src_test() {
20 src_install() {
21 emake \
22 PARALLEL=${MAKEOPTS} \
23 - MMAKEFLAGS="EXTRA_LDFLAGS='${LDFLAGS}' \
24 + MMAKEFLAGS="EXTRA_MLFLAGS=--no-strip \
25 + EXTRA_LDFLAGS='${LDFLAGS}' \
26 EXTRA_LD_LIBFLAGS='${LDFLAGS}'" \
27 MERCURY_COMPILER="${S}"/compiler/mercury_compile \
28 INSTALL_PREFIX="${D}"/usr \