From f0be729b2f2055afe79f68cb95c9e856d0303e82 Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Thu, 25 Jul 2019 08:12:57 +0200 Subject: sci-mathematics/cvc4: Add readline use flag Closes: https://github.com/gentoo/gentoo/pull/12536 Signed-off-by: Alfredo Tupone Package-Manager: Portage-2.3.66, Repoman-2.3.11 --- sci-mathematics/cvc4/cvc4-1.7.ebuild | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'sci-mathematics/cvc4/cvc4-1.7.ebuild') diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7.ebuild index cc6e6eb4f4f6..09aab161f76d 100644 --- a/sci-mathematics/cvc4/cvc4-1.7.ebuild +++ b/sci-mathematics/cvc4/cvc4-1.7.ebuild @@ -12,11 +12,12 @@ SRC_URI="https://github.com/CVC4/CVC4/archive/${PV}.tar.gz -> ${P}.tar.gz" LICENSE="GPL-2" SLOT="0" KEYWORDS="~amd64 ~x86" -IUSE="+cln +statistics proofs replay" +IUSE="+cln proofs readline replay +statistics" RDEPEND="dev-libs/antlr-c dev-java/antlr:3 dev-libs/boost + readline? ( sys-libs/readline:0= ) cln? ( sci-libs/cln ) !cln? ( dev-libs/gmp:= )" DEPEND="${RDEPEND}" @@ -32,6 +33,7 @@ src_configure() { -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)" -- cgit v1.2.3-65-gdbad