summaryrefslogtreecommitdiff
path: root/dev-ml/dune
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2024-06-02 00:07:23 +0100
committerV3n3RiX <venerix@koprulu.sector>2024-06-02 00:07:23 +0100
commit6657c680376cedf378fcf328e5fa03ed3b41d580 (patch)
tree44ea8d174f647daca562b9bdcbcb527a85a77d0a /dev-ml/dune
parent1551fe56fd6ba43a94509cffc61b6bf854b7ac9f (diff)
gentoo auto-resync : 02:06:2024 - 00:07:23
Diffstat (limited to 'dev-ml/dune')
-rw-r--r--dev-ml/dune/Manifest2
-rw-r--r--dev-ml/dune/dune-3.10.0.ebuild6
2 files changed, 6 insertions, 2 deletions
diff --git a/dev-ml/dune/Manifest b/dev-ml/dune/Manifest
index 40b95c9cb5b7..8fa76a3f4df7 100644
--- a/dev-ml/dune/Manifest
+++ b/dev-ml/dune/Manifest
@@ -12,7 +12,7 @@ DIST dune-3.9.1.tar.gz 2610113 BLAKE2B 0b97f6a951bd013a156a1417f6b65df17324adf13
EBUILD dune-2.8.4.ebuild 925 BLAKE2B aaf039c23fdec35db8eafa1362e05e0a0007b4d5a59483726cffdd4c3f2738ab53cae26451001fa051fe46444f29d08ffd3e22233acaa3280db2c761822c1295 SHA512 175a4b03a248ade24a4a0fc232d13364f5332f9cd686056710dd1fce04b27ac59d81b3844ef1476867f3c5f646167dc40ada4609afc5594ac721ca5f216670a7
EBUILD dune-2.9.1.ebuild 904 BLAKE2B f98314d3cd1daa6fd08610daee2695a30b4c751bc1d060aad8b99b8e3e138fbe9751a92b5df3e1d1f62a8235b509ed884c75f2e11673d8a8a3cb50ddc414bdd2 SHA512 10a59aa34098669ca0d6d6a568cc63d124fd174850bb66591e9798b452629cc7647d6204050a4fbda2db394782c17590155467d798783018ff1205cde4b92e0e
EBUILD dune-2.9.3-r3.ebuild 1264 BLAKE2B a38c604ee7d3af231344f66fa0f72e4f55ac93813110de4d72b6c2fae9f3c8e16cba485a4ab512d997767aad730137c39332906cdf8c5d8e5d1119794dadd1b2 SHA512 a7913eae88b0502c0b925454a7d8db6904e90a0b6680ac0b566fcab9859e96952ec3cf1f6aee48f2d1333fe3a433dcb70c910b5439c451fea69852521a2708e3
-EBUILD dune-3.10.0.ebuild 1566 BLAKE2B 3b3eb946a1582234454251077f31c79a968f29f88a49d33e7371ead77adf2cb53e55255f783fd27040a1a6bb70bf71a17e01429f6f795a615577a8657534b1f6 SHA512 fe1d4ae81f2b38ccedc2a9308b6aff22b24ad37fa2c8635ecfede8d7952c1a4d0ccc420e9500b1d696aba2aea652dcef6b211a409728a02dd952e25261d08b2d
+EBUILD dune-3.10.0.ebuild 1682 BLAKE2B bf9a1217de50fba28339f3056fc44af7d8e05d23d35a915f80d0abbee22d54c718fda31a4468314bc7b80fa1bc81f7774589bcf5d7192c5f60183e8b681fed8d SHA512 043a0d621d084ad785fba024971dd21a3368824162c3807b56f70fbf37c9398968fb71efb0f782da0bebca3663f077275e1b0b2554b5101774e4b1e304be47d1
EBUILD dune-3.6.2.ebuild 1561 BLAKE2B 46637f8691911208ab05dc8c1c2b22df8eba240ff689cf3cc71eeccc8af01a87fe7df067bdf63913545e65f4d7b5333ed0b79e76882862fce3a3ef9b58c0db50 SHA512 f8ab4674e7d03db64e08b2e30d7aca7dc93568e7f34e070131680b8f5dab034d639147536c895e824ef98c4a9f51aa4c177ee14a27bd4963706b797edea08176
EBUILD dune-3.7.0.ebuild 1561 BLAKE2B 46637f8691911208ab05dc8c1c2b22df8eba240ff689cf3cc71eeccc8af01a87fe7df067bdf63913545e65f4d7b5333ed0b79e76882862fce3a3ef9b58c0db50 SHA512 f8ab4674e7d03db64e08b2e30d7aca7dc93568e7f34e070131680b8f5dab034d639147536c895e824ef98c4a9f51aa4c177ee14a27bd4963706b797edea08176
EBUILD dune-3.7.1.ebuild 1565 BLAKE2B fb9eb53ad7861e8ee463d1d3ba4ab4b064f9be5e5dc2c06c5db2d47667b750c1f22c46c9b8ebf66865dff90deab4bd779a06d0ed356bf51c47df38ba3316bc72 SHA512 67e67dc445792fa5a2fb0bba48b39a85c2b8704489852c57695de9f499cba23bb2324d93b36e44e7457ce9f48f7f2c8af6d9a695645e8abc90d1d62b986b8d2f
diff --git a/dev-ml/dune/dune-3.10.0.ebuild b/dev-ml/dune/dune-3.10.0.ebuild
index 4055f5de2e82..bb5983404c7c 100644
--- a/dev-ml/dune/dune-3.10.0.ebuild
+++ b/dev-ml/dune/dune-3.10.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -55,6 +55,10 @@ src_compile() {
}
src_install() {
+ # OCaml generates textrels on 32-bit arches
+ if use arm || use ppc || use x86 ; then
+ export QA_TEXTRELS='.*'
+ fi
default
dodir /usr/share/doc