From 52f895faaaf01579a8d9528cafec20bf2c873f5c Mon Sep 17 00:00:00 2001 From: V3n3RiX Date: Fri, 17 Jan 2020 22:43:15 +0000 Subject: gentoo resync : 17.01.2010 --- sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild') diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild index bbdfc4692936..c19ce6114c3d 100644 --- a/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild +++ b/sci-mathematics/why3-for-spark/why3-for-spark-2019-r1.ebuild @@ -15,7 +15,7 @@ SRC_URI="http://mirrors.cdn.adacore.com/art/5cdf915d31e87a8f1c967d54 LICENSE="GPL-3" SLOT="0" KEYWORDS="~amd64" -IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt profiling zarith zip" +IUSE="coq doc emacs gtk html hypothesis-selection +ocamlopt zarith zip" RESTRICT=strip DEPEND=">=dev-lang/ocaml-4.09.0[ocamlopt?] @@ -50,7 +50,6 @@ src_configure() { $(use_enable html html-doc) \ $(use_enable hypothesis-selection) \ $(use_enable ocamlopt native-code) \ - $(use_enable profiling) \ $(use_enable zarith) \ $(use_enable zip) } -- cgit v1.2.3