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 0216951fd81651eeac4edfa4efc2a68b552f72c8..c143320a492d008a12fbef64676a20be06bfbe6e 100644 (file)
--- 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) \