diff options
Diffstat (limited to 'dev-ml/findlib/findlib-1.9.3.ebuild')
| -rw-r--r-- | dev-ml/findlib/findlib-1.9.3.ebuild | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/dev-ml/findlib/findlib-1.9.3.ebuild b/dev-ml/findlib/findlib-1.9.3.ebuild index 72f0e01b3a7c..96186048ba26 100644 --- 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/{ocamlbuild,labltk}/META || die } check_stublibs() { |