diff options
| author |   Tupone Alfredo <tupone@gentoo.org> | 2017-10-24 21:58:51 +0200 |
|---|---|---|
| committer | Tupone Alfredo <tupone@gentoo.org> | 2017-10-24 21:58:51 +0200 |
| commit | 06a07ce4bfbcaf034558bb8a95c18e644b3683c6 (patch) | |
| tree | 6e66de96fc21579937202a4e67547c570d84ad7f /sci-mathematics/why3-for-spark | |
| parent | net-libs/webkit-gtk: USE=gstreamer,egl requires gst-plugins-bad[egl] now (diff) | |
| download | gentoo-06a07ce4bfbcaf034558bb8a95c18e644b3683c6.tar.gz gentoo-06a07ce4bfbcaf034558bb8a95c18e644b3683c6.tar.bz2 gentoo-06a07ce4bfbcaf034558bb8a95c18e644b3683c6.zip | |
sci-mathematics/why3-for-spark: Add zip use flags
Package-Manager: Portage-2.3.8, Repoman-2.3.3
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/metadata.xml | 1 | ||||
| -rw-r--r-- | 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 @@ <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 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() { |