* [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/clingo/
@ 2022-04-28 8:08 Alessandro Barbieri
0 siblings, 0 replies; 3+ messages in thread
From: Alessandro Barbieri @ 2022-04-28 8:08 UTC (permalink / raw
To: gentoo-commits
commit: a012e64c3b312d625f2fef042234c275cf3351c2
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Thu Apr 28 08:00:57 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Thu Apr 28 08:00:57 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=a012e64c
sci-mathematics/clingo: fix header
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
sci-mathematics/clingo/clingo-5.5.1.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/clingo/clingo-5.5.1.ebuild b/sci-mathematics/clingo/clingo-5.5.1.ebuild
index f49bad27d..5d4640f45 100644
--- a/sci-mathematics/clingo/clingo-5.5.1.ebuild
+++ b/sci-mathematics/clingo/clingo-5.5.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Foundation
+# Copyright 1999-2022 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/clingo/
@ 2022-05-05 23:37 Alessandro Barbieri
0 siblings, 0 replies; 3+ messages in thread
From: Alessandro Barbieri @ 2022-05-05 23:37 UTC (permalink / raw
To: gentoo-commits
commit: f2e4c35a07884737da67a07e33f29c61625e1e92
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Thu May 5 18:01:22 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Thu May 5 23:37:52 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=f2e4c35a
sci-mathematics/clingo: system catch
Closes: https://bugs.gentoo.org/842798
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
sci-mathematics/clingo/clingo-5.5.1-r1.ebuild | 11 +++++++++--
1 file changed, 9 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild b/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild
index 087adc44c..50983d7ec 100644
--- a/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild
+++ b/sci-mathematics/clingo/clingo-5.5.1-r1.ebuild
@@ -6,7 +6,7 @@ EAPI=8
LUA_COMPAT=( lua5-{3..4} )
PYTHON_COMPAT=( python3_{8..10} ) # IDK how to pass pypy3
-inherit cmake lua-single python-single-r1 toolchain-funcs
+inherit cmake flag-o-matic lua-single python-single-r1 toolchain-funcs
DESCRIPTION="Integrated grounder and solver for answer set logic programs"
HOMEPAGE="
@@ -27,7 +27,10 @@ RDEPEND="
lua? ( ${LUA_DEPS} )
python? ( ${PYTHON_DEPS} )
"
-DEPEND="${RDEPEND}"
+DEPEND="
+ ${RDEPEND}
+ test? ( dev-cpp/catch:0 )
+"
BDEPEND="
>=dev-util/re2c-0.13.5
>=sys-devel/bison-2.5
@@ -48,10 +51,14 @@ pkg_setup() {
src_prepare() {
rm -r clasp || die
+ rm libreify/tests/catch.hpp || die
+ rm libclingo/tests/catch.hpp || die
+ rm libgringo/tests/catch.hpp || die
cmake_src_prepare
}
src_configure() {
+ append-cxxflags "-I/usr/include/catch2"
local mycmakeargs=(
-DCLINGO_BUILD_APPS=$(usex tools)
-DCLINGO_BUILD_EXAMPLES=$(usex examples)
^ permalink raw reply related [flat|nested] 3+ messages in thread
* [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/clingo/
@ 2022-05-28 12:53 Alessandro Barbieri
0 siblings, 0 replies; 3+ messages in thread
From: Alessandro Barbieri @ 2022-05-28 12:53 UTC (permalink / raw
To: gentoo-commits
commit: ab53997ce2434be0e47a5d8c8384ed0542cc69a3
Author: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
AuthorDate: Sat May 28 12:51:05 2022 +0000
Commit: Alessandro Barbieri <lssndrbarbieri <AT> gmail <DOT> com>
CommitDate: Sat May 28 12:53:33 2022 +0000
URL: https://gitweb.gentoo.org/repo/proj/guru.git/commit/?id=ab53997c
sci-mathematics/clingo: enable py3.11
Signed-off-by: Alessandro Barbieri <lssndrbarbieri <AT> gmail.com>
sci-mathematics/clingo/clingo-5.5.2.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/clingo/clingo-5.5.2.ebuild b/sci-mathematics/clingo/clingo-5.5.2.ebuild
index 55957c759..48020cf1f 100644
--- a/sci-mathematics/clingo/clingo-5.5.2.ebuild
+++ b/sci-mathematics/clingo/clingo-5.5.2.ebuild
@@ -4,7 +4,7 @@
EAPI=8
LUA_COMPAT=( lua5-{3..4} )
-PYTHON_COMPAT=( python3_{8..10} ) # IDK how to pass pypy3
+PYTHON_COMPAT=( python3_{8..11} ) # IDK how to pass pypy3
inherit cmake flag-o-matic lua-single python-single-r1 toolchain-funcs
^ permalink raw reply related [flat|nested] 3+ messages in thread
end of thread, other threads:[~2022-05-28 12:53 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-04-28 8:08 [gentoo-commits] repo/proj/guru:dev commit in: sci-mathematics/clingo/ Alessandro Barbieri
-- strict thread matches above, loose matches on Subject: below --
2022-05-05 23:37 Alessandro Barbieri
2022-05-28 12:53 Alessandro Barbieri
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox