diff options
Diffstat (limited to 'sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild')
| -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) |