diff options
author | Sam James <sam@gentoo.org> | 2021-06-13 18:14:31 +0000 |
---|---|---|
committer | Sam James <sam@gentoo.org> | 2021-06-13 20:24:03 +0000 |
commit | 03cf4b94164490db6d8468d9331b3664f3f75c04 (patch) | |
tree | 06363d183c6f7c59ad8c9087bea0a2b01603f97a /dev-ml | |
parent | app-doc/pms-bin: Version bump to 8_p20210613 (diff) | |
download | gentoo-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')
-rw-r--r-- | dev-ml/num/num-1.4-r1.ebuild | 4 |
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)" } |