Diff yices2-2.6.4-r1 with a yices2-2.6.5
| /usr/portage/sci-mathematics/yices2/yices2-2.6.5.ebuild 2025-07-29 16:22:17.344467791 +0300 | ||
|---|---|---|
| 1 |
# Copyright 1999-2023 Gentoo Authors |
|
| 1 |
# Copyright 1999-2025 Gentoo Authors |
|
| 2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
| 3 | 3 | |
| 4 | 4 |
EAPI=8 |
| ... | ... | |
| 7 | 7 | |
| 8 | 8 |
DESCRIPTION="SMT Solver supporting SMT-LIB and Yices specification language" |
| 9 | 9 |
HOMEPAGE="https://github.com/SRI-CSL/yices2/" |
| 10 |
SRC_URI="https://github.com/SRI-CSL/${PN}/archive/Yices-${PV}.tar.gz"
|
|
| 11 |
S="${WORKDIR}"/${PN}-Yices-${PV}
|
|
| 10 | ||
| 11 |
if [[ "${PV}" == *9999* ]] ; then
|
|
| 12 |
inherit git-r3 |
|
| 13 | ||
| 14 |
EGIT_REPO_URI="https://github.com/SRI-CSL/${PN}"
|
|
| 15 |
else |
|
| 16 |
SRC_URI="https://github.com/SRI-CSL/${PN}/archive/${PV}.tar.gz
|
|
| 17 |
-> ${P}.gh.tar.gz"
|
|
| 18 | ||
| 19 |
KEYWORDS="~amd64 ~x86" |
|
| 20 |
fi |
|
| 12 | 21 | |
| 13 | 22 |
LICENSE="GPL-3+" |
| 14 | 23 |
SLOT="0/${PV}"
|
| 15 |
KEYWORDS="~amd64 ~x86" |
|
| 16 | 24 |
IUSE="+mcsat" |
| 17 | 25 | |
| 18 | 26 |
RDEPEND=" |
| ... | ... | |
| 22 | 30 |
sci-mathematics/cudd:= |
| 23 | 31 |
) |
| 24 | 32 |
" |
| 25 |
DEPEND="${RDEPEND}"
|
|
| 33 |
DEPEND=" |
|
| 34 |
${RDEPEND}
|
|
| 35 |
" |
|
| 36 |
BDEPEND=" |
|
| 37 |
sys-process/parallel |
|
| 38 |
" |
|
| 26 | 39 | |
| 27 | 40 |
DOCS=( FAQ.md README.md ) |
| 28 | 41 | |
| 29 | 42 |
src_prepare() {
|
| 30 |
default |
|
| 43 |
mkdir "${HOME}/.parallel" || die
|
|
| 44 |
touch "${HOME}/.parallel/will-cite" || die "parallel setup failed"
|
|
| 31 | 45 | |
| 46 |
default |
|
| 32 | 47 |
eautoreconf |
| 33 | 48 |
} |
| 34 | 49 | |
| ... | ... | |
| 37 | 52 |
} |
| 38 | 53 | |
| 39 | 54 |
src_compile() {
|
| 40 |
emake STRIP=echo |
|
| 55 |
emake STRIP="echo" |
|
| 56 |
} |
|
| 57 | ||
| 58 |
src_test() {
|
|
| 59 |
emake check |
|
| 41 | 60 |
} |
| 42 | 61 | |
| 43 | 62 |
src_install() {
|
| 44 | 63 |
default |
| 45 | 64 | |
| 46 |
doman doc/*.1 |
|
| 65 |
doman ./doc/*.1 |
|
| 47 | 66 | |
| 48 |
rm "${ED}"/usr/$(get_libdir)/libyices.a || die
|
|
| 67 |
rm "${ED}/usr/$(get_libdir)/libyices.a" || die
|
|
| 49 | 68 |
} |