diff options
Diffstat (limited to 'sci-mathematics/boolector/boolector-3.2.3.ebuild')
| -rw-r--r-- | sci-mathematics/boolector/boolector-3.2.3.ebuild | 10 |
1 files 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 } |