* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2018-07-18 6:29 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2018-07-18 6:29 UTC (permalink / raw
To: gentoo-commits
commit: ed51ccdb299c48d49d8750b05299431723016732
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Jul 18 06:28:48 2018 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Jul 18 06:28:48 2018 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed51ccdb
sci-mathematics/cvc4: Add cvc4 to the tree
Package-Manager: Portage-2.3.40, Repoman-2.3.9
sci-mathematics/cvc4/Manifest | 1 +
sci-mathematics/cvc4/cvc4-1.6.ebuild | 24 ++++++++++++++++++++++++
sci-mathematics/cvc4/metadata.xml | 17 +++++++++++++++++
3 files changed, 42 insertions(+)
diff --git a/sci-mathematics/cvc4/Manifest b/sci-mathematics/cvc4/Manifest
new file mode 100644
index 00000000000..2b268f2188b
--- /dev/null
+++ b/sci-mathematics/cvc4/Manifest
@@ -0,0 +1 @@
+DIST cvc4-1.6.tar.gz 7815893 BLAKE2B 626e0dd49f911384e64d7e8ecf635aa12dad32830b2032bdcb96afd1a17c3566f56df51f75e9193cf365b562855733d0ea4ff3311ac99fc86e928a956298d2ad SHA512 0887b3f74a4b9e51e634591c7cf39d730110ca5d930149bab4816a49e383eeea8ccadf8474d22f5529cc03ddd045acacf8a2b92434b882adf352f4de4075fcd4
diff --git a/sci-mathematics/cvc4/cvc4-1.6.ebuild b/sci-mathematics/cvc4/cvc4-1.6.ebuild
new file mode 100644
index 00000000000..1500f9d338d
--- /dev/null
+++ b/sci-mathematics/cvc4/cvc4-1.6.ebuild
@@ -0,0 +1,24 @@
+# Copyright 1999-2018 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=6
+
+DESCRIPTION="automatic theorem prover for satisfiability modulo theories (SMT) problems"
+HOMEPAGE="http://cvc4.cs.stanford.edu/web/"
+SRC_URI="http://cvc4.cs.stanford.edu/downloads/builds/src/${P}.tar.gz"
+
+LICENSE="GPL-2"
+SLOT="0"
+KEYWORDS="~amd64 ~x86"
+IUSE="+cln"
+
+RDEPEND="dev-libs/antlr-c
+ dev-libs/boost
+ cln? ( sci-libs/cln )
+ !cln? ( dev-libs/gmp:= )"
+DEPEND="${RDEPEND}"
+
+src_configure () {
+ econf --enable-gpl \
+ $(use_with cln)
+}
diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml
new file mode 100644
index 00000000000..d1a299673f8
--- /dev/null
+++ b/sci-mathematics/cvc4/metadata.xml
@@ -0,0 +1,17 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
+<pkgmetadata>
+ <maintainer type="person">
+ <email>tupone@gentoo.org</email>
+ <name>Tupone Alfredo</name>
+ </maintainer>
+ <use>
+ <flag name="cln">Use sci-libs/cln</flag>
+ </use>
+ <longdescription lang="en">
+ CVC4 is an efficient open-source automatic theorem prover for
+ satisfiability modulo theories (SMT) problems. It can be used to prove
+ the validity (or, dually, the satisfiability) of first-order formulas
+ in a large number of built-in logical theories and their combination.
+ </longdescription>
+</pkgmetadata>
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2019-07-23 13:20 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2019-07-23 13:20 UTC (permalink / raw
To: gentoo-commits
commit: d72e9b862cbc9ccfabd0df7f53e7fe7664d22ae9
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Jul 23 13:20:29 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Jul 23 13:20:29 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d72e9b86
sci-mathematics/cvc4: add statistics, replay and proofs use flag
Closes: https://github.com/gentoo/gentoo/pull/12520
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
sci-mathematics/cvc4/cvc4-1.7.ebuild | 6 +++++-
sci-mathematics/cvc4/metadata.xml | 3 +++
2 files changed, 8 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7.ebuild
index 0b192f12739..cc6e6eb4f4f 100644
--- a/sci-mathematics/cvc4/cvc4-1.7.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.7.ebuild
@@ -12,7 +12,7 @@ SRC_URI="https://github.com/CVC4/CVC4/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-IUSE="+cln"
+IUSE="+cln +statistics proofs replay"
RDEPEND="dev-libs/antlr-c
dev-java/antlr:3
@@ -30,7 +30,11 @@ src_configure() {
local mycmakeargs=(
-DANTLR_BINARY=/usr/bin/antlr3
-DENABLE_GPL=ON
+ -DENABLE_OPTIMIZED=ON
-DUSE_CLN="$(usex cln ON OFF)"
+ -DENABLE_STATISTICS="$(usex statistics ON OFF)"
+ -DENABLE_PROOFS="$(usex proofs ON OFF)"
+ -DENABLE_REPLAY="$(usex replay ON OFF)"
)
cmake-utils_src_configure
}
diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml
index d1a299673f8..8ab072c9051 100644
--- a/sci-mathematics/cvc4/metadata.xml
+++ b/sci-mathematics/cvc4/metadata.xml
@@ -7,6 +7,9 @@
</maintainer>
<use>
<flag name="cln">Use sci-libs/cln</flag>
+ <flag name="statistics">Include statistics</flag>
+ <flag name="replay">Turn on the replay feature</flag>
+ <flag name="proofs">Support for proof generation</flag>
</use>
<longdescription lang="en">
CVC4 is an efficient open-source automatic theorem prover for
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2019-07-25 6:13 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2019-07-25 6:13 UTC (permalink / raw
To: gentoo-commits
commit: f0be729b2f2055afe79f68cb95c9e856d0303e82
Author: Tupone Alfredo <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Jul 25 06:12:57 2019 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Jul 25 06:12:57 2019 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=f0be729b
sci-mathematics/cvc4: Add readline use flag
Closes: https://github.com/gentoo/gentoo/pull/12536
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
Package-Manager: Portage-2.3.66, Repoman-2.3.11
sci-mathematics/cvc4/cvc4-1.7.ebuild | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7.ebuild
index cc6e6eb4f4f..09aab161f76 100644
--- a/sci-mathematics/cvc4/cvc4-1.7.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.7.ebuild
@@ -12,11 +12,12 @@ SRC_URI="https://github.com/CVC4/CVC4/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-IUSE="+cln +statistics proofs replay"
+IUSE="+cln proofs readline replay +statistics"
RDEPEND="dev-libs/antlr-c
dev-java/antlr:3
dev-libs/boost
+ readline? ( sys-libs/readline:0= )
cln? ( sci-libs/cln )
!cln? ( dev-libs/gmp:= )"
DEPEND="${RDEPEND}"
@@ -32,6 +33,7 @@ src_configure() {
-DENABLE_GPL=ON
-DENABLE_OPTIMIZED=ON
-DUSE_CLN="$(usex cln ON OFF)"
+ -DUSE_READLINE="$(usex readline ON OFF)"
-DENABLE_STATISTICS="$(usex statistics ON OFF)"
-DENABLE_PROOFS="$(usex proofs ON OFF)"
-DENABLE_REPLAY="$(usex replay ON OFF)"
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2021-01-20 7:32 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2021-01-20 7:32 UTC (permalink / raw
To: gentoo-commits
commit: 5e516f03a0f0543480601b545cadfa074c6051eb
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Jan 20 07:31:58 2021 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Jan 20 07:31:58 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=5e516f03
sci-mathematics/cvc4: add python dep
Closes: https://bugs.gentoo.org/766099
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/{cvc4-1.7.ebuild => cvc4-1.7-r1.ebuild} | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.7.ebuild b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
similarity index 90%
rename from sci-mathematics/cvc4/cvc4-1.7.ebuild
rename to sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
index 09aab161f76..a35698d4920 100644
--- a/sci-mathematics/cvc4/cvc4-1.7.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
@@ -1,9 +1,11 @@
-# Copyright 1999-2019 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
-inherit cmake-utils
+PYTHON_COMPAT=( python3_{6,7,8} )
+
+inherit python-any-r1 cmake-utils
DESCRIPTION="automatic theorem prover for satisfiability modulo theories (SMT) problems"
HOMEPAGE="http://cvc4.cs.stanford.edu/web/"
@@ -21,6 +23,7 @@ RDEPEND="dev-libs/antlr-c
cln? ( sci-libs/cln )
!cln? ( dev-libs/gmp:= )"
DEPEND="${RDEPEND}"
+BDEPEND="${PYTHON_DEPS}"
S="${WORKDIR}"/CVC4-${PV}
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2021-04-05 16:53 Andreas Sturmlechner
0 siblings, 0 replies; 16+ messages in thread
From: Andreas Sturmlechner @ 2021-04-05 16:53 UTC (permalink / raw
To: gentoo-commits
commit: b953b436445abffd13d9320514039055fe4eba04
Author: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
AuthorDate: Mon Apr 5 11:20:48 2021 +0000
Commit: Andreas Sturmlechner <asturm <AT> gentoo <DOT> org>
CommitDate: Mon Apr 5 16:53:21 2021 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b953b436
sci-mathematics/cvc4: python3_9, switch to cmake.eclass
Package-Manager: Portage-3.0.18, Repoman-3.0.3
Signed-off-by: Andreas Sturmlechner <asturm <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.7-r1.ebuild | 19 +++++++++----------
1 file changed, 9 insertions(+), 10 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
index e50bae6113f..36e9f4689a6 100644
--- a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
@@ -3,12 +3,12 @@
EAPI=7
-PYTHON_COMPAT=( python3_{7,8} )
+CMAKE_MAKEFILE_GENERATOR=emake
+PYTHON_COMPAT=( python3_{7,8,9} )
+inherit cmake python-any-r1
-inherit python-any-r1 cmake-utils
-
-DESCRIPTION="automatic theorem prover for satisfiability modulo theories (SMT) problems"
-HOMEPAGE="http://cvc4.cs.stanford.edu/web/"
+DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems"
+HOMEPAGE="https://cvc4.github.io/"
SRC_URI="https://github.com/CVC4/CVC4/archive/${PV}.tar.gz -> ${P}.tar.gz"
LICENSE="GPL-2"
@@ -25,12 +25,11 @@ RDEPEND="dev-libs/antlr-c
DEPEND="${RDEPEND}"
BDEPEND="${PYTHON_DEPS}"
-S="${WORKDIR}"/CVC4-${PV}
+S="${WORKDIR}"/${P^^}
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
src_configure() {
- CMAKE_MAKEFILE_GENERATOR=emake
local mycmakeargs=(
-DANTLR_BINARY=/usr/bin/antlr3
-DENABLE_GPL=ON
@@ -41,7 +40,7 @@ src_configure() {
-DENABLE_PROOFS="$(usex proofs ON OFF)"
-DENABLE_REPLAY="$(usex replay ON OFF)"
)
- cmake-utils_src_configure
+ cmake_src_configure
}
src_test() {
@@ -54,10 +53,10 @@ src_test() {
smt2_compliance \
two_smt_engines \
statistics
- cmake-utils_src_test
+ cmake_src_test
}
src_install() {
- cmake-utils_src_install
+ cmake_src_install
mv "${D}"/usr/{lib,$(get_libdir)}
}
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-02-05 11:22 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2022-02-05 11:22 UTC (permalink / raw
To: gentoo-commits
commit: e137bda5f125920805b32c956f63726445bf41f9
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sat Feb 5 11:21:55 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sat Feb 5 11:21:55 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e137bda5
sci-mathematics/cvc4: PythonCompatUpdate
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.7-r1.ebuild | 4 ++--
sci-mathematics/cvc4/cvc4-1.8.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
index 36e9f4689a67..a2f98aac04cc 100644
--- a/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.7-r1.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{7,8,9} )
+PYTHON_COMPAT=( python3_{7..10} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems"
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8.ebuild
index 347dbda0a248..6eb40f393dc6 100644
--- a/sci-mathematics/cvc4/cvc4-1.8.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2021 Gentoo Authors
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{7,8,9} )
+PYTHON_COMPAT=( python3_{7..10} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems"
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-02-08 7:44 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2022-02-08 7:44 UTC (permalink / raw
To: gentoo-commits
commit: a67e2887fe1c15ec3bbabb3907ce352d1fd24803
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 8 07:44:06 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Feb 8 07:44:06 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=a67e2887
sci-mathematics/cvc4: remove unused CMake variables
Closes: https://bugs.gentoo.org/829088
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.8.ebuild | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8.ebuild
index 6eb40f393dc6..879bf5675991 100644
--- a/sci-mathematics/cvc4/cvc4-1.8.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild
@@ -14,7 +14,7 @@ SRC_URI="https://github.com/CVC4/CVC4-archived/archive/refs/tags/${PV}.tar.gz ->
LICENSE="GPL-2"
SLOT="0"
KEYWORDS="~amd64 ~x86"
-IUSE="+cln proofs readline replay +statistics"
+IUSE="+cln proofs readline +statistics"
RDEPEND="dev-libs/antlr-c
dev-java/antlr:3
@@ -33,12 +33,10 @@ src_configure() {
local mycmakeargs=(
-DANTLR_BINARY=/usr/bin/antlr3
-DENABLE_GPL=ON
- -DENABLE_OPTIMIZED=ON
-DUSE_CLN="$(usex cln ON OFF)"
-DUSE_READLINE="$(usex readline ON OFF)"
-DENABLE_STATISTICS="$(usex statistics ON OFF)"
-DENABLE_PROOFS="$(usex proofs ON OFF)"
- -DENABLE_REPLAY="$(usex replay ON OFF)"
)
cmake_src_configure
}
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-02-08 8:56 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2022-02-08 8:56 UTC (permalink / raw
To: gentoo-commits
commit: 222d7c3f5514f8cef25d7b119ebd97ff3a532ea1
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 8 08:56:11 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Tue Feb 8 08:56:11 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=222d7c3f
sci-mathematics/cvc4: fix deps
Closes: https://bugs.gentoo.org/823023
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.8.ebuild | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8.ebuild
index 879bf5675991..d15cbba2d1f8 100644
--- a/sci-mathematics/cvc4/cvc4-1.8.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8.ebuild
@@ -23,7 +23,11 @@ RDEPEND="dev-libs/antlr-c
cln? ( sci-libs/cln )
!cln? ( dev-libs/gmp:= )"
DEPEND="${RDEPEND}"
-BDEPEND="${PYTHON_DEPS}"
+BDEPEND="${PYTHON_DEPS}
+ $(python_gen_any_dep '
+ dev-python/toml[${PYTHON_USEDEP}]
+ ')
+"
S="${WORKDIR}"/${PN^^}-archived-${PV}
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-02-09 1:38 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2022-02-09 1:38 UTC (permalink / raw
To: gentoo-commits
commit: 2ee65e4c7a1eaa5fe9ca21f260be762a1e36d370
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 9 01:37:43 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Wed Feb 9 01:37:43 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2ee65e4c
sci-mathematics/cvc4: revbump for CMake config file fix
This file is installed and embeds the libdir path which will affect
consumers trying to build against/detect cvc4.
See: 03321382501b45387f99917ba5acf9aa627805bd
Closes: https://bugs.gentoo.org/820515
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/cvc4/{cvc4-1.8.ebuild => cvc4-1.8-r1.ebuild} | 0
1 file changed, 0 insertions(+), 0 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
similarity index 100%
rename from sci-mathematics/cvc4/cvc4-1.8.ebuild
rename to sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
^ permalink raw reply [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-02-17 14:10 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2022-02-17 14:10 UTC (permalink / raw
To: gentoo-commits
commit: 25d067881ac71f918b69864739c6e7fabbf5d9a4
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Thu Feb 17 14:10:32 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Thu Feb 17 14:10:32 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=25d06788
sci-mathematics/cvc4: fix deps check
Closes: https://bugs.gentoo.org/833362
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.8-r1.ebuild | 9 ++++++---
1 file changed, 6 insertions(+), 3 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
index d15cbba2d1f8..ed74ecc20fba 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
@@ -4,7 +4,7 @@
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{7..10} )
+PYTHON_COMPAT=( python3_{8..10} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems"
@@ -23,8 +23,7 @@ RDEPEND="dev-libs/antlr-c
cln? ( sci-libs/cln )
!cln? ( dev-libs/gmp:= )"
DEPEND="${RDEPEND}"
-BDEPEND="${PYTHON_DEPS}
- $(python_gen_any_dep '
+BDEPEND="$(python_gen_any_dep '
dev-python/toml[${PYTHON_USEDEP}]
')
"
@@ -33,6 +32,10 @@ S="${WORKDIR}"/${PN^^}-archived-${PV}
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
+python_check_deps() {
+ has_version "dev-python/toml[${PYTHON_USEDEP}]"
+}
+
src_configure() {
local mycmakeargs=(
-DANTLR_BINARY=/usr/bin/antlr3
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-08-26 10:46 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2022-08-26 10:46 UTC (permalink / raw
To: gentoo-commits
commit: 4a9afda7605ad144df0c1d23e966fdc8aeec1e34
Author: Petr Vaněk <arkamar <AT> atlas <DOT> cz>
AuthorDate: Thu Aug 25 21:41:00 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Aug 26 10:46:28 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=4a9afda7
sci-mathematics/cvc4: use <pkg> tag in metadata.xml
Signed-off-by: Petr Vaněk <arkamar <AT> atlas.cz>
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/cvc4/metadata.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml
index 42b2bfab2e1a..685032332723 100644
--- a/sci-mathematics/cvc4/metadata.xml
+++ b/sci-mathematics/cvc4/metadata.xml
@@ -6,7 +6,7 @@
<name>Tupone Alfredo</name>
</maintainer>
<use>
- <flag name="cln">Use sci-libs/cln</flag>
+ <flag name="cln">Use <pkg>sci-libs/cln</pkg></flag>
<flag name="statistics">Include statistics</flag>
<flag name="replay">Turn on the replay feature</flag>
<flag name="proofs">Support for proof generation</flag>
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-10-15 15:01 Sam James
0 siblings, 0 replies; 16+ messages in thread
From: Sam James @ 2022-10-15 15:01 UTC (permalink / raw
To: gentoo-commits
commit: 2926d84a6e508609bd9eb5d2861c9ae46c1c0d3c
Author: Sam James <sam <AT> gentoo <DOT> org>
AuthorDate: Sat Oct 15 14:56:16 2022 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Sat Oct 15 14:56:16 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=2926d84a
sci-mathematics/cvc4: fix PythonHasVersionUsage
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.8-r1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
index ed74ecc20fba..c013d2a2ed33 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r1.ebuild
@@ -33,7 +33,7 @@ S="${WORKDIR}"/${PN^^}-archived-${PV}
PATCHES=( "${FILESDIR}"/${P}-gentoo.patch )
python_check_deps() {
- has_version "dev-python/toml[${PYTHON_USEDEP}]"
+ python_has_version "dev-python/toml[${PYTHON_USEDEP}]"
}
src_configure() {
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2022-12-05 13:32 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2022-12-05 13:32 UTC (permalink / raw
To: gentoo-commits
commit: 04828edf3713620506974d416284136cc7741923
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 5 13:32:33 2022 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Mon Dec 5 13:32:33 2022 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=04828edf
sci-mathematics/cvc4: add github upstream metadata
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/metadata.xml | 3 +++
1 file changed, 3 insertions(+)
diff --git a/sci-mathematics/cvc4/metadata.xml b/sci-mathematics/cvc4/metadata.xml
index 685032332723..012b2a3438e4 100644
--- a/sci-mathematics/cvc4/metadata.xml
+++ b/sci-mathematics/cvc4/metadata.xml
@@ -17,4 +17,7 @@
the validity (or, dually, the satisfiability) of first-order formulas
in a large number of built-in logical theories and their combination.
</longdescription>
+ <upstream>
+ <remote-id type="github">CVC4/CVC4-archived</remote-id>
+ </upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2023-02-22 11:25 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2023-02-22 11:25 UTC (permalink / raw
To: gentoo-commits
commit: efd139384b4115a72399f8afe83890c8c021b6dc
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 22 11:25:04 2023 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Wed Feb 22 11:25:33 2023 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=efd13938
sci-mathematics/cvc4: add support to python 3.11
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/{cvc4-1.8-r2.ebuild => cvc4-1.8-r3.ebuild} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r3.ebuild
similarity index 97%
rename from sci-mathematics/cvc4/cvc4-1.8-r2.ebuild
rename to sci-mathematics/cvc4/cvc4-1.8-r3.ebuild
index 7f7a9ad7aa88..276bdf289c12 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r2.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r3.ebuild
@@ -4,7 +4,7 @@
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{9..10} )
+PYTHON_COMPAT=( python3_{9..11} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems"
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2024-01-19 21:32 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2024-01-19 21:32 UTC (permalink / raw
To: gentoo-commits
commit: 81be47150ce44a0ed7c89b58fa1dafa072907392
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Fri Jan 19 21:30:37 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Fri Jan 19 21:31:45 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=81be4715
sci-mathematics/cvc4: PythonCompatUpdate
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/{cvc4-1.8-r4.ebuild => cvc4-1.8-r5.ebuild} | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r4.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
similarity index 95%
rename from sci-mathematics/cvc4/cvc4-1.8-r4.ebuild
rename to sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
index d62729a94aa8..6de0fc9372aa 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r4.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
@@ -1,10 +1,10 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
CMAKE_MAKEFILE_GENERATOR=emake
-PYTHON_COMPAT=( python3_{9..11} )
+PYTHON_COMPAT=( python3_{9..12} )
inherit cmake python-any-r1
DESCRIPTION="Automatic theorem prover for satisfiability modulo theories (SMT) problems"
^ permalink raw reply related [flat|nested] 16+ messages in thread
* [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/
@ 2024-09-22 8:19 Alfredo Tupone
0 siblings, 0 replies; 16+ messages in thread
From: Alfredo Tupone @ 2024-09-22 8:19 UTC (permalink / raw
To: gentoo-commits
commit: ae12690844146728289a3d499fa104e40fea6a5e
Author: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
AuthorDate: Sun Sep 22 08:18:26 2024 +0000
Commit: Alfredo Tupone <tupone <AT> gentoo <DOT> org>
CommitDate: Sun Sep 22 08:19:13 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ae126908
sci-mathematics/cvc4: fix build on musl
Closes: https://bugs.gentoo.org/934053
Signed-off-by: Alfredo Tupone <tupone <AT> gentoo.org>
sci-mathematics/cvc4/cvc4-1.8-r5.ebuild | 11 +++++++++++
1 file changed, 11 insertions(+)
diff --git a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
index 4870f7af7ba6..9bab754168e0 100644
--- a/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
+++ b/sci-mathematics/cvc4/cvc4-1.8-r5.ebuild
@@ -57,6 +57,17 @@ src_configure() {
-DENABLE_PROOFS="$(usex proofs ON OFF)"
)
cmake_src_configure
+ # Bug #934053 - build with musl
+ antlr3 "${S}"/src/parser/cvc/Cvc.g -fo "${BUILD_DIR}"/src/parser/cvc || die
+ sed -i \
+ -e "s|k = NULL|k = 0|g" \
+ -e "s|n = NULL|n = 0|g" \
+ -e "s|k1 = NULL|k1 = 0|g" \
+ -e "s|k2 = NULL|k2 = 0|g" \
+ -e "s|lo = NULL|lo = 0|g" \
+ -e "s|hi = NULL|hi = 0|g" \
+ "${BUILD_DIR}"/src/parser/cvc/CvcParser.c \
+ die
}
src_test() {
^ permalink raw reply related [flat|nested] 16+ messages in thread
end of thread, other threads:[~2024-09-22 8:19 UTC | newest]
Thread overview: 16+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2019-07-23 13:20 [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/cvc4/ Alfredo Tupone
-- strict thread matches above, loose matches on Subject: below --
2024-09-22 8:19 Alfredo Tupone
2024-01-19 21:32 Alfredo Tupone
2023-02-22 11:25 Alfredo Tupone
2022-12-05 13:32 Alfredo Tupone
2022-10-15 15:01 Sam James
2022-08-26 10:46 Sam James
2022-02-17 14:10 Alfredo Tupone
2022-02-09 1:38 Sam James
2022-02-08 8:56 Alfredo Tupone
2022-02-08 7:44 Alfredo Tupone
2022-02-05 11:22 Alfredo Tupone
2021-04-05 16:53 Andreas Sturmlechner
2021-01-20 7:32 Alfredo Tupone
2019-07-25 6:13 Alfredo Tupone
2018-07-18 6:29 Alfredo Tupone
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox