From 9f1e205fb3f2f6c49a8d395b16728e211884af86 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maciej=20Bar=C4=87?= Date: Wed, 6 May 2026 10:16:54 +0200 Subject: [PATCH] dev-lang/souffle: bump PYTHON_COMPAT to py3.14 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Closes: https://bugs.gentoo.org/973825 Signed-off-by: Maciej Barć --- .../souffle/{souffle-2.5.ebuild => souffle-2.5-r1.ebuild} | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) rename dev-lang/souffle/{souffle-2.5.ebuild => souffle-2.5-r1.ebuild} (94%) diff --git a/dev-lang/souffle/souffle-2.5.ebuild b/dev-lang/souffle/souffle-2.5-r1.ebuild similarity index 94% rename from dev-lang/souffle/souffle-2.5.ebuild rename to dev-lang/souffle/souffle-2.5-r1.ebuild index 610e99ac8fba2..a47d5e6c95c83 100644 --- a/dev-lang/souffle/souffle-2.5.ebuild +++ b/dev-lang/souffle/souffle-2.5-r1.ebuild @@ -1,9 +1,9 @@ -# Copyright 1999-2025 Gentoo Authors +# Copyright 1999-2026 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 -PYTHON_COMPAT=( python3_{11..13} ) +PYTHON_COMPAT=( python3_{12..14} ) inherit bash-completion-r1 cmake java-pkg-opt-2 python-single-r1 @@ -14,7 +14,7 @@ HOMEPAGE="http://souffle-lang.github.io/ if [[ "${PV}" == *9999* ]] ; then inherit git-r3 - EGIT_REPO_URI="https://github.com/souffle-lang/${PN}.git" + EGIT_REPO_URI="https://github.com/souffle-lang/${PN}" else SRC_URI="https://github.com/souffle-lang/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" @@ -75,7 +75,6 @@ pkg_setup() { src_prepare() { unset LEX - cmake_src_prepare java-pkg-opt-2_src_prepare } @@ -118,6 +117,5 @@ src_configure() { src_install() { cmake_src_install - doman man/*.1 }