mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-21 21:13:27 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-lang/lean: remove unnecessary test flag

Browse Source 
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@riseup.net>
This commit is contained in:
Maciej Barć
2021-10-22 00:24:13 +02:00
parent efa215ae9f
commit 7c7d1cb415
2 changed files with 2 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
dev-lang/lean/lean-3.33.0.ebuild
View File

@@ -21,10 +21,9 @@ else
fi fi
S="${WORKDIR}/lean-${PV}/src" S="${WORKDIR}/lean-${PV}/src"
RESTRICT="!test? ( test )"
LICENSE="Apache-2.0" LICENSE="Apache-2.0"
SLOT="0/${MAJOR}" SLOT="0/${MAJOR}"
IUSE="+json test +threads" IUSE="+json +threads"
RDEPEND="dev-libs/gmp" RDEPEND="dev-libs/gmp"
DEPEND="${RDEPEND}" DEPEND="${RDEPEND}"

3
dev-lang/lean/lean-3.34.0.ebuild
View File

@@ -21,10 +21,9 @@ else
fi fi
S="${WORKDIR}/lean-${PV}/src" S="${WORKDIR}/lean-${PV}/src"
RESTRICT="!test? ( test )"
LICENSE="Apache-2.0" LICENSE="Apache-2.0"
SLOT="0/${MAJOR}" SLOT="0/${MAJOR}"
IUSE="+json test +threads" IUSE="+json +threads"
RDEPEND="dev-libs/gmp" RDEPEND="dev-libs/gmp"
DEPEND="${RDEPEND}" DEPEND="${RDEPEND}"