diff options
Diffstat (limited to 'dev-lang/polyml')
-rw-r--r-- | dev-lang/polyml/polyml-5.4.1.ebuild | 3 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.5.0.ebuild | 3 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.5.1.ebuild | 3 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.5.2.ebuild | 3 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.6.ebuild | 1 | ||||
-rw-r--r-- | dev-lang/polyml/polyml-5.8.ebuild | 1 |
6 files changed, 10 insertions, 4 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 ) diff --git a/dev-lang/polyml/polyml-5.5.0.ebuild b/dev-lang/polyml/polyml-5.5.0.ebuild index 44b3faff1569..5a8e3e560661 100644 --- a/dev-lang/polyml/polyml-5.5.0.ebuild +++ b/dev-lang/polyml/polyml-5.5.0.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" @@ -18,6 +18,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 ) diff --git a/dev-lang/polyml/polyml-5.5.1.ebuild b/dev-lang/polyml/polyml-5.5.1.ebuild index ce4a090ed6cc..6b1bcd7ecab0 100644 --- a/dev-lang/polyml/polyml-5.5.1.ebuild +++ b/dev-lang/polyml/polyml-5.5.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 ) 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 ) diff --git a/dev-lang/polyml/polyml-5.6.ebuild b/dev-lang/polyml/polyml-5.6.ebuild index 6ec40e592410..37fc5a07d0fe 100644 --- a/dev-lang/polyml/polyml-5.6.ebuild +++ b/dev-lang/polyml/polyml-5.6.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 ) diff --git a/dev-lang/polyml/polyml-5.8.ebuild b/dev-lang/polyml/polyml-5.8.ebuild index b38959ceb053..82e42d8d208d 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 ) |