gentoo auto-resync : 30:12:2023 - 01:36:49

3 files changed, 7 insertions, 6 deletions

diff --git a/sci-mathematics/Manifest.gz b/sci-mathematics/Manifest.gz
index 258df1c2bb5e..2a13da58cfe0 100644
--- a/sci-mathematics/Manifest.gz
+++ b/sci-mathematics/Manifest.gz
diff --git a/sci-mathematics/why3-for-spark/Manifest b/sci-mathematics/why3-for-spark/Manifest
index 47c819613140..a06045ad258d 100644
--- a/sci-mathematics/why3-for-spark/Manifest
+++ b/sci-mathematics/why3-for-spark/Manifest
@@ -3,5 +3,5 @@ AUX why3-for-spark-2020-gentoo.patch 332 BLAKE2B d71897d1d253a95f2a783483ee7bb0d
 AUX why3-for-spark-2021-flags.patch 1234 BLAKE2B 617040fbf9204382adda8161a07ab5244bb60daf1936a8c549ccd3c28a10e447c80cf8875ef2d16103751dfc9881c15e0a8f39f2877fe7d0adf9a8dd374e1e21 SHA512 abbe1b1f9ed6b5aedf0521e0f8d19b6f0267c5304000419f6df91b581bfa99a46c4b46ceed5a294ffc47c0b2f987666c6cd5801049da14b79f24885cbd227bcb
 AUX why3-for-spark-2021-make.patch 350 BLAKE2B 970a7ba442a22d96e5807aacd07997587c20a53660045392229e2069801ae4b8f92c5385fa732341acb2498dbcf515d51aa5f2e96d6375006dfedc7ee2eea53f SHA512 b729369bb74e3a8546b449f186cac490d83e764a4fe801de9dd9cb134a8e21dcd9b45af6c63733d953b3072e4363e95599d0cd8e6dfdb936648c3acb9918828e
 DIST why3-2021-20210519-19ADF-src.tar.gz 10386938 BLAKE2B 93b6323c562126244f5cccef34088a521fe3dc1cec07c966e94472503ec8492707b20a641936449307f0439e711a82260d36679cbc69f53df8e7886a1d3673c3 SHA512 65e3c1430001962f2c7cce786f3e30f14b5295cff89c4087d95c1545e81743723319ba0309dbe15c4c46552110b25ff57addc3ee085dade02ea59a2273b127db
-EBUILD why3-for-spark-2021-r1.ebuild 2984 BLAKE2B c1532cab3deaba93a489758989a03e3eb79e9c10296779e0eaa32f2b0e81ad099a4be9370bc20b7b0834b2e7ee4e2a6c148594503d073357a5d1d1a2518a0de1 SHA512 983b92e67d9110fa07a36fb6f6f0898fa19606ceb34caeb7a29dc7a3d496c130383da055368ce6c240413fb89a9412974ab98f0498cd6eb25b9ab397d8bd2557
+EBUILD why3-for-spark-2021-r1.ebuild 3070 BLAKE2B 26cf61730303d0283c86642d1e918f66cc52092b73ed8a1a1103404fdafaa404ea6c316e32f82cdf6575a73652af2b644736ec386ad30d0e4d7311d05053f150 SHA512 59b9d95ff1133677c9e932d2b9ecd8cf0bde49bdeb6cf36dc202576c9244fbffa4449a5fdf30bfc1b97244a7a8898f1df37852340420f8ad15535e7ae12cec2b
 MISC metadata.xml 1486 BLAKE2B 3f8757b80b9b1b031fdfee11a4d1fb8aa6bf52b496e7fe2f26b3159313aa6df3998717b9b7d69a3e8c1206425986d3f8faa4d73b7ca1e216b90521c6bbe10c68 SHA512 60dd1f95702d163ad46f636d4af302437cab29d29fb1466352ff2889841d378bb2c6d4670cd626dcf612f2a1196627f09282f29e63815a929411d5bbdc68593e
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