From: Tupone Alfredo <tupone@gentoo.org>
Date: Wed, 25 Oct 2017 17:28:48 +0000 (+0200)
Subject: sci-mathematics/why3-for-spark: remove extra --disable-zip
X-Git-Url: http://git.tremily.us/?a=commitdiff_plain;h=7e278f5c3b1dc15bbce41b0c5574dfae1db6fc51;p=gentoo.git

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

Package-Manager: Portage-2.3.8, Repoman-2.3.3
---

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 0216951fd816..c143320a492d 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) \