commit: f0be729b2f2055afe79f68cb95c9e856d0303e82 Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org> AuthorDate: Thu Jul 25 06:12:57 2019 +0000 Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org> CommitDate: Thu Jul 25 06:12:57 2019 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f0be729b
sci-mathematics/cvc4: Add readline use flag Closes: https://github.com/gentoo/gentoo/pull/12536 Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org> 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(-) diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7.ebuild index cc6e6eb4f4f..09aab161f76 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)"
