summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTupone Alfredo <tupone@gentoo.org>2017-10-25 19:28:48 +0200
committerTupone Alfredo <tupone@gentoo.org>2017-10-25 19:28:48 +0200
commit7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51 (patch)
treee458c3a83f77b71150f93aac862509fcbf085dbe /sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
parentdev-vcs/tig: Add version bump 2.3.0 (diff)
downloadgentoo-7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51.tar.gz
gentoo-7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51.tar.bz2
gentoo-7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51.zip
sci-mathematics/why3-for-spark: remove extra --disable-zip
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.ebuild1
1 files changed, 0 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 0216951fd81..c143320a492 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -49,7 +49,6 @@ src_configure() {
--disable-coq-tactic \
--disable-pvs-libs \
--disable-isabelle-libs \
- --disable-zip \
$(use_enable coq coq-libs) \
$(use_enable doc) \
$(use_enable emacs emacs-compilation) \