diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-07-15 04:39:16 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-07-15 04:39:16 +0100 |
| commit | 80765b090d10ae3f68b00e3befe5859f7212e536 (patch) | |
| tree | d624666bb07bce025925d07a966e0fa276bc00c4 /sci-mathematics/vampire | |
| parent | 9f1c285c267548022db687a4fe85501b006d68b7 (diff) | |
gentoo auto-resync : 15:07:2023 - 04:39:16
Diffstat (limited to 'sci-mathematics/vampire')
| -rw-r--r-- | sci-mathematics/vampire/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/vampire/vampire-4.8.ebuild (renamed from sci-mathematics/vampire/vampire-4.6.1-r2.ebuild) | 26 |
2 files changed, 15 insertions, 15 deletions
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest index 6bacda87b101..f0e1f2677098 100644 --- a/sci-mathematics/vampire/Manifest +++ b/sci-mathematics/vampire/Manifest @@ -1,6 +1,6 @@ AUX vampire-4.6.1-musl.patch 1538 BLAKE2B 50162dd493cc004643b895a62b6a07abc08e3d8ac5e53e8f523bcf6fc3d7f0847f0f1dfa25107aadff7bbc4d51bd9299e5f11cdfa7f3247254c7d6c2847026f6 SHA512 b94095925b55ce17aae299c7259bab3b062cae7640a24600f6dd0da02da2cff7d3e505abfe08816363c5a27bd4346536dcf6a33975490b9a6a037c3bf617d862 -DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1 DIST vampire-4.7.tar.gz 1462358 BLAKE2B 10fdf4076bbcd7113da575d19890634a5142dd6917c028eb7ae0e94405df9e6915fc6127956d39b6f9f97242958b0fa04fa9e835853f09cec381786862009ef5 SHA512 978169a9b4d561dce1d55aa9a61a8b302657ff758036309d9c5f58a5d9271b874ac020d110fbb2a16d34f2ccdd10a497eb469829c91d58530dba5e1cd8978d78 -EBUILD vampire-4.6.1-r2.ebuild 1334 BLAKE2B c60fe0a9b8b030f3888aa88dfffb0a8626448dfa1957e3a87896d13bce97f451f16e136539141a5e86710e6e82719594c79bfee8f0a040207c79310c583e0055 SHA512 6c7f5fd966b8d15af8ab8db7c51d2873dba52e00555cf0e5490228bed16ba871cbf36d1131921ee48f7b17b6e03defb5cceed684f684c55c2f1a6d3444595e8c +DIST vampire-4.8-casc2023.tar.gz 1527236 BLAKE2B fb6ce26bb31996529e2b4d76173a1cb8d2c796aa6a5a2581515c516b5f07e9d4efc6040db1ac7f65388d723ee5080d62fb9c2b6ec88f58babd892fd96c0bf0ba SHA512 d6349ab23a289101a0d9f3caa5190df065dfbbe4e2e999e7d5b97ff738c8355b35848d93423ec3a0b0f88d4ac806173493f9a2de4e31945bb09c500c64eb5028 EBUILD vampire-4.7-r1.ebuild 1466 BLAKE2B 6b0dfdd8976d71f7a6d20821a9e42e3e93e0fc10dcd9e650ef589fe38077c335137b3667e11c742ce2ec327c5929eed447019def81c83fa40561a9c39a9d8a76 SHA512 8ae1f1bc249627085a8aa58f778a9a826fc9d5a1a703bc1fc7e84c3d66c960974705ca069a5674c669c908b728d91859b3e79d8067a07f15b703392a25532977 +EBUILD vampire-4.8.ebuild 1424 BLAKE2B 024de9192ad510aff6d79b79bbd41593ae5916efb012cae57df3425202dc9b4e971316d8774160c33ce81a3c1704d3bf2e6f647cd46be449c0266693d6397bb2 SHA512 c1a15a86f129361758303d0b834542b0cd6405574a2a7a611821bcade52929f06aef0f43fec1af5a3b0320651c8e06a51d4ff2e527a6b90eb1b0fa6559034eda MISC metadata.xml 1020 BLAKE2B 6e798243e207d09fac240c73cda8918b300706a19d53918b3ce78e847146ad3676a39d9be8e020b678c20d7fe02da0eab57519ea2c5841eeeea0b8a680045928 SHA512 dc82a586070c97db278ef17a24384436548b2a968d18ead7d148f654bab4ad846e685ac2ae2f7db8048b25115b673bcf8223fa2813b370f9d6b6ac01dcf9040e diff --git a/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild b/sci-mathematics/vampire/vampire-4.8.ebuild index 0d3a66debc59..685a97060dca 100644 --- a/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild +++ b/sci-mathematics/vampire/vampire-4.8.ebuild @@ -6,14 +6,18 @@ EAPI=8 inherit flag-o-matic cmake DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" -HOMEPAGE="https://vprover.github.io" +HOMEPAGE="https://vprover.github.io/ + https://github.com/vprover/vampire/" -if [[ "${PV}" == *9999* ]]; then +if [[ ${PV} == *9999* ]] ; then inherit git-r3 EGIT_REPO_URI="https://github.com/vprover/${PN}.git" EGIT_SUBMODULES=() else - SRC_URI="https://github.com/vprover/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" + # v4.8casc2023 - "This is the 4.8 version submitted to CASC in 2023." + SRC_URI="https://github.com/vprover/${PN}/archive/v${PV}casc2023.tar.gz + -> ${P}-casc2023.tar.gz" + S="${WORKDIR}"/${PN}-${PV}casc2023 KEYWORDS="~amd64 ~x86" fi @@ -32,27 +36,23 @@ RDEPEND=" " DEPEND="${RDEPEND}" -PATCHES=( "${FILESDIR}"/${P}-musl.patch ) - src_configure() { # -Werror=strict-aliasing warnings, bug #863269 filter-lto append-flags -fno-strict-aliasing - local CMAKE_BUILD_TYPE - if use debug; then - CMAKE_BUILD_TYPE=Debug - else - CMAKE_BUILD_TYPE=Release - fi + local CMAKE_BUILD_TYPE=$(usex debug Debug Release) - local mycmakeargs=( -DZ3_DIR=$(usex z3 "/usr/$(get_libdir)/cmake/z3/" "") ) + local -a mycmakeargs=( + -DZ3_DIR=$(usex z3 "/usr/$(get_libdir)/cmake/z3/" "") + ) cmake_src_configure } src_install() { local bin_name=$(find "${BUILD_DIR}"/bin/ -type f -name "${PN}*") - dobin "${bin_name}" + exeinto /usr/bin + doexe "${bin_name}" dosym $(basename "${bin_name}") /usr/bin/${PN} einstalldocs |