gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

dev-ml/num: fix parallel build

Browse Source 
Closes: https://bugs.gentoo.org/936155
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
This commit is contained in:
Alfredo Tupone
2024-07-30 07:05:04 +02:00
parent 2f0daacc84
commit 28494b7a30
1 changed files with 4 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
dev-ml/num/num-1.5.ebuild
View File

@@ -20,6 +20,10 @@ BDEPEND="${RDEPEND}"
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)"