[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

[Alfredo Tupone]

commit:     7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51
Author:     Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Oct 25 17:28:48 2017 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Oct 25 17:28:48 2017 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7e278f5c

sci-mathematics/why3-for-spark: remove extra --disable-zip

Package-Manager: Portage-2.3.8, Repoman-2.3.3

 sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | 1 -
 1 file changed, 1 deletion(-)

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) \