1 |
commit: 03cf4b94164490db6d8468d9331b3664f3f75c04 |
2 |
Author: Sam James <sam <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sun Jun 13 18:14:31 2021 +0000 |
4 |
Commit: Sam James <sam <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Jun 13 20:24:03 2021 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=03cf4b94 |
7 |
|
8 |
dev-ml/num: try to disable ocamlopt |
9 |
|
10 |
Closes: https://bugs.gentoo.org/795780 |
11 |
Signed-off-by: Sam James <sam <AT> gentoo.org> |
12 |
|
13 |
dev-ml/num/num-1.4-r1.ebuild | 4 ++-- |
14 |
1 file changed, 2 insertions(+), 2 deletions(-) |
15 |
|
16 |
diff --git a/dev-ml/num/num-1.4-r1.ebuild b/dev-ml/num/num-1.4-r1.ebuild |
17 |
index 7068b3f2d92..cf5b56b7a6d 100644 |
18 |
--- a/dev-ml/num/num-1.4-r1.ebuild |
19 |
+++ b/dev-ml/num/num-1.4-r1.ebuild |
20 |
@@ -18,7 +18,7 @@ IUSE="+ocamlopt" |
21 |
RDEPEND="dev-lang/ocaml:=[ocamlopt?]" |
22 |
|
23 |
src_compile() { |
24 |
- emake CFLAGS="${CFLAGS}" |
25 |
+ emake CFLAGS="${CFLAGS}" NATDYNLINK="$(usex ocamlopt true false)" |
26 |
} |
27 |
|
28 |
src_test() { |
29 |
@@ -28,5 +28,5 @@ src_test() { |
30 |
|
31 |
src_install() { |
32 |
findlib_src_preinst |
33 |
- OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}" |
34 |
+ OCAMLPATH="${OCAMLFIND_DESTDIR}" emake install DESTDIR="${D}" NATDYNLINK="$(usex ocamlopt true false)" |
35 |
} |