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
