commit: 7c7d1cb41566515c7533ca3dea5e0b80cb462cce
Author: Maciej Barć <xgqt <AT> riseup <DOT> net>
AuthorDate: Thu Oct 21 22:24:13 2021 +0000
Commit: Maciej Barć <xgqt <AT> riseup <DOT> net>
CommitDate: Thu Oct 21 22:24:17 2021 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=7c7d1cb4
dev-lang/lean: remove unnecessary test flag
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> riseup.net>
dev-lang/lean/lean-3.33.0.ebuild | 3 +--
dev-lang/lean/lean-3.34.0.ebuild | 3 +--
2 files changed, 2 insertions(+), 4 deletions(-)
diff --git a/dev-lang/lean/lean-3.33.0.ebuild b/dev-lang/lean/lean-3.33.0.ebuild
index 7fe835012..95b6a5655 100644
--- a/dev-lang/lean/lean-3.33.0.ebuild
+++ b/dev-lang/lean/lean-3.33.0.ebuild
@@ -21,10 +21,9 @@ else
fi
S="${WORKDIR}/lean-${PV}/src"
-RESTRICT="!test? ( test )"
LICENSE="Apache-2.0"
SLOT="0/${MAJOR}"
-IUSE="+json test +threads"
+IUSE="+json +threads"
RDEPEND="dev-libs/gmp"
DEPEND="${RDEPEND}"
diff --git a/dev-lang/lean/lean-3.34.0.ebuild b/dev-lang/lean/lean-3.34.0.ebuild
index 7fe835012..95b6a5655 100644
--- a/dev-lang/lean/lean-3.34.0.ebuild
+++ b/dev-lang/lean/lean-3.34.0.ebuild
@@ -21,10 +21,9 @@ else
fi
S="${WORKDIR}/lean-${PV}/src"
-RESTRICT="!test? ( test )"
LICENSE="Apache-2.0"
SLOT="0/${MAJOR}"
-IUSE="+json test +threads"
+IUSE="+json +threads"
RDEPEND="dev-libs/gmp"
DEPEND="${RDEPEND}"
