diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2024-07-30 07:05:04 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2024-07-30 07:06:42 +0200 |
| commit | 28494b7a30132d895d48c5fbda9d2cd5adbe2974 (patch) | |
| tree | 1e52c58d81db9b85af3dc4bfc45ecba802a35bfd /dev-ml/num | |
| parent | media-video/mpv: add missing depend on vulkan-headers (diff) | |
| download | gentoo-28494b7a30132d895d48c5fbda9d2cd5adbe2974.tar.gz gentoo-28494b7a30132d895d48c5fbda9d2cd5adbe2974.tar.bz2 gentoo-28494b7a30132d895d48c5fbda9d2cd5adbe2974.zip | |
dev-ml/num: fix parallel build
Closes: https://bugs.gentoo.org/936155
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/num')
| -rw-r--r-- | dev-ml/num/num-1.5.ebuild | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dev-ml/num/num-1.5.ebuild b/dev-ml/num/num-1.5.ebuild index baaacdcf8f0e..f8dc825a611d 100644 --- a/dev-ml/num/num-1.5.ebuild +++ b/dev-ml/num/num-1.5.ebuild @@ -22,6 +22,10 @@ DEPEND="dev-ml/findlib:=[ocamlopt?]" src_compile() { emake CFLAGS="${CFLAGS}" \ NATDYNLINK="$(usex ocamlopt true false)" \ + NATIVE_COMPILER="$(usex ocamlopt true false)" \ + -C src num_top.ml + emake CFLAGS="${CFLAGS}" \ + NATDYNLINK="$(usex ocamlopt true false)" \ NATIVE_COMPILER="$(usex ocamlopt true false)" } |