diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2019-07-25 08:12:57 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2019-07-25 08:12:57 +0200 |
| commit | f0be729b2f2055afe79f68cb95c9e856d0303e82 (patch) | |
| tree | 9e6dd448e1e31c6513ed8db7e2961554c40736d2 /sci-mathematics | |
| parent | ruby-ng.eclass: remove 2-arg calling of depend methods in EAPI 7 (diff) | |
| download | gentoo-f0be729b2f2055afe79f68cb95c9e856d0303e82.tar.gz gentoo-f0be729b2f2055afe79f68cb95c9e856d0303e82.tar.bz2 gentoo-f0be729b2f2055afe79f68cb95c9e856d0303e82.zip | |
sci-mathematics/cvc4: Add readline use flag
Closes: https://github.com/gentoo/gentoo/pull/12536
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/cvc4/cvc4-1.7.ebuild | 4 |
1 files changed, 3 insertions, 1 deletions
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)" |