Diff vampire-4.8 with a vampire-4.9
| /usr/portage/sci-mathematics/vampire/vampire-4.9.ebuild 2024-12-25 14:59:52.723270181 +0300 | ||
|---|---|---|
| 1 |
# Copyright 1999-2023 Gentoo Authors |
|
| 1 |
# Copyright 1999-2024 Gentoo Authors |
|
| 2 | 2 |
# Distributed under the terms of the GNU General Public License v2 |
| 3 | 3 | |
| 4 | 4 |
EAPI=8 |
| ... | ... | |
| 14 | 14 |
EGIT_REPO_URI="https://github.com/vprover/${PN}.git"
|
| 15 | 15 |
EGIT_SUBMODULES=() |
| 16 | 16 |
else |
| 17 |
# v4.8casc2023 - "This is the 4.8 version submitted to CASC in 2023." |
|
| 18 |
SRC_URI="https://github.com/vprover/${PN}/archive/v${PV}casc2023.tar.gz
|
|
| 17 |
# v4.9casc2024 - "This is the 4.9 version submitted to CASC in 2024." |
|
| 18 |
SRC_URI="https://github.com/vprover/${PN}/archive/v${PV}casc2024.tar.gz
|
|
| 19 | 19 |
-> ${P}-casc2023.tar.gz"
|
| 20 |
S="${WORKDIR}"/${PN}-${PV}casc2023
|
|
| 20 |
S="${WORKDIR}/${PN}-${PV}casc2024"
|
|
| 21 | ||
| 21 | 22 |
KEYWORDS="~amd64 ~x86" |
| 22 | 23 |
fi |
| 23 | 24 | |
| ... | ... | |
| 34 | 35 |
>=sci-mathematics/z3-4.11.2:= |
| 35 | 36 |
) |
| 36 | 37 |
" |
| 37 |
DEPEND="${RDEPEND}"
|
|
| 38 |
DEPEND=" |
|
| 39 |
${RDEPEND}
|
|
| 40 |
" |
|
| 38 | 41 | |
| 39 | 42 |
src_configure() {
|
| 40 | 43 |
# -Werror=strict-aliasing warnings, bug #863269 |
| ... | ... | |
| 51 | 54 | |
| 52 | 55 |
src_install() {
|
| 53 | 56 |
local bin_name=$(find "${BUILD_DIR}"/bin/ -type f -name "${PN}*")
|
| 57 | ||
| 54 | 58 |
exeinto /usr/bin |
| 55 | 59 |
doexe "${bin_name}"
|
| 56 |
dosym $(basename "${bin_name}") /usr/bin/${PN}
|
|
| 60 |
dosym $(basename "${bin_name}") "/usr/bin/${PN}"
|
|
| 57 | 61 | |
| 58 | 62 |
einstalldocs |
| 59 | 63 |
} |