commit: ac87869d0ea8a5cdb172270e19d04a0eb79d5501 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Fri Jan 13 15:10:16 2023 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Fri Jan 13 15:42:38 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ac87869d
sci-mathematics/boolector: fix build to not require static libs Bug: https://bugs.gentoo.org/890700 Bug: https://bugs.gentoo.org/890698 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild | 1 + 1 file changed, 1 insertion(+) diff --git a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild index 289c5358a5b9..4dea772691c8 100644 --- a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild +++ b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild @@ -49,6 +49,7 @@ pkg_setup() { src_configure() { local mycmakeargs=( -DBUILD_SHARED_LIBS=ON + -DBtor2Tools_LIBRARIES=/usr/$(get_libdir)/libbtor2parser.so -DUSE_PYTHON2=OFF -DPYTHON=$(usex python) -DTESTING=$(usex test)
