diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2023-12-29 23:42:59 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2023-12-29 23:43:55 +0100 |
| commit | d58c273f2681691ec5eaf8101e35730a2b9bc2e8 (patch) | |
| tree | 84566b92a29874b532e0bdd50a9055306bfb708c /sci-mathematics/why3-for-spark | |
| parent | net-libs/liboauth: Stabilize 1.0.3-r4 arm64, #920952 (diff) | |
| download | gentoo-d58c273f2681691ec5eaf8101e35730a2b9bc2e8.tar.gz gentoo-d58c273f2681691ec5eaf8101e35730a2b9bc2e8.tar.bz2 gentoo-d58c273f2681691ec5eaf8101e35730a2b9bc2e8.zip | |
sci-mathematics/why3-for-spark: require ocamlopt
Closes: https://bugs.gentoo.org/913497
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'sci-mathematics/why3-for-spark')
| -rw-r--r-- | sci-mathematics/why3-for-spark/why3-for-spark-2021-r1.ebuild | 11 |
1 files 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 |