summaryrefslogtreecommitdiff
path: root/dev-ml/num
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2022-01-07 22:48:01 +0000
committerV3n3RiX <venerix@koprulu.sector>2022-01-07 22:48:01 +0000
commitc3bc61051d7f12b4c682efa7a5460bbc8815649e (patch)
treeb6d19e96ba3c397fb8278eeb9b68170db92630ba /dev-ml/num
parent3517852e3b8a68d1e997770fc0650c5053bafc6c (diff)
gentoo resync : 07.01.2022
Diffstat (limited to 'dev-ml/num')
-rw-r--r--dev-ml/num/Manifest2
-rw-r--r--dev-ml/num/num-1.4-r3.ebuild4
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-ml/num/Manifest b/dev-ml/num/Manifest
index d834f46b6e14..93d379406008 100644
--- a/dev-ml/num/Manifest
+++ b/dev-ml/num/Manifest
@@ -2,5 +2,5 @@ AUX num-1.3-cflags.patch 409 BLAKE2B 97db7e69d4bee7e6940386349620799d586ab7094a5
DIST num-1.3.tar.gz 66251 BLAKE2B d6fde246693c8aef3b881a4ebc2b601392e0f0bf561dc4f4d32a5e1f835a5186deba3ffa77c88c6c05cd6e837dc836567fcabffefae99ce1ccae94e1bdfc849a SHA512 c88310f8c45700990095e6b2e9abf24c27347711b9abfd1dde75e540fbbfc6a365e6713bd69f66009af305728fcb36dc61eb37fdd0be7d73824b0e92fbe8c031
DIST num-1.4.tar.gz 66327 BLAKE2B 59eae642e19f452dd911ef6c32b89978f2034a5fcaece4a358f3da447c8d6cb2b2581c39d032eb117edaf7ecf942583281eb6e31716b06960e768c2a985e099e SHA512 0cc9be8ad95704bb683b4bf6698bada1ee9a40dc05924b72adc7b969685c33eeb68ccf174cc09f6a228c48c18fe94af06f28bebc086a24973a066da620db8e6f
EBUILD num-1.3-r1.ebuild 781 BLAKE2B 00e2a293bd75493d356699c154a45c4bbc82b9f35fd5167896a9ed581ac2d10405db1c60a3acd5634c02774ab3695cea2931adcc636c71fbb7c29e9a8ccef32e SHA512 83d3167348b0beb3699362207258ce9f12a4b9b9229f1f2c9c4590104f5d854f86db2b4b1dc6e137797513436e46afb2d581dc6027c8809a39ceee9daf6a5b38
-EBUILD num-1.4-r3.ebuild 936 BLAKE2B 8c40799f3a26483bd862bcec5015cd778fd750cabc909f26d521a605b28dcfac36f1b663c829272dec7c97dff50a43ca01bb239f376aadd2ba312a5b152dd257 SHA512 faf3ae651490e82bc7e4ee2fb31ca5059d6c03a21172514cf7285e6d33fb51acc5d7cd0263291bb3aa1d1adda6ae8607eea1bfc295a52ddc4970b25dbfcfe16b
+EBUILD num-1.4-r3.ebuild 977 BLAKE2B 54d2e6a119bd65bd06a6536764bc9cb566cbd4770b3c197fa2ec827b0b76c1fcd6bce29b2a4e4bb7ef6a43bd8b37187bf19d4a5f60625c0cda5e897e5f0c8df3 SHA512 64a0e82280529de9f3b79229ffc18ef1997a022c6879c010a875c972041609cff230e8c52f6a58dbfb645b4c5372ae9613266dfb06eb78d2b19b43f73c42e956
MISC metadata.xml 338 BLAKE2B f947fa0825c1a3fd959515164da36ffc9694c570ed6eb6eef8686fc24b4582ee88ecb7304507c79cf2733fb77ae3570468ec8da886367d79721c81f148931833 SHA512 9d052ada92f441fa4908f4ec9a2561f7276872281ffa65f0ad92c8d0f7c15aeea11d6c887d4af7535d7d72bce3dec8f12622aee5eb9a79e510e8baaa208a54cd
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