summaryrefslogtreecommitdiff
path: root/dev-ml/dune/dune-3.10.0.ebuild
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/dune-3.10.0.ebuild
parent1551fe56fd6ba43a94509cffc61b6bf854b7ac9f (diff)
gentoo auto-resync : 02:06:2024 - 00:07:23
Diffstat (limited to 'dev-ml/dune/dune-3.10.0.ebuild')
-rw-r--r--dev-ml/dune/dune-3.10.0.ebuild6
1 files changed, 5 insertions, 1 deletions
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