diff options
author | Maciej Barć <xgqt@gentoo.org> | 2024-04-29 19:08:55 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2024-04-29 20:57:28 +0200 |
commit | 351b0d97c04df35ea8b9f1e70db4f4295f2b5afc (patch) | |
tree | 66b43f9f4dbfff6f95274512ff5a2a9d74e886e0 /sci-mathematics/stp | |
parent | sci-mathematics/alectryon: enable py3.12 compat (diff) | |
download | gentoo-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.ebuild | 44 |
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 } |