dev-lang/spark: disable zip on why3

Package-Manager: Portage-2.3.8, Repoman-2.3.3

diff --git a/dev-lang/spark/spark-2017.ebuild b/dev-lang/spark/spark-2017.ebuild
index e63d7069015f7b570b8f9cae20fd1b05c24c7eba..a47fb312815a090f9201c1ded5a58378f0d53942 100644 (file)
--- a/dev-lang/spark/spark-2017.ebuild
+++ b/dev-lang/spark/spark-2017.ebuild
@@ -23,7 +23,7 @@ RDEPEND="dev-lang/gnat-gpl:6.3.0
        >=dev-ada/gnatcoll-2017[gnat_2017,projects]
        || ( dev-ada/gnatcoll[shared] dev-ada/gnatcoll[static] )
        sci-mathematics/alt-ergo
-       sci-mathematics/why3-for-spark"
+       sci-mathematics/why3-for-spark[-zip]"
 DEPEND="${RDEPEND}
        dev-ada/gprbuild[gnat_2017]"