diff options
| author |   Keri Harris <keri@gentoo.org> | 2017-09-30 15:03:08 +0200 |
|---|---|---|
| committer | Keri Harris <keri@gentoo.org> | 2017-09-30 15:03:24 +0200 |
| commit | c2fba202b9fdcdcf0e40340908fe86feff818edd (patch) | |
| tree | 7069011fc38c03b8f9e5102790583df5772d729f /dev-lang/mercury/mercury-13.05.2.ebuild | |
| parent | net-libs/libktorrent: Drop old (diff) | |
| download | gentoo-c2fba202b9fdcdcf0e40340908fe86feff818edd.tar.gz gentoo-c2fba202b9fdcdcf0e40340908fe86feff818edd.tar.bz2 gentoo-c2fba202b9fdcdcf0e40340908fe86feff818edd.zip | |
dev-lang/mercury: do not allow the Mercury compiler to pre-strip binaries while bootstrapping
Package-Manager: Portage-2.3.8, Repoman-2.3.1
Diffstat (limited to 'dev-lang/mercury/mercury-13.05.2.ebuild')
| -rw-r--r-- | dev-lang/mercury/mercury-13.05.2.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-lang/mercury/mercury-13.05.2.ebuild b/dev-lang/mercury/mercury-13.05.2.ebuild index 1089fcd1ea06..b0836202a1bf 100644 --- a/dev-lang/mercury/mercury-13.05.2.ebuild +++ b/dev-lang/mercury/mercury-13.05.2.ebuild @@ -142,7 +142,8 @@ src_test() { src_install() { emake \ PARALLEL=${MAKEOPTS} \ - MMAKEFLAGS="EXTRA_LDFLAGS='${LDFLAGS}' \ + MMAKEFLAGS="EXTRA_MLFLAGS=--no-strip \ + EXTRA_LDFLAGS='${LDFLAGS}' \ EXTRA_LD_LIBFLAGS='${LDFLAGS}'" \ MERCURY_COMPILER="${S}"/compiler/mercury_compile \ INSTALL_PREFIX="${D}"/usr \ |