diff options
Diffstat (limited to 'dev-ml/num/num-1.4-r3.ebuild')
| -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 |