diff options
Diffstat (limited to 'sci-mathematics/lean/lean-3.38.0.ebuild')
| -rw-r--r-- | sci-mathematics/lean/lean-3.38.0.ebuild | 6 |
1 files changed, 3 insertions, 3 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 |