* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2021-12-11 14:41 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2021-12-11 14:41 UTC (permalink / raw
To: gentoo-commits
commit: 44429a0128b114f807d95827b5eb509b065cc90f
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Dec 11 14:40:09 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Dec 11 14:41:10 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=44429a01
sci-mathematics/vampire: new package; add version 4.6.1
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/vampire/Manifest | 1 +
sci-mathematics/vampire/metadata.xml | 25 +++++++++++++
sci-mathematics/vampire/vampire-4.6.1.ebuild | 53 ++++++++++++++++++++++++++++
3 files changed, 79 insertions(+)
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest
new file mode 100644
index 000000000000..fc80f8c57360
--- /dev/null
+++ b/sci-mathematics/vampire/Manifest
@@ -0,0 +1 @@
+DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1
diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml
new file mode 100644
index 000000000000..4785a01c9b05
--- /dev/null
+++ b/sci-mathematics/vampire/metadata.xml
@@ -0,0 +1,25 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+
+<pkgmetadata>
+ <maintainer type="person">
+ <email>xgqt@gentoo.org</email>
+ <name>Maciej Barć</name>
+ </maintainer>
+ <longdescription>
+ Vampire is a theorem prover, that is, a system able to prove theorems —
+ although now it can do much more! Its main focus is in proving theorems in
+ first-order logic but it can also prove non-theorems and build finite
+ models, as well as reasoning in combinations of theories, such as
+ arithmetic, arrays, and datatypes, and with higher-order logic.
+ The development of Vampire began in 1994 and has survived a number of
+ rewritings.
+ </longdescription>
+ <upstream>
+ <bugs-to>https://github.com/vprover/vampire/issues/</bugs-to>
+ <remote-id type="github">vprover/vampire</remote-id>
+ </upstream>
+ <use>
+ <flag name="z3">Enable support for <pkg>sci-mathematics/z3</pkg></flag>
+ </use>
+</pkgmetadata>
diff --git a/sci-mathematics/vampire/vampire-4.6.1.ebuild b/sci-mathematics/vampire/vampire-4.6.1.ebuild
new file mode 100644
index 000000000000..6c99ffab7e31
--- /dev/null
+++ b/sci-mathematics/vampire/vampire-4.6.1.ebuild
@@ -0,0 +1,53 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit cmake
+
+DESCRIPTION="The Vampire Prover, theorem prover for first-order logic"
+HOMEPAGE="https://vprover.github.io"
+
+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"
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+IUSE="debug +z3"
+# debug mode needs to be enabled for tests
+# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38
+RESTRICT="!debug? ( test )"
+
+RDEPEND="
+ z3? (
+ dev-libs/gmp:=
+ sci-mathematics/z3:=
+ )
+"
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ local CMAKE_BUILD_TYPE
+ if use debug; then
+ CMAKE_BUILD_TYPE=Debug
+ else
+ CMAKE_BUILD_TYPE=Release
+ fi
+
+ local 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}"
+ dosym $(basename "${bin_name}") /usr/bin/${PN}
+
+ einstalldocs
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2021-12-25 20:46 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2021-12-25 20:46 UTC (permalink / raw
To: gentoo-commits
commit: 4fb86b8da104c1a4fdd7030b8bc90764ec94be33
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Dec 25 20:40:12 2021 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Dec 25 20:40:12 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4fb86b8d
sci-mathematics/vampire: change maintainer to Gentoo Mathematics Project
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/vampire/metadata.xml | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/vampire/metadata.xml b/sci-mathematics/vampire/metadata.xml
index 4785a01c9b05..b290952a34d5 100644
--- a/sci-mathematics/vampire/metadata.xml
+++ b/sci-mathematics/vampire/metadata.xml
@@ -2,9 +2,9 @@
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <maintainer type="person">
- <email>xgqt@gentoo.org</email>
- <name>Maciej Barć</name>
+ <maintainer type="project">
+ <email>sci-mathematics@gentoo.org</email>
+ <name>Gentoo Mathematics Project</name>
</maintainer>
<longdescription>
Vampire is a theorem prover, that is, a system able to prove theorems —
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2022-07-23 17:41 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2022-07-23 17:41 UTC (permalink / raw
To: gentoo-commits
commit: 09e3e38929c16b3cfde3d2ac41d780fc2c3bc9ba
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 23 17:28:01 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 23 17:41:00 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=09e3e389
sci-mathematics/vampire: bump to 4.7
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/vampire/Manifest | 1 +
sci-mathematics/vampire/vampire-4.7.ebuild | 57 ++++++++++++++++++++++++++++++
2 files changed, 58 insertions(+)
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest
index fc80f8c57360..68e6a43c3a78 100644
--- a/sci-mathematics/vampire/Manifest
+++ b/sci-mathematics/vampire/Manifest
@@ -1 +1,2 @@
DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1
+DIST vampire-4.7.tar.gz 1462358 BLAKE2B 10fdf4076bbcd7113da575d19890634a5142dd6917c028eb7ae0e94405df9e6915fc6127956d39b6f9f97242958b0fa04fa9e835853f09cec381786862009ef5 SHA512 978169a9b4d561dce1d55aa9a61a8b302657ff758036309d9c5f58a5d9271b874ac020d110fbb2a16d34f2ccdd10a497eb469829c91d58530dba5e1cd8978d78
diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7.ebuild
new file mode 100644
index 000000000000..bd33eda2b980
--- /dev/null
+++ b/sci-mathematics/vampire/vampire-4.7.ebuild
@@ -0,0 +1,57 @@
+# Copyright 1999-2022 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+H=2d02e4655e1b08d1ca9ee7c0aade40f59f046460 # "bump to 4.7"
+
+inherit cmake
+
+DESCRIPTION="The Vampire Prover, theorem prover for first-order logic"
+HOMEPAGE="https://vprover.github.io"
+
+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/${H}.tar.gz
+ -> ${P}.tar.gz"
+ S="${WORKDIR}"/${PN}-${H}
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+IUSE="debug +z3"
+# debug mode needs to be enabled for tests
+# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38
+RESTRICT="!debug? ( test )"
+
+RDEPEND="
+ z3? (
+ dev-libs/gmp:=
+ <sci-mathematics/z3-4.10:=
+ )
+"
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ local CMAKE_BUILD_TYPE
+ if use debug ; then
+ CMAKE_BUILD_TYPE=Debug
+ else
+ CMAKE_BUILD_TYPE=Release
+ fi
+
+ local 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}"
+ dosym $(basename "${bin_name}") /usr/bin/${PN}
+
+ einstalldocs
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2022-07-23 17:41 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2022-07-23 17:41 UTC (permalink / raw
To: gentoo-commits
commit: cbb308be9f9e203cd2a885f43e5f568fddc16cb1
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Jul 23 17:25:52 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 23 17:41:00 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=cbb308be
sci-mathematics/vampire: restrict z3 dep version
Closes: https://bugs.gentoo.org/860237
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../vampire/{vampire-4.6.1.ebuild => vampire-4.6.1-r1.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/vampire/vampire-4.6.1.ebuild b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
similarity index 94%
rename from sci-mathematics/vampire/vampire-4.6.1.ebuild
rename to sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
index 6c99ffab7e31..2f7ceabc3b2c 100644
--- a/sci-mathematics/vampire/vampire-4.6.1.ebuild
+++ b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -27,7 +27,7 @@ RESTRICT="!debug? ( test )"
RDEPEND="
z3? (
dev-libs/gmp:=
- sci-mathematics/z3:=
+ <sci-mathematics/z3-4.10:=
)
"
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2022-08-06 23:53 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2022-08-06 23:53 UTC (permalink / raw
To: gentoo-commits
commit: c1dc1afc5592077b339f17e00e93b6bc2180f768
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Sat Aug 6 23:50:34 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Aug 6 23:51:56 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c1dc1afc
sci-mathematics/vampire: filter LTO (strict-aliasing)
Closes: https://bugs.gentoo.org/863269
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/vampire/vampire-4.6.1-r1.ebuild | 6 +++++-
sci-mathematics/vampire/vampire-4.7.ebuild | 6 +++++-
2 files changed, 10 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
index 2f7ceabc3b2c..98b642f86d90 100644
--- a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
+++ b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
@@ -3,7 +3,7 @@
EAPI=8
-inherit cmake
+inherit flag-o-matic cmake
DESCRIPTION="The Vampire Prover, theorem prover for first-order logic"
HOMEPAGE="https://vprover.github.io"
@@ -33,6 +33,10 @@ RDEPEND="
DEPEND="${RDEPEND}"
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
diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7.ebuild
index bd33eda2b980..19e7d9d57b7a 100644
--- a/sci-mathematics/vampire/vampire-4.7.ebuild
+++ b/sci-mathematics/vampire/vampire-4.7.ebuild
@@ -5,7 +5,7 @@ EAPI=8
H=2d02e4655e1b08d1ca9ee7c0aade40f59f046460 # "bump to 4.7"
-inherit cmake
+inherit flag-o-matic cmake
DESCRIPTION="The Vampire Prover, theorem prover for first-order logic"
HOMEPAGE="https://vprover.github.io"
@@ -37,6 +37,10 @@ RDEPEND="
DEPEND="${RDEPEND}"
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
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2022-09-23 11:44 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2022-09-23 11:44 UTC (permalink / raw
To: gentoo-commits
commit: bd70ca1e105ae6eda804d50dcb4732e1929ead74
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Sep 23 11:03:57 2022 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Fri Sep 23 11:43:56 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=bd70ca1e
sci-mathematics/vampire: depend on z3 version >=4.11.2
both vampire 4.6.1 and 4.7 build correctly with >=sci-mathematics/z3-4.11.2
Closes: https://bugs.gentoo.org/872512
Bug: https://bugs.gentoo.org/860237
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
.../vampire/{vampire-4.6.1-r1.ebuild => vampire-4.6.1-r2.ebuild} | 2 +-
sci-mathematics/vampire/{vampire-4.7.ebuild => vampire-4.7-r1.ebuild} | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild b/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
similarity index 97%
rename from sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
rename to sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
index 98b642f86d90..d5579bce688d 100644
--- a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild
+++ b/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
@@ -27,7 +27,7 @@ RESTRICT="!debug? ( test )"
RDEPEND="
z3? (
dev-libs/gmp:=
- <sci-mathematics/z3-4.10:=
+ >=sci-mathematics/z3-4.11.2:=
)
"
DEPEND="${RDEPEND}"
diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7-r1.ebuild
similarity index 97%
rename from sci-mathematics/vampire/vampire-4.7.ebuild
rename to sci-mathematics/vampire/vampire-4.7-r1.ebuild
index 19e7d9d57b7a..69e581237127 100644
--- a/sci-mathematics/vampire/vampire-4.7.ebuild
+++ b/sci-mathematics/vampire/vampire-4.7-r1.ebuild
@@ -31,7 +31,7 @@ RESTRICT="!debug? ( test )"
RDEPEND="
z3? (
dev-libs/gmp:=
- <sci-mathematics/z3-4.10:=
+ >=sci-mathematics/z3-4.11.2:=
)
"
DEPEND="${RDEPEND}"
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2023-07-15 0:26 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2023-07-15 0:26 UTC (permalink / raw
To: gentoo-commits
commit: 52bc3f379b6f9d6d2fab531cd4b6240609e231ae
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 14 23:27:57 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 15 00:26:37 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=52bc3f37
sci-mathematics/vampire: bump to 4.8
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/vampire/Manifest | 1 +
sci-mathematics/vampire/vampire-4.8.ebuild | 59 ++++++++++++++++++++++++++++++
2 files changed, 60 insertions(+)
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest
index 87b78ccedb91..1432854a8700 100644
--- a/sci-mathematics/vampire/Manifest
+++ b/sci-mathematics/vampire/Manifest
@@ -1 +1,2 @@
DIST vampire-4.7.tar.gz 1462358 BLAKE2B 10fdf4076bbcd7113da575d19890634a5142dd6917c028eb7ae0e94405df9e6915fc6127956d39b6f9f97242958b0fa04fa9e835853f09cec381786862009ef5 SHA512 978169a9b4d561dce1d55aa9a61a8b302657ff758036309d9c5f58a5d9271b874ac020d110fbb2a16d34f2ccdd10a497eb469829c91d58530dba5e1cd8978d78
+DIST vampire-4.8-casc2023.tar.gz 1527236 BLAKE2B fb6ce26bb31996529e2b4d76173a1cb8d2c796aa6a5a2581515c516b5f07e9d4efc6040db1ac7f65388d723ee5080d62fb9c2b6ec88f58babd892fd96c0bf0ba SHA512 d6349ab23a289101a0d9f3caa5190df065dfbbe4e2e999e7d5b97ff738c8355b35848d93423ec3a0b0f88d4ac806173493f9a2de4e31945bb09c500c64eb5028
diff --git a/sci-mathematics/vampire/vampire-4.8.ebuild b/sci-mathematics/vampire/vampire-4.8.ebuild
new file mode 100644
index 000000000000..685a97060dca
--- /dev/null
+++ b/sci-mathematics/vampire/vampire-4.8.ebuild
@@ -0,0 +1,59 @@
+# Copyright 1999-2023 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit flag-o-matic cmake
+
+DESCRIPTION="The Vampire Prover, theorem prover for first-order logic"
+HOMEPAGE="https://vprover.github.io/
+ https://github.com/vprover/vampire/"
+
+if [[ ${PV} == *9999* ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/vprover/${PN}.git"
+ EGIT_SUBMODULES=()
+else
+ # 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
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+IUSE="debug +z3"
+# debug mode needs to be enabled for tests
+# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38
+RESTRICT="!debug? ( test )"
+
+RDEPEND="
+ z3? (
+ dev-libs/gmp:=
+ >=sci-mathematics/z3-4.11.2:=
+ )
+"
+DEPEND="${RDEPEND}"
+
+src_configure() {
+ # -Werror=strict-aliasing warnings, bug #863269
+ filter-lto
+ append-flags -fno-strict-aliasing
+
+ local CMAKE_BUILD_TYPE=$(usex debug Debug Release)
+
+ 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}*")
+ exeinto /usr/bin
+ doexe "${bin_name}"
+ dosym $(basename "${bin_name}") /usr/bin/${PN}
+
+ einstalldocs
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2023-07-15 0:26 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2023-07-15 0:26 UTC (permalink / raw
To: gentoo-commits
commit: b90b274b4a0d5cdeb751b4869844510bbfcf26df
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Fri Jul 14 22:52:09 2023 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Sat Jul 15 00:26:36 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b90b274b
sci-mathematics/vampire: drop old 4.6.1-r2
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/vampire/Manifest | 1 -
sci-mathematics/vampire/vampire-4.6.1-r2.ebuild | 59 -------------------------
2 files changed, 60 deletions(-)
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest
index 68e6a43c3a78..87b78ccedb91 100644
--- a/sci-mathematics/vampire/Manifest
+++ b/sci-mathematics/vampire/Manifest
@@ -1,2 +1 @@
-DIST vampire-4.6.1.tar.gz 1511760 BLAKE2B 52ede8ac009379b15bc57b2ffe45965cbaf772f0e90bc619d859b85b77ce81eadbdd7ddae7c5e0e9cc69564a07f0abefa17109f7192e6afe634a5a929817fe92 SHA512 7ffeee64e9e4666344c0f9155c7e980920666813388416062cee89e43003fef5a8a54b8656cc42d2fa58b6fb3b87ef7f2c671bfc6787075df4058dcc3a1d46e1
DIST vampire-4.7.tar.gz 1462358 BLAKE2B 10fdf4076bbcd7113da575d19890634a5142dd6917c028eb7ae0e94405df9e6915fc6127956d39b6f9f97242958b0fa04fa9e835853f09cec381786862009ef5 SHA512 978169a9b4d561dce1d55aa9a61a8b302657ff758036309d9c5f58a5d9271b874ac020d110fbb2a16d34f2ccdd10a497eb469829c91d58530dba5e1cd8978d78
diff --git a/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild b/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
deleted file mode 100644
index 0d3a66debc59..000000000000
--- a/sci-mathematics/vampire/vampire-4.6.1-r2.ebuild
+++ /dev/null
@@ -1,59 +0,0 @@
-# Copyright 1999-2023 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=8
-
-inherit flag-o-matic cmake
-
-DESCRIPTION="The Vampire Prover, theorem prover for first-order logic"
-HOMEPAGE="https://vprover.github.io"
-
-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"
- KEYWORDS="~amd64 ~x86"
-fi
-
-LICENSE="BSD"
-SLOT="0/${PV}"
-IUSE="debug +z3"
-# debug mode needs to be enabled for tests
-# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38
-RESTRICT="!debug? ( test )"
-
-RDEPEND="
- z3? (
- dev-libs/gmp:=
- >=sci-mathematics/z3-4.11.2:=
- )
-"
-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 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}"
- dosym $(basename "${bin_name}") /usr/bin/${PN}
-
- einstalldocs
-}
^ permalink raw reply related [flat|nested] 9+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/
@ 2024-09-30 18:22 Maciej Barć
0 siblings, 0 replies; 9+ messages in thread
From: Maciej Barć @ 2024-09-30 18:22 UTC (permalink / raw
To: gentoo-commits
commit: ea3edb5ee8118107e5cd048b9708c08cb5560027
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org>
AuthorDate: Mon Sep 30 17:47:18 2024 +0000
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org>
CommitDate: Mon Sep 30 18:22:53 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ea3edb5e
sci-mathematics/vampire: bump to 4.9
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org>
sci-mathematics/vampire/Manifest | 1 +
sci-mathematics/vampire/vampire-4.9.ebuild | 63 ++++++++++++++++++++++++++++++
2 files changed, 64 insertions(+)
diff --git a/sci-mathematics/vampire/Manifest b/sci-mathematics/vampire/Manifest
index 34007ddf898b..502fd0cb9da9 100644
--- a/sci-mathematics/vampire/Manifest
+++ b/sci-mathematics/vampire/Manifest
@@ -1 +1,2 @@
DIST vampire-4.8-casc2023.tar.gz 1527236 BLAKE2B fb6ce26bb31996529e2b4d76173a1cb8d2c796aa6a5a2581515c516b5f07e9d4efc6040db1ac7f65388d723ee5080d62fb9c2b6ec88f58babd892fd96c0bf0ba SHA512 d6349ab23a289101a0d9f3caa5190df065dfbbe4e2e999e7d5b97ff738c8355b35848d93423ec3a0b0f88d4ac806173493f9a2de4e31945bb09c500c64eb5028
+DIST vampire-4.9-casc2023.tar.gz 1502934 BLAKE2B 399ca20578d30e6cca74e7e46a97d87975ebcc9cd18e61fc125b99eec008a46df7e12b8e3c5e448f1e112429a8f79d7d7b9866811d2cce1c523bd0fb322278c4 SHA512 f37ca777da8dad719e3072d6c0ff31b67152ed699a1f21ccb5f004398d6472ab8105f16bfd21ec8a42cf65f8aca4a197e9c4557724e2d1a38bed291b2c5aeef3
diff --git a/sci-mathematics/vampire/vampire-4.9.ebuild b/sci-mathematics/vampire/vampire-4.9.ebuild
new file mode 100644
index 000000000000..523053c44f97
--- /dev/null
+++ b/sci-mathematics/vampire/vampire-4.9.ebuild
@@ -0,0 +1,63 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit flag-o-matic cmake
+
+DESCRIPTION="The Vampire Prover, theorem prover for first-order logic"
+HOMEPAGE="https://vprover.github.io/
+ https://github.com/vprover/vampire/"
+
+if [[ ${PV} == *9999* ]] ; then
+ inherit git-r3
+ EGIT_REPO_URI="https://github.com/vprover/${PN}.git"
+ EGIT_SUBMODULES=()
+else
+ # v4.9casc2024 - "This is the 4.9 version submitted to CASC in 2024."
+ SRC_URI="https://github.com/vprover/${PN}/archive/v${PV}casc2024.tar.gz
+ -> ${P}-casc2023.tar.gz"
+ S="${WORKDIR}/${PN}-${PV}casc2024"
+
+ KEYWORDS="~amd64 ~x86"
+fi
+
+LICENSE="BSD"
+SLOT="0/${PV}"
+IUSE="debug +z3"
+# debug mode needs to be enabled for tests
+# https://github.com/vprover/vampire/blob/8197e1d2d86a0b276b5fcb6c02d8122f66b7277e/CMakeLists.txt#L38
+RESTRICT="!debug? ( test )"
+
+RDEPEND="
+ z3? (
+ dev-libs/gmp:=
+ >=sci-mathematics/z3-4.11.2:=
+ )
+"
+DEPEND="
+ ${RDEPEND}
+"
+
+src_configure() {
+ # -Werror=strict-aliasing warnings, bug #863269
+ filter-lto
+ append-flags -fno-strict-aliasing
+
+ local CMAKE_BUILD_TYPE=$(usex debug Debug Release)
+
+ 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}*")
+
+ exeinto /usr/bin
+ doexe "${bin_name}"
+ dosym $(basename "${bin_name}") "/usr/bin/${PN}"
+
+ einstalldocs
+}
^ permalink raw reply related [flat|nested] 9+ messages in thread
end of thread, other threads:[~2024-09-30 18:23 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2023-07-15 0:26 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/vampire/ Maciej Barć
-- strict thread matches above, loose matches on Subject: below --
2024-09-30 18:22 Maciej Barć
2023-07-15 0:26 Maciej Barć
2022-09-23 11:44 Maciej Barć
2022-08-06 23:53 Maciej Barć
2022-07-23 17:41 Maciej Barć
2022-07-23 17:41 Maciej Barć
2021-12-25 20:46 Maciej Barć
2021-12-11 14:41 Maciej Barć
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox