diff options
Diffstat (limited to 'dev-lang/polyml/polyml-5.4.1.ebuild')
| -rw-r--r-- | dev-lang/polyml/polyml-5.4.1.ebuild | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/dev-lang/polyml/polyml-5.4.1.ebuild b/dev-lang/polyml/polyml-5.4.1.ebuild index 34eabcdb7de5..022401f5434b 100644 --- a/dev-lang/polyml/polyml-5.4.1.ebuild +++ b/dev-lang/polyml/polyml-5.4.1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2018 Gentoo Foundation +# Copyright 1999-2019 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI="5" @@ -15,6 +15,7 @@ LICENSE="LGPL-2.1" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" IUSE="X elibc_glibc +gmp portable test +threads" +RESTRICT="!test? ( test )" RDEPEND="X? ( x11-libs/motif:0 ) gmp? ( >=dev-libs/gmp-5 ) @@ -40,5 +41,5 @@ src_configure() { } src_test() { - emake tests || die "tests failed" + emake tests } |