summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlfredo Tupone <tupone@gentoo.org>2022-02-08 08:44:06 +0100
committerAlfredo Tupone <tupone@gentoo.org>2022-02-08 08:44:06 +0100
commita67e2887fe1c15ec3bbabb3907ce352d1fd24803 (patch)
tree5ae21387235a16e3ab1810529ef8af6f70b85cc2 /sci-mathematics/cvc4
parentsys-apps/proot: fix building on musl systems (diff)
downloadgentoo-a67e2887fe1c15ec3bbabb3907ce352d1fd24803.tar.gz
gentoo-a67e2887fe1c15ec3bbabb3907ce352d1fd24803.tar.bz2
gentoo-a67e2887fe1c15ec3bbabb3907ce352d1fd24803.zip
sci-mathematics/cvc4: remove unused CMake variables
Closes: https://bugs.gentoo.org/829088 Package-Manager: Portage-3.0.30, Repoman-3.0.3 Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/cvc4')
-rw-r--r--sci-mathematics/cvc4/cvc4-1.8.ebuild4
1 files changed, 1 insertions, 3 deletions
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8.ebuild
index 6eb40f393dc6..879bf5675991 100644
--- a/sci-mathematics/cvc4/cvc4-1.8.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild
@@ -14,7 +14,7 @@ SRC_URI="https://github.com/CVC4/CVC4-archived/archive/refs/tags/${PV}.tar.gz ->
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-IUSE="+cln proofs readline replay +statistics"
+IUSE="+cln proofs readline +statistics"
RDEPEND="dev-libs/antlr-c
dev-java/antlr:3
@@ -33,12 +33,10 @@ src_configure() {
local mycmakeargs=(
-DANTLR_BINARY=/usr/bin/antlr3
-DENABLE_GPL=ON
- -DENABLE_OPTIMIZED=ON
-DUSE_CLN="$(usex cln ON OFF)"
-DUSE_READLINE="$(usex readline ON OFF)"
-DENABLE_STATISTICS="$(usex statistics ON OFF)"
-DENABLE_PROOFS="$(usex proofs ON OFF)"
- -DENABLE_REPLAY="$(usex replay ON OFF)"
)
cmake_src_configure
}