sci-mathematics/why3-for-spark: profiling is not more supported by newer ocaml

Package-Manager: Portage-2.3.79, Repoman-2.3.16
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>

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 bbdfc46929367862087638a54e20da5aefb7e37b..c19ce6114c3d4e76ee70589df12c2c93687e3135 100644 (file)
--- 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)
 }