diff options
Diffstat (limited to 'dev-lang/polyml/polyml-5.5.2.ebuild')
| -rw-r--r-- | dev-lang/polyml/polyml-5.5.2.ebuild | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev-lang/polyml/polyml-5.5.2.ebuild b/dev-lang/polyml/polyml-5.5.2.ebuild index f54f6675ccf8..a04a5c764f77 100644 --- a/dev-lang/polyml/polyml-5.5.2.ebuild +++ b/dev-lang/polyml/polyml-5.5.2.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 ) |