From 7bc9c63c9da678a7e6fceb095d56c634afd22c56 Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Sun, 15 Dec 2019 18:09:03 +0000 Subject: gentoo resync : 15.12.2019 --- dev-lang/polyml/polyml-5.8.ebuild | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'dev-lang/polyml/polyml-5.8.ebuild') diff --git a/dev-lang/polyml/polyml-5.8.ebuild b/dev-lang/polyml/polyml-5.8.ebuild index b38959ceb053..37dc19e4e1db 100644 --- a/dev-lang/polyml/polyml-5.8.ebuild +++ b/dev-lang/polyml/polyml-5.8.ebuild @@ -13,6 +13,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 ) @@ -54,5 +55,5 @@ src_compile() { } src_test() { - emake tests || die "tests failed" + emake tests } -- cgit v1.2.3