commit: 024840070aea8eb50149f8f9d97df53a3f1fb940 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Tue Feb 22 18:32:10 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Tue Feb 22 18:34:04 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=02484007
sci-mathematics/lean: remove USE=json and inherit of optfeature Closes: https://bugs.gentoo.org/833900 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/lean/lean-3.38.0.ebuild | 6 +++--- sci-mathematics/lean/lean-3.39.1.ebuild | 6 +++--- sci-mathematics/lean/lean-3.40.0.ebuild | 6 +++--- sci-mathematics/lean/lean-3.9999.ebuild | 8 ++++---- sci-mathematics/lean/metadata.xml | 3 --- 5 files changed, 13 insertions(+), 16 deletions(-) diff --git a/sci-mathematics/lean/lean-3.38.0.ebuild b/sci-mathematics/lean/lean-3.38.0.ebuild index e47a48054580..5d8ee8eecd4b 100644 --- a/sci-mathematics/lean/lean-3.38.0.ebuild +++ b/sci-mathematics/lean/lean-3.38.0.ebuild @@ -6,7 +6,7 @@ EAPI=8 MAJOR=$(ver_cut 1) CMAKE_IN_SOURCE_BUILD="ON" -inherit cmake optfeature readme.gentoo-r1 +inherit cmake readme.gentoo-r1 DESCRIPTION="The Lean Theorem Prover" HOMEPAGE="https://leanprover-community.github.io/"; @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src" LICENSE="Apache-2.0" SLOT="0/${MAJOR}" -IUSE="debug +json +threads" +IUSE="debug +threads" RDEPEND="dev-libs/gmp:=" DEPEND="${RDEPEND}" @@ -40,7 +40,7 @@ src_configure() { local mycmakeargs=( -DALPHA=ON -DAUTO_THREAD_FINALIZATION=ON - -DJSON=$(usex json) + -DJSON=ON # bug 833900 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}" -DMULTI_THREAD=$(usex threads) -DUSE_GITHASH=OFF diff --git a/sci-mathematics/lean/lean-3.39.1.ebuild b/sci-mathematics/lean/lean-3.39.1.ebuild index e47a48054580..5d8ee8eecd4b 100644 --- a/sci-mathematics/lean/lean-3.39.1.ebuild +++ b/sci-mathematics/lean/lean-3.39.1.ebuild @@ -6,7 +6,7 @@ EAPI=8 MAJOR=$(ver_cut 1) CMAKE_IN_SOURCE_BUILD="ON" -inherit cmake optfeature readme.gentoo-r1 +inherit cmake readme.gentoo-r1 DESCRIPTION="The Lean Theorem Prover" HOMEPAGE="https://leanprover-community.github.io/"; @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src" LICENSE="Apache-2.0" SLOT="0/${MAJOR}" -IUSE="debug +json +threads" +IUSE="debug +threads" RDEPEND="dev-libs/gmp:=" DEPEND="${RDEPEND}" @@ -40,7 +40,7 @@ src_configure() { local mycmakeargs=( -DALPHA=ON -DAUTO_THREAD_FINALIZATION=ON - -DJSON=$(usex json) + -DJSON=ON # bug 833900 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}" -DMULTI_THREAD=$(usex threads) -DUSE_GITHASH=OFF diff --git a/sci-mathematics/lean/lean-3.40.0.ebuild b/sci-mathematics/lean/lean-3.40.0.ebuild index e47a48054580..5d8ee8eecd4b 100644 --- a/sci-mathematics/lean/lean-3.40.0.ebuild +++ b/sci-mathematics/lean/lean-3.40.0.ebuild @@ -6,7 +6,7 @@ EAPI=8 MAJOR=$(ver_cut 1) CMAKE_IN_SOURCE_BUILD="ON" -inherit cmake optfeature readme.gentoo-r1 +inherit cmake readme.gentoo-r1 DESCRIPTION="The Lean Theorem Prover" HOMEPAGE="https://leanprover-community.github.io/"; @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src" LICENSE="Apache-2.0" SLOT="0/${MAJOR}" -IUSE="debug +json +threads" +IUSE="debug +threads" RDEPEND="dev-libs/gmp:=" DEPEND="${RDEPEND}" @@ -40,7 +40,7 @@ src_configure() { local mycmakeargs=( -DALPHA=ON -DAUTO_THREAD_FINALIZATION=ON - -DJSON=$(usex json) + -DJSON=ON # bug 833900 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}" -DMULTI_THREAD=$(usex threads) -DUSE_GITHASH=OFF diff --git a/sci-mathematics/lean/lean-3.9999.ebuild b/sci-mathematics/lean/lean-3.9999.ebuild index a15591b790f5..5d8ee8eecd4b 100644 --- a/sci-mathematics/lean/lean-3.9999.ebuild +++ b/sci-mathematics/lean/lean-3.9999.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -6,7 +6,7 @@ EAPI=8 MAJOR=$(ver_cut 1) CMAKE_IN_SOURCE_BUILD="ON" -inherit cmake optfeature readme.gentoo-r1 +inherit cmake readme.gentoo-r1 DESCRIPTION="The Lean Theorem Prover" HOMEPAGE="https://leanprover-community.github.io/"; @@ -22,7 +22,7 @@ S="${WORKDIR}/lean-${PV}/src" LICENSE="Apache-2.0" SLOT="0/${MAJOR}" -IUSE="debug +json +threads" +IUSE="debug +threads" RDEPEND="dev-libs/gmp:=" DEPEND="${RDEPEND}" @@ -40,7 +40,7 @@ src_configure() { local mycmakeargs=( -DALPHA=ON -DAUTO_THREAD_FINALIZATION=ON - -DJSON=$(usex json) + -DJSON=ON # bug 833900 -DLEAN_EXTRA_CXX_FLAGS="${CXXFLAGS}" -DMULTI_THREAD=$(usex threads) -DUSE_GITHASH=OFF diff --git a/sci-mathematics/lean/metadata.xml b/sci-mathematics/lean/metadata.xml index f06c80c2d7be..ddb0be8a571c 100644 --- a/sci-mathematics/lean/metadata.xml +++ b/sci-mathematics/lean/metadata.xml @@ -14,7 +14,4 @@ <bugs-to>https://github.com/leanprover-community/lean/issues</bugs-to> <remote-id type="github">leanprover-community/lean</remote-id> </upstream> - <use> - <flag name="json"> Enable JSON support</flag> - </use> </pkgmetadata>
