summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMaciej Barć <xgqt@gentoo.org>2024-04-29 19:08:55 +0200
committerMaciej Barć <xgqt@gentoo.org>2024-04-29 20:57:28 +0200
commit351b0d97c04df35ea8b9f1e70db4f4295f2b5afc (patch)
tree66b43f9f4dbfff6f95274512ff5a2a9d74e886e0 /sci-mathematics/stp
parentsci-mathematics/alectryon: enable py3.12 compat (diff)
downloadgentoo-351b0d97c04df35ea8b9f1e70db4f4295f2b5afc.tar.gz
gentoo-351b0d97c04df35ea8b9f1e70db4f4295f2b5afc.tar.bz2
gentoo-351b0d97c04df35ea8b9f1e70db4f4295f2b5afc.zip
sci-mathematics/stp: enable py3.12 compat
Closes: https://bugs.gentoo.org/929798 Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/stp')
-rw-r--r--sci-mathematics/stp/stp-2.3.3-r3.ebuild44
1 files changed, 26 insertions, 18 deletions
diff --git a/sci-mathematics/stp/stp-2.3.3-r3.ebuild b/sci-mathematics/stp/stp-2.3.3-r3.ebuild
index 3aa8309bf123..ae62721212d2 100644
--- a/sci-mathematics/stp/stp-2.3.3-r3.ebuild
+++ b/sci-mathematics/stp/stp-2.3.3-r3.ebuild
@@ -1,12 +1,12 @@
-# Copyright 1999-2023 Gentoo Authors
+# Copyright 1999-2024 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
-OC_COMMIT=119fe41a83bc455a24a11ecc9b78e7b13fcfcc45
-GT_COMMIT=2ad076167a676e3ed62f90b754b30fac5caa1f88
+OC_COMMIT="119fe41a83bc455a24a11ecc9b78e7b13fcfcc45"
+GT_COMMIT="2ad076167a676e3ed62f90b754b30fac5caa1f88"
-PYTHON_COMPAT=( python3_{10..11} )
+PYTHON_COMPAT=( python3_{10..12} )
inherit flag-o-matic python-single-r1 cmake
@@ -16,6 +16,7 @@ HOMEPAGE="https://stp.github.io/
SRC_URI="
https://github.com/stp/stp/archive/${PV}.tar.gz
-> ${P}.tar.gz
+
test? (
https://github.com/stp/OutputCheck/archive/${OC_COMMIT}.tar.gz
-> ${P}_OutputCheck.tar.gz
@@ -40,18 +41,24 @@ RDEPEND="
dev-libs/icu:=
sci-mathematics/cryptominisat:=
)
- python? ( ${PYTHON_DEPS} )
+ python? (
+ ${PYTHON_DEPS}
+ )
+"
+DEPEND="
+ ${RDEPEND}
"
-DEPEND="${RDEPEND}"
BDEPEND="
sys-apps/help2man
- test? ( dev-python/lit )
+ test? (
+ dev-python/lit
+ )
"
PATCHES=(
- "${FILESDIR}"/${P}-CMakeLists.txt-fix_cflags.patch
- "${FILESDIR}"/${P}-cstdint.patch
- "${FILESDIR}"/${P}-stp.py-library_path.patch
+ "${FILESDIR}/${P}-CMakeLists.txt-fix_cflags.patch"
+ "${FILESDIR}/${P}-cstdint.patch"
+ "${FILESDIR}/${P}-stp.py-library_path.patch"
)
pkg_setup() {
@@ -59,13 +66,14 @@ pkg_setup() {
}
src_unpack() {
- unpack ${P}.tar.gz
+ unpack "${P}.tar.gz"
if use test ; then
local i
for i in OutputCheck gtest ; do
- tar xf "${DISTDIR}"/${P}_${i}.tar.gz --strip-components=1 \
- -C "${S}"/utils/${i} || die "failed to unpack ${i}"
+ tar xf "${DISTDIR}/${P}_${i}.tar.gz" --strip-components=1 \
+ -C "${S}/utils/${i}" \
+ || die "failed to unpack ${i}"
done
fi
}
@@ -75,7 +83,7 @@ src_prepare() {
sed -i "s/set(LIBDIR lib/set(LIBDIR $(get_libdir)/" CMakeLists.txt || die
# Remove problematic test
- rm "${S}"/tests/query-files/misc-tests/no-query.cvc || die
+ rm "${S}/tests/query-files/misc-tests/no-query.cvc" || die
cmake_src_prepare
}
@@ -86,9 +94,9 @@ src_configure() {
local CMAKE_BUILD_TYPE
if use debug ; then
- CMAKE_BUILD_TYPE=Debug
+ CMAKE_BUILD_TYPE="Debug"
else
- CMAKE_BUILD_TYPE=Release
+ CMAKE_BUILD_TYPE="Release"
fi
local -a mycmakeargs=(
@@ -107,8 +115,8 @@ src_install() {
# Because Python files for tests (in BUILD_DIR) and those installed on the
# system differ, and are generated upon install, we have to wait for CMake
# to install them into the temporary image.
- use python && python_optimize "${D}/$(python_get_sitedir)"/stp
+ use python && python_optimize "${D}/$(python_get_sitedir)/stp"
- mv "${D}"/usr/man "${D}"/usr/share/man || die
+ mv "${D}/usr/man" "${D}/usr/share/man" || die
dodoc -r papers
}