[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/

[Maciej Barć]

commit:     06021461187e64c3e51d48b0a9edde50d1f591c6
Author:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Apr  9 08:12:05 2024 +0000
Commit:     Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Apr  9 09:30:07 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=06021461

sci-mathematics/boolector: fix install on musl

Closes: https://bugs.gentoo.org/928977
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>

 sci-mathematics/boolector/boolector-3.2.3.ebuild | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/sci-mathematics/boolector/boolector-3.2.3.ebuild 
b/sci-mathematics/boolector/boolector-3.2.3.ebuild
index 1497adc7c225..6b8f8f0d0d56 100644
--- a/sci-mathematics/boolector/boolector-3.2.3.ebuild
+++ b/sci-mathematics/boolector/boolector-3.2.3.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
@@ -75,10 +75,12 @@ src_configure() {
 src_install() {
        cmake_src_install
 
-       dodir "/usr/$(get_libdir)"
-       mv "${ED}/usr/lib"/*.so "${ED}/usr/$(get_libdir)/" || die
-
        if use examples ; then
                dodoc -r examples
        fi
+
+       if [[ "$(get_libdir)" != lib ]] ; then
+               dodir "/usr/$(get_libdir)"
+               mv "${ED}/usr/lib"/*.so "${ED}/usr/$(get_libdir)/" || die
+       fi
 }