From 06a07ce4bfbcaf034558bb8a95c18e644b3683c6 Mon Sep 17 00:00:00 2001 From: Tupone Alfredo Date: Tue, 24 Oct 2017 21:58:51 +0200 Subject: sci-mathematics/why3-for-spark: Add zip use flags Package-Manager: Portage-2.3.8, Repoman-2.3.3 --- sci-mathematics/why3-for-spark/metadata.xml | 1 + sci-mathematics/why3-for-spark/why3-for-spark-2017.ebuild | 8 +++++--- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/sci-mathematics/why3-for-spark/metadata.xml b/sci-mathematics/why3-for-spark/metadata.xml index f73ffa40b698..dfc2bea31bd5 100644 --- a/sci-mathematics/why3-for-spark/metadata.xml +++ b/sci-mathematics/why3-for-spark/metadata.xml @@ -23,5 +23,6 @@ Enable hypothesis selection Enable profiling Use dev-ml/zarith + Enable compression of session files 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 596bdfc7fe14..0216951fd816 100644 --- 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() { -- cgit v1.2.3-65-gdbad