diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2023-01-13 16:10:16 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2023-01-13 16:42:38 +0100 |
| commit | ac87869d0ea8a5cdb172270e19d04a0eb79d5501 (patch) | |
| tree | ad9374aea8863b2adf73180c38d835bb3469decb /sci-mathematics/boolector | |
| parent | sci-mathematics/btor2tools: do not install static libraries (diff) | |
| download | gentoo-ac87869d0ea8a5cdb172270e19d04a0eb79d5501.tar.gz gentoo-ac87869d0ea8a5cdb172270e19d04a0eb79d5501.tar.bz2 gentoo-ac87869d0ea8a5cdb172270e19d04a0eb79d5501.zip | |
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@gentoo.org>
Diffstat (limited to 'sci-mathematics/boolector')
| -rw-r--r-- | sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
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) |