diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-01-07 21:22:00 +0100 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-01-07 21:22:00 +0100 |
| commit | 6ca38d474e5207654e713f0e2da090673508bc76 (patch) | |
| tree | 4f0d6688538c52bfcaad206366de696347edc471 /dev-ml/num | |
| parent | app-crypt/mit-krb5: Stabilize 1.19.2-r2 ppc, #830634 (diff) | |
| download | gentoo-6ca38d474e5207654e713f0e2da090673508bc76.tar.gz gentoo-6ca38d474e5207654e713f0e2da090673508bc76.tar.bz2 gentoo-6ca38d474e5207654e713f0e2da090673508bc76.zip | |
dev-ml/num: fix install with -ocamlopt
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ml/num')
| -rw-r--r-- | dev-ml/num/num-1.4-r3.ebuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-ml/num/num-1.4-r3.ebuild b/dev-ml/num/num-1.4-r3.ebuild index 70fe28fb9f8c..4b0101e0e90f 100644 --- a/dev-ml/num/num-1.4-r3.ebuild +++ b/dev-ml/num/num-1.4-r3.ebuild @@ -1,4 +1,4 @@ -# Copyright 2020-2021 Gentoo Authors +# Copyright 2020-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -29,7 +29,7 @@ src_test() { } src_install() { - findlib_src_install + findlib_src_install NATDYNLINK="$(usex ocamlopt true false)" if has_version ">=dev-ml/findlib-1.9" ; then # See bug #803275 |