* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/
@ 2023-01-11 3:53 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2023-01-11 3:53 UTC (permalink / raw
To: gentoo-commits
commit: 8c125ea193d4cdad739e556558e28605fe455bf1
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 11 03:39:41 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Wed Jan 11 03:44:07 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=8c125ea1
sci-mathematics/boolector: new package; add 3.2.2_p20220110
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/boolector/Manifest | 1 +
.../boolector/boolector-3.2.2_p20220110.ebuild | 77 ++++++++++++++++++++++
sci-mathematics/boolector/metadata.xml | 32 +++++++++
3 files changed, 110 insertions(+)
diff --git a/sci-mathematics/boolector/Manifest b/sci-mathematics/boolector/Manifest
new file mode 100644
index 000000000000..14c297d8f681
--- /dev/null
+++ b/sci-mathematics/boolector/Manifest
@@ -0,0 +1 @@
+DIST boolector-3.2.2_p20220110.tar.gz 1567668 BLAKE2B 6816f0434d88c790a27b9afe4c3b63c18a55b14f9f13b092f2940309e34842fe4868bf8d378bad130c4561d25e7d79b356fc27d9422bd42ba1b74ff98be36f72 SHA512 b1b964c155c8227e631025cf6bff69cf54728b1d875c2bd44a5a1ddb2857de2ab8fefc96d194faa5f98015e730b417d46a415ea601740e890df07ad5e50ad656
diff --git a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
new file mode 100644
index 000000000000..289c5358a5b9
--- /dev/null
+++ b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
@@ -0,0 +1,77 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=13a8a06d561041cafcaf5458e404c1ec354b2841
+PYTHON_COMPAT=( python3_{8..11} )
+
+inherit python-single-r1 cmake
+
+DESCRIPTION="Fast SMT solver for bit-vectors, arrays and uninterpreted functions"
+HOMEPAGE="https://boolector.github.io/
+ https://github.com/Boolector/boolector/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/Boolector/${PN}.git"
+else
+ SRC_URI="https://github.com/Boolector/${PN}/archive/${H}.tar.gz
+ -> ${P}.tar.gz"
+ S="${WORKDIR}"/${PN}-${H}
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="cryptominisat examples +gmp minisat +picosat python test"
+REQUIRED_USE="
+ python? ( ${PYTHON_REQUIRED_USE} )
+ || ( cryptominisat minisat picosat )
+"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ sci-mathematics/btor2tools:=
+ cryptominisat? ( sci-mathematics/cryptominisat:= )
+ gmp? ( dev-libs/gmp:= )
+ minisat? ( sci-mathematics/minisat:= )
+ picosat? ( sci-mathematics/picosat:= )
+ python? ( ${PYTHON_DEPS} )
+"
+DEPEND="${RDEPEND}"
+BDEPEND="test? ( dev-cpp/gtest )"
+
+pkg_setup() {
+ use python && python-single-r1_pkg_setup
+}
+
+src_configure() {
+ local mycmakeargs=(
+ -DBUILD_SHARED_LIBS=ON
+ -DUSE_PYTHON2=OFF
+ -DPYTHON=$(usex python)
+ -DTESTING=$(usex test)
+ -DUSE_GMP=$(usex gmp)
+ -DUSE_PYTHON3=$(usex python)
+
+ # Integration with other SMT solvers
+ -DUSE_LINGELING=OFF # Not packaged yet.
+ -DUSE_CADICAL=OFF # Fails to link.
+ -DUSE_CMS=$(usex cryptominisat)
+ -DUSE_MINISAT=$(usex minisat)
+ -DUSE_PICOSAT=$(usex picosat)
+ )
+ cmake_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
+}
diff --git a/sci-mathematics/boolector/metadata.xml b/sci-mathematics/boolector/metadata.xml
new file mode 100644
index 000000000000..b61474ce8353
--- /dev/null
+++ b/sci-mathematics/boolector/metadata.xml
@@ -0,0 +1,32 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
+ </maintainer>
+ <longdescription>
+ Boolector is a Satisfiability Modulo Theories (SMT) solver for the theories
+ of fixed-size bit-vectors, arrays and uninterpreted functions. It supports
+ the SMT-LIB logics BV, QF_ABV, QF_AUFBV, QF_BV and QF_UFBV. Boolector
+ provides a rich C and Python API and supports incremental solving, both
+ with the SMT-LIB commands push and pop, and as solving under assumptions.
+ </longdescription>
+ <use>
+ <flag name="cryptominisat">
+ Enable support for <pkg>sci-mathematics/cryptominisat</pkg>
+ </flag>
+ <flag name="minisat">
+ Enable support for <pkg>sci-mathematics/minisat</pkg>
+ </flag>
+ <flag name="picosat">
+ Enable support for <pkg>sci-mathematics/picosat</pkg>
+ </flag>
+ </use>
+ <upstream>
+ <bugs-to>https://github.com/Boolector/boolector/issues/</bugs-to>
+ <doc>https://boolector.github.io/docs/index.html</doc>
+ <remote-id type="github">Boolector/boolector</remote-id>
+ </upstream>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/
@ 2023-01-13 15:42 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2023-01-13 15:42 UTC (permalink / raw
To: gentoo-commits
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)
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/
@ 2023-03-04 16:32 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2023-03-04 16:32 UTC (permalink / raw
To: gentoo-commits
commit: b4d8369be569d7fed1fe62409af26533fd268139
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Mar 4 16:01:35 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Mar 4 16:32:11 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b4d8369b
sci-mathematics/boolector: H -> COMMIT
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild | 11 ++++++-----
1 file changed, 6 insertions(+), 5 deletions(-)
diff --git a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
index 90a1a2edac2b..0e4ea8d6d1b5 100644
--- a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
+++ b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
@@ -3,7 +3,8 @@
EAPI=8
-H=13a8a06d561041cafcaf5458e404c1ec354b2841
+[[ ${PV} == *_p20220110 ]] && COMMIT=13a8a06d561041cafcaf5458e404c1ec354b2841
+
PYTHON_COMPAT=( python3_{9..11} )
inherit python-single-r1 cmake
@@ -12,13 +13,13 @@ DESCRIPTION="Fast SMT solver for bit-vectors, arrays and uninterpreted functions
HOMEPAGE="https://boolector.github.io/
https://github.com/Boolector/boolector/"
-if [[ "${PV}" == *9999* ]] ; then
+if [[ ${PV} == *9999* ]] ; then
inherit git-r3
EGIT_REPO_URI="https://github.com/Boolector/${PN}.git"
else
- SRC_URI="https://github.com/Boolector/${PN}/archive/${H}.tar.gz
+ SRC_URI="https://github.com/Boolector/${PN}/archive/${COMMIT}.tar.gz
-> ${P}.tar.gz"
- S="${WORKDIR}"/${PN}-${H}
+ S="${WORKDIR}"/${PN}-${COMMIT}
KEYWORDS="~amd64 ~x86"
fi
@@ -47,7 +48,7 @@ pkg_setup() {
}
src_configure() {
- local mycmakeargs=(
+ local -a mycmakeargs=(
-DBUILD_SHARED_LIBS=ON
-DBtor2Tools_LIBRARIES=/usr/$(get_libdir)/libbtor2parser.so
-DUSE_PYTHON2=OFF
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/
@ 2024-04-09 9:30 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2024-04-09 9:30 UTC (permalink / raw
To: gentoo-commits
commit: d6de1ae13f9751eef79843d8bcfca985c89f80bd
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 9 07:45:25 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Tue Apr 9 09:30:06 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d6de1ae1
sci-mathematics/boolector: drop old 3.2.2_p20220110
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/boolector/Manifest | 1 -
.../boolector/boolector-3.2.2_p20220110.ebuild | 79 ----------------------
2 files changed, 80 deletions(-)
diff --git a/sci-mathematics/boolector/Manifest b/sci-mathematics/boolector/Manifest
index 4cebd85e36a1..d16abf470fde 100644
--- a/sci-mathematics/boolector/Manifest
+++ b/sci-mathematics/boolector/Manifest
@@ -1,2 +1 @@
-DIST boolector-3.2.2_p20220110.tar.gz 1567668 BLAKE2B 6816f0434d88c790a27b9afe4c3b63c18a55b14f9f13b092f2940309e34842fe4868bf8d378bad130c4561d25e7d79b356fc27d9422bd42ba1b74ff98be36f72 SHA512 b1b964c155c8227e631025cf6bff69cf54728b1d875c2bd44a5a1ddb2857de2ab8fefc96d194faa5f98015e730b417d46a415ea601740e890df07ad5e50ad656
DIST boolector-3.2.3.tar.gz 1566566 BLAKE2B 1c9adb1272c2289af6afce0149b11ce36a42aef47f1b3353f5f9dbaf12287718f29e45415b82b723bd37fb0438517c48d64a12f0c038105edeb6036f49189ac7 SHA512 a85c10edf05455e2911614f9d8f2b214a136470852b31a631c96247416dab822efcc6d9047f3a85c85aff499e8eb62fb36e52f2633511c5b42d287c4962c4239
diff --git a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild b/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
deleted file mode 100644
index 0e4ea8d6d1b5..000000000000
--- a/sci-mathematics/boolector/boolector-3.2.2_p20220110.ebuild
+++ /dev/null
@@ -1,79 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-[[ ${PV} == *_p20220110 ]] && COMMIT=13a8a06d561041cafcaf5458e404c1ec354b2841
-
-PYTHON_COMPAT=( python3_{9..11} )
-
-inherit python-single-r1 cmake
-
-DESCRIPTION="Fast SMT solver for bit-vectors, arrays and uninterpreted functions"
-HOMEPAGE="https://boolector.github.io/
- https://github.com/Boolector/boolector/"
-
-if [[ ${PV} == *9999* ]] ; then
- inherit git-r3
- EGIT_REPO_URI="https://github.com/Boolector/${PN}.git"
-else
- SRC_URI="https://github.com/Boolector/${PN}/archive/${COMMIT}.tar.gz
- -> ${P}.tar.gz"
- S="${WORKDIR}"/${PN}-${COMMIT}
- KEYWORDS="~amd64 ~x86"
-fi
-
-LICENSE="MIT"
-SLOT="0"
-IUSE="cryptominisat examples +gmp minisat +picosat python test"
-REQUIRED_USE="
- python? ( ${PYTHON_REQUIRED_USE} )
- || ( cryptominisat minisat picosat )
-"
-RESTRICT="!test? ( test )"
-
-RDEPEND="
- sci-mathematics/btor2tools:=
- cryptominisat? ( sci-mathematics/cryptominisat:= )
- gmp? ( dev-libs/gmp:= )
- minisat? ( sci-mathematics/minisat:= )
- picosat? ( sci-mathematics/picosat:= )
- python? ( ${PYTHON_DEPS} )
-"
-DEPEND="${RDEPEND}"
-BDEPEND="test? ( dev-cpp/gtest )"
-
-pkg_setup() {
- use python && python-single-r1_pkg_setup
-}
-
-src_configure() {
- local -a mycmakeargs=(
- -DBUILD_SHARED_LIBS=ON
- -DBtor2Tools_LIBRARIES=/usr/$(get_libdir)/libbtor2parser.so
- -DUSE_PYTHON2=OFF
- -DPYTHON=$(usex python)
- -DTESTING=$(usex test)
- -DUSE_GMP=$(usex gmp)
- -DUSE_PYTHON3=$(usex python)
-
- # Integration with other SMT solvers
- -DUSE_LINGELING=OFF # Not packaged yet.
- -DUSE_CADICAL=OFF # Fails to link.
- -DUSE_CMS=$(usex cryptominisat)
- -DUSE_MINISAT=$(usex minisat)
- -DUSE_PICOSAT=$(usex picosat)
- )
- cmake_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
-}
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/
@ 2024-04-09 9:30 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2024-04-09 9:30 UTC (permalink / raw
To: gentoo-commits
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
}
^ permalink raw reply related [flat|nested] 6+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/
@ 2024-09-30 18:22 Maciej Barć
0 siblings, 0 replies; 6+ messages in thread
From: Maciej Barć @ 2024-09-30 18:22 UTC (permalink / raw
To: gentoo-commits
commit: 7a0fddf2cf98ea53117f839682f8d986e2568280
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 30 17:51:50 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Sep 30 18:22:54 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7a0fddf2
sci-mathematics/boolector: bump to 3.2.4
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/boolector/Manifest | 1 +
sci-mathematics/boolector/boolector-3.2.4.ebuild | 86 ++++++++++++++++++++++++
2 files changed, 87 insertions(+)
diff --git a/sci-mathematics/boolector/Manifest b/sci-mathematics/boolector/Manifest
index d16abf470fde..0d1d99691dc4 100644
--- a/sci-mathematics/boolector/Manifest
+++ b/sci-mathematics/boolector/Manifest
@@ -1 +1,2 @@
DIST boolector-3.2.3.tar.gz 1566566 BLAKE2B 1c9adb1272c2289af6afce0149b11ce36a42aef47f1b3353f5f9dbaf12287718f29e45415b82b723bd37fb0438517c48d64a12f0c038105edeb6036f49189ac7 SHA512 a85c10edf05455e2911614f9d8f2b214a136470852b31a631c96247416dab822efcc6d9047f3a85c85aff499e8eb62fb36e52f2633511c5b42d287c4962c4239
+DIST boolector-3.2.4.tar.gz 1567983 BLAKE2B c74e6b7be2931ae164b3cde5ff3c9b60b12ad49b4be23ddb2931f5a71ffbfb5bb98a29ea46780275414bbe2e3e65b6108e489254251f8fd820a89162dc6eaae5 SHA512 57ba34264abd1d4350403b45995b040bd792dbea7d07a1c64d067ddbddeb3944d8515ce667ae4ffef70d35b5be68cfc5938acd6a8a7b242a09f218474024b821
diff --git a/sci-mathematics/boolector/boolector-3.2.4.ebuild b/sci-mathematics/boolector/boolector-3.2.4.ebuild
new file mode 100644
index 000000000000..2a1d832b43c3
--- /dev/null
+++ b/sci-mathematics/boolector/boolector-3.2.4.ebuild
@@ -0,0 +1,86 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+PYTHON_COMPAT=( python3_{10..13} )
+
+inherit python-single-r1 cmake
+
+DESCRIPTION="Fast SMT solver for bit-vectors, arrays and uninterpreted functions"
+HOMEPAGE="https://boolector.github.io/
+ https://github.com/Boolector/boolector/"
+
+if [[ "${PV}" == *9999* ]] ; then
+ inherit git-r3
+
+ EGIT_REPO_URI="https://github.com/Boolector/${PN}.git"
+else
+ SRC_URI="https://github.com/Boolector/${PN}/archive/${PV}.tar.gz
+ -> ${P}.tar.gz"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="MIT"
+SLOT="0"
+IUSE="cryptominisat examples +gmp minisat +picosat python test"
+REQUIRED_USE="
+ python? ( ${PYTHON_REQUIRED_USE} )
+ || ( cryptominisat minisat picosat )
+"
+RESTRICT="!test? ( test )"
+
+RDEPEND="
+ sci-mathematics/btor2tools:=
+ cryptominisat? ( sci-mathematics/cryptominisat:= )
+ gmp? ( dev-libs/gmp:= )
+ minisat? ( sci-mathematics/minisat:= )
+ picosat? ( sci-mathematics/picosat:= )
+ python? ( ${PYTHON_DEPS} )
+"
+DEPEND="
+ ${RDEPEND}
+"
+BDEPEND="
+ test? ( dev-cpp/gtest )
+"
+
+PATCHES=( "${FILESDIR}/${PN}-3.2.3-cmake-std.patch" )
+
+pkg_setup() {
+ use python && python-single-r1_pkg_setup
+}
+
+src_configure() {
+ local -a mycmakeargs=(
+ -DBUILD_SHARED_LIBS=ON
+ -DBtor2Tools_LIBRARIES=/usr/$(get_libdir)/libbtor2parser.so
+ -DUSE_PYTHON2=OFF
+ -DPYTHON=$(usex python)
+ -DTESTING=$(usex test)
+ -DUSE_GMP=$(usex gmp)
+ -DUSE_PYTHON3=$(usex python)
+
+ # Integration with other SMT solvers
+ -DUSE_LINGELING=OFF # Not packaged yet.
+ -DUSE_CADICAL=OFF # Fails to link.
+ -DUSE_CMS=$(usex cryptominisat)
+ -DUSE_MINISAT=$(usex minisat)
+ -DUSE_PICOSAT=$(usex picosat)
+ )
+ cmake_src_configure
+}
+
+src_install() {
+ cmake_src_install
+
+ 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
+}
^ permalink raw reply related [flat|nested] 6+ messages in thread
end of thread, other threads:[~2024-09-30 18:23 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2024-04-09 9:30 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/boolector/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2024-09-30 18:22 Maciej Barć
2024-04-09 9:30 Maciej Barć
2023-03-04 16:32 Maciej Barć
2023-01-13 15:42 Maciej Barć
2023-01-11 3:53 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox