diff options
Diffstat (limited to 'dev-lang/polyml/polyml-5.4.1.ebuild')
-rw-r--r-- | dev-lang/polyml/polyml-5.4.1.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-lang/polyml/polyml-5.4.1.ebuild b/dev-lang/polyml/polyml-5.4.1.ebuild index 34eabcdb7de5..8909e4e033c2 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 ) |