diff options
author | V3n3RiX <venerix@koprulu.sector> | 2023-03-22 12:42:36 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2023-03-22 12:42:36 +0000 |
commit | 0db63353439ccde38447ea44cc8f16793d443f88 (patch) | |
tree | c98bf4ac6647c7cb6794a5e71d445d5c0f9f27ff /dev-ml/findlib/findlib-1.9.3.ebuild | |
parent | aaeed2da8906f11cba80355688015d74b01cc604 (diff) |
gentoo auto-resync : 22:03:2023 - 12:42:36
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() { |