diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-21 18:59:32 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-21 18:59:32 +0100 |
commit | 520a5b56dff7c24c9d42eafec142cb78b44f8e3e (patch) | |
tree | f562f705600dbd2292e97c0b4145787c2a8d1f97 /dev-lang/mercury/mercury-13.05.2.ebuild | |
parent | 3811bc3072bf19e2be351d2c63f81532945c0f21 (diff) |
gentoo resync : 21.07.2018
Diffstat (limited to 'dev-lang/mercury/mercury-13.05.2.ebuild')
-rw-r--r-- | dev-lang/mercury/mercury-13.05.2.ebuild | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/dev-lang/mercury/mercury-13.05.2.ebuild b/dev-lang/mercury/mercury-13.05.2.ebuild index b0836202a1bf..99339c2a2bc4 100644 --- a/dev-lang/mercury/mercury-13.05.2.ebuild +++ b/dev-lang/mercury/mercury-13.05.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2018 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 EAPI=2 @@ -69,7 +69,7 @@ src_configure() { src_compile() { # Build Mercury using base llds grade emake \ - PARALLEL=${MAKEOPTS} \ + PARALLEL="'${MAKEOPTS}'" \ MMAKEFLAGS="EXTRA_MLFLAGS=--no-strip \ EXTRA_LDFLAGS='${LDFLAGS}' \ EXTRA_LD_LIBFLAGS='${LDFLAGS}'" \ @@ -88,7 +88,7 @@ src_compile() { # Rebuild Mercury compiler using the just built mercury_compiler emake \ - PARALLEL=${MAKEOPTS} \ + PARALLEL="'${MAKEOPTS}'" \ MMAKEFLAGS="EXTRA_MLFLAGS=--no-strip \ EXTRA_LDFLAGS='${LDFLAGS}' \ EXTRA_LD_LIBFLAGS='${LDFLAGS}'" \ @@ -99,7 +99,7 @@ src_compile() { # compile the llds base grade. Since src_test() is run before # src_install() we compile the default grade now emake \ - PARALLEL=${MAKEOPTS} \ + PARALLEL="'${MAKEOPTS}'" \ MMAKEFLAGS="EXTRA_MLFLAGS=--no-strip \ EXTRA_LDFLAGS='${LDFLAGS}' \ EXTRA_LD_LIBFLAGS='${LDFLAGS}'" \ @@ -141,7 +141,7 @@ src_test() { src_install() { emake \ - PARALLEL=${MAKEOPTS} \ + PARALLEL="'${MAKEOPTS}'" \ MMAKEFLAGS="EXTRA_MLFLAGS=--no-strip \ EXTRA_LDFLAGS='${LDFLAGS}' \ EXTRA_LD_LIBFLAGS='${LDFLAGS}'" \ |