commit: 0e7e5c4d50444036ea695132df73bb696aac45d3 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Fri Jun 6 18:56:04 2025 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Fri Jun 6 21:18:53 2025 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=0e7e5c4d
sci-mathematics/yices2: bump to 2.6.5 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/yices2/Manifest | 1 + sci-mathematics/yices2/yices2-2.6.5.ebuild | 68 ++++++++++++++++++++++++++++++ 2 files changed, 69 insertions(+) diff --git a/sci-mathematics/yices2/Manifest b/sci-mathematics/yices2/Manifest index c1bd9e2d494e..0dc9921afefc 100644 --- a/sci-mathematics/yices2/Manifest +++ b/sci-mathematics/yices2/Manifest @@ -1 +1,2 @@ DIST Yices-2.6.4.tar.gz 10186909 BLAKE2B 1c4b6297fd59924e9d99b9e17eb4b42e9bfbc24dcd56631beb9b72103c91578eb72b90cb9e228a5e9d489efc520a2e1d41185e9c3f4a8c43fc93f8dabba7414d SHA512 d8102c41fda0e200fd1336ae317b516d2797d10c187b8f7aecf0c9b08b4b487b90bef8c358099b2da51c0367326939f9610fd4e6d5a41a392cf1114bd04b8763 +DIST yices2-2.6.5.gh.tar.gz 10387735 BLAKE2B de8c198efa108ee8ce7118409c59ad7b0260315928da1ae863ac7dd2389b469619b56cab45461d886123e6fb92775545f1603a670716d59e25573e0398e02cce SHA512 59015bfa526871d36999485342e6f35e8849495923c824a58168fd6fb058ead8d10914e832989cce177ac9149eb0354779f8febbcb9f9b943112d54a8ccbd3db diff --git a/sci-mathematics/yices2/yices2-2.6.5.ebuild b/sci-mathematics/yices2/yices2-2.6.5.ebuild new file mode 100644 index 000000000000..097365c22b32 --- /dev/null +++ b/sci-mathematics/yices2/yices2-2.6.5.ebuild @@ -0,0 +1,68 @@ +# Copyright 1999-2025 Gentoo Authors +# Distributed under the terms of the GNU General Public License v2 + +EAPI=8 + +inherit autotools + +DESCRIPTION="SMT Solver supporting SMT-LIB and Yices specification language" +HOMEPAGE="https://github.com/SRI-CSL/yices2/"; + +if [[ "${PV}" == *9999* ]] ; then + inherit git-r3 + + EGIT_REPO_URI="https://github.com/SRI-CSL/${PN}"; +else + SRC_URI="https://github.com/SRI-CSL/${PN}/archive/${PV}.tar.gz + -> ${P}.gh.tar.gz" + + KEYWORDS="~amd64 ~x86" +fi + +LICENSE="GPL-3+" +SLOT="0/${PV}" +IUSE="+mcsat" + +RDEPEND=" + dev-libs/gmp:= + mcsat? ( + sci-mathematics/libpoly:= + sci-mathematics/cudd:= + ) +" +DEPEND=" + ${RDEPEND} +" +BDEPEND=" + sys-process/parallel +" + +DOCS=( FAQ.md README.md ) + +src_prepare() { + mkdir "${HOME}/.parallel" || die + touch "${HOME}/.parallel/will-cite" || die "parallel setup failed" + + default + eautoreconf +} + +src_configure() { + econf $(use_enable mcsat) +} + +src_compile() { + emake STRIP="echo" +} + +src_test() { + emake check +} + +src_install() { + default + + doman ./doc/*.1 + + rm "${ED}/usr/$(get_libdir)/libyices.a" || die +}
