dev-ml/findlib: workaround collision with labltk

Bug: https://bugs.gentoo.org/803275 Closes: https://bugs.gentoo.org/833604 Signed-off-by: Sam James <[email protected]>
johu · Mar 22, 2023 · 8e9aead · 8e9aead
1 parent c09e267
commit 8e9aead
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 2 deletions.
diff --git a/dev-ml/findlib/findlib-1.9.3.ebuild b/dev-ml/findlib/findlib-1.9.3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=7
@@ -52,6 +52,9 @@ src_install() {
 		docinto html
 		dodoc -r ref-html guide-html
 	fi
+
+	# See bug #803275 and bug #833604
+	rm -f "${ED}/usr/$(get_libdir)/ocaml/labltk/META" || die
 }
 
 check_stublibs() {

diff --git a/dev-ml/findlib/findlib-1.9.5.ebuild b/dev-ml/findlib/findlib-1.9.5.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
 # Distributed under the terms of the GNU General Public License v2
 
 EAPI=8
@@ -52,6 +52,9 @@ src_install() {
 		docinto html
 		dodoc -r ref-html guide-html
 	fi
+
+	# See bug #803275 and bug #833604
+	rm -f "${ED}/usr/$(get_libdir)/ocaml/labltk/META" || die
 }
 
 check_stublibs() {

diff --git a/dev-ml/findlib/findlib-1.9.6.ebuild b/dev-ml/findlib/findlib-1.9.6.ebuild
@@ -52,6 +52,9 @@ src_install() {
 		docinto html
 		dodoc -r ref-html guide-html
 	fi
+
+	# See bug #803275 and bug #833604
+	rm -f "${ED}/usr/$(get_libdir)/ocaml/labltk/META" || die
 }
 
 check_stublibs() {