sci-mathematics/why3-for-spark: Add zip use flags

Package-Manager: Portage-2.3.8, Repoman-2.3.3

diff --git a/sci-mathematics/why3-for-spark/metadata.xml b/sci-mathematics/why3-for-spark/metadata.xml
index f73ffa40b6987b7162a9b7a62b8937ab88cdf380..dfc2bea31bd55268b251eb578bed1edbac4171f5 100644 (file)
--- a/sci-mathematics/why3-for-spark/metadata.xml
+++ b/sci-mathematics/why3-for-spark/metadata.xml
@@ -23,5 +23,6 @@
                <flag name="hypothesis-selection">Enable hypothesis selection</flag>
                <flag name="profiling">Enable profiling</flag>
                <flag name="zarith">Use <pkg>dev-ml/zarith</pkg></flag>
+               <flag name="zip">Enable compression of session files</flag>
        </use>
 </pkgmetadata>

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 596bdfc7fe147960ad6e08c3997504049cfff3b1..0216951fd81651eeac4edfa4efc2a68b552f72c8 100644 (file)
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild
@@ -15,7 +15,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/591c45e2c7a447af2deed055
 LICENSE="GPL-3"
 SLOT="0"
 KEYWORDS="~amd64"
-IUSE="coq doc emacs gtk html hypothesis-selection profiling zarith"
+IUSE="coq doc emacs gtk html hypothesis-selection profiling zarith zip"
 
 DEPEND=">=dev-lang/ocaml-4.02.3
        dev-ml/menhir
@@ -25,7 +25,8 @@ DEPEND=">=dev-lang/ocaml-4.02.3
        emacs? ( app-editors/emacs:* )
        html? ( dev-tex/hevea )
        hypothesis-selection? ( dev-ml/ocamlgraph )
-       zarith? ( dev-ml/zarith )"
+       zarith? ( dev-ml/zarith )
+       zip? ( dev-ml/camlzip )"
 RDEPEND="${DEPEND}"
 
 S="${WORKDIR}"/${MYP}
@@ -56,7 +57,8 @@ src_configure() {
                $(use_enable html html-doc) \
                $(use_enable hypothesis-selection) \
                $(use_enable profiling) \
-               $(use_enable zarith)
+               $(use_enable zarith) \
+               $(use_enable zip)
 }
 
 src_compile() {