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 \ |