summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam James <sam@gentoo.org>2021-06-13 18:14:31 +0000
committerSam James <sam@gentoo.org>2021-06-13 20:24:03 +0000
commit03cf4b94164490db6d8468d9331b3664f3f75c04 (patch)
tree06363d183c6f7c59ad8c9087bea0a2b01603f97a /dev-ml/num
parentapp-doc/pms-bin: Version bump to 8_p20210613 (diff)
downloadgentoo-03cf4b94164490db6d8468d9331b3664f3f75c04.tar.gz
gentoo-03cf4b94164490db6d8468d9331b3664f3f75c04.tar.bz2
gentoo-03cf4b94164490db6d8468d9331b3664f3f75c04.zip
dev-ml/num: try to disable ocamlopt
Closes: https://bugs.gentoo.org/795780 Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'dev-ml/num')
-rw-r--r--dev-ml/num/num-1.4-r1.ebuild4
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild
index 7068b3f2d927..cf5b56b7a6d8 100644
--- a/dev-ml/num/num-1.4-r1.ebuild
+++ b/dev-ml/num/num-1.4-r1.ebuild
@@ -18,7 +18,7 @@ IUSE="+ocamlopt"
RDEPEND="dev-lang/ocaml:=[ocamlopt?]"
src_compile() {
- emake CFLAGS="${CFLAGS}"
+ emake CFLAGS="${CFLAGS}" NATDYNLINK="$(usex ocamlopt true false)"
}
src_test() {
@@ -28,5 +28,5 @@ src_test() {
src_install() {
findlib_src_preinst
- OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}"
+ OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}" NATDYNLINK="$(usex ocamlopt true false)"
}