[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/why3-for-spark/

["Alfredo Tupone" <tupone@gentoo.org>]

commit:     d58c273f2681691ec5eaf8101e35730a2b9bc2e8
Author:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Dec 29 22:42:59 2023 +0000
Commit:     Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Dec 29 22:43:55 2023 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d58c273f

sci-mathematics/why3-for-spark: require ocamlopt

Closes: https://bugs.gentoo.org/913497
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>

 sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 11 ++++++-----
 1 file changed, 6 insertions(+), 5 deletions(-)

diff --git a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
index 4204da3000b6..84d6fc56c009 100644
--- a/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
+++ b/sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild
@@ -21,8 +21,8 @@ RESTRICT="strip"
 
 RDEPEND="
 	>=dev-lang/ocaml-4.11:=[ocamlopt?]
-	dev-ml/menhir:=
-	dev-ml/num:=
+	dev-ml/menhir:=[ocamlopt?]
+	dev-ml/num:=[ocamlopt?]
 	dev-ml/yojson:=
 	coq? ( sci-mathematics/coq )
 	emacs? ( app-editors/emacs:* )
@@ -34,8 +34,8 @@ RDEPEND="
 		dev-ml/ppx_sexp_conv:=[ocamlopt?]
 		dev-ml/sexplib:=[ocamlopt?]
 	)
-	zarith? ( dev-ml/zarith:= )
-	zip? ( dev-ml/camlzip:= )
+	zarith? ( dev-ml/zarith:=[ocamlopt?] )
+	zip? ( dev-ml/camlzip:=[ocamlopt?] )
 "
 DEPEND="${RDEPEND}"
 BDEPEND="
@@ -69,7 +69,8 @@ QA_FLAGS_IGNORED=(
 	/usr/bin/why3ide.cmxs
 )
 
-REQUIRED_USE="html? ( doc )"
+# Forcing native for bug #913497
+REQUIRED_USE="html? ( doc ) ocamlopt"
 
 src_prepare() {
 	find examples -name \*gz | xargs gunzip