summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-11-01 21:28:03 +0100
committerTupone Alfredo <tupone@gentoo.org>2017-11-01 21:30:29 +0100
commitf7767454e6ac2a9eb63c5fc48e3fe8d1fe0ff1dd (patch)
tree9312445f04a4829b661387704a1fc7461a32a92a /sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
parentgames-engines/openmw: version bump to 0.42 (diff)
downloadgentoo-f7767454e6ac2a9eb63c5fc48e3fe8d1fe0ff1dd.tar.gz
gentoo-f7767454e6ac2a9eb63c5fc48e3fe8d1fe0ff1dd.tar.bz2
gentoo-f7767454e6ac2a9eb63c5fc48e3fe8d1fe0ff1dd.zip
sci-mathematics/why3-for-spark: Enable coq tactics
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild')
-rw-r--r--sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild2
1 files changed, 1 insertions, 1 deletions
diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
index c143320a492..3fd44106514 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -46,10 +46,10 @@ src_prepare() {
src_configure() {
econf \
- --disable-coq-tactic \
--disable-pvs-libs \
--disable-isabelle-libs \
$(use_enable coq coq-libs) \
+ $(use_enable coq coq-tactic) \
$(use_enable doc) \
$(use_enable emacs emacs-compilation) \
$(use_enable gtk ide) \