diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2023-02-22 02:26:51 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2023-02-22 02:26:51 +0000 |
| commit | 1b013d9d13c304bf66a4a6c16d272d25bc480b83 (patch) | |
| tree | 8748fc5fde3f3f10b81d81c07be105dbe75b1339 /sci-mathematics/stp | |
| parent | d37f8725bb68034ef10d8882fb4411a49f2f666e (diff) | |
gentoo auto-resync : 22:02:2023 - 02:26:50
Diffstat (limited to 'sci-mathematics/stp')
| -rw-r--r-- | sci-mathematics/stp/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/stp/stp-2.3.3-r3.ebuild (renamed from sci-mathematics/stp/stp-2.3.3-r2.ebuild) | 28 |
2 files changed, 18 insertions, 12 deletions
diff --git a/sci-mathematics/stp/Manifest b/sci-mathematics/stp/Manifest index 8a7376955e37..b86e474e477a 100644 --- a/sci-mathematics/stp/Manifest +++ b/sci-mathematics/stp/Manifest @@ -4,5 +4,5 @@ AUX stp-2.3.3-stp.py-library_path.patch 372 BLAKE2B 1e36f48d2c403cdea156157826a1 DIST stp-2.3.3.tar.gz 2577550 BLAKE2B 9ebedf3cb8e6b50d037cfacbc14826bd4e6505d29a53b1fcc6580749f0637fe5f96619c166babdb3a52b18fb6337e49c02f5693e233effe84d0131d0e7402381 SHA512 a0b1bf419d8230e40ce0aee90d9c8c9d814aca300831c24b3576c75623362942abf20673c419f9f0ea1e0505bfae000dc65fdd818179f5759879b0b255f1b99a DIST stp-2.3.3_OutputCheck.tar.gz 12002 BLAKE2B f8fafba8f7957f3d0ee480b9e1e8c8923c373cf134512d6329adf84a96f3177ad07d00eae4dc6dd8d4b09ca82dfc8b425602f1926e3f88ccb2556b4b7121e5b9 SHA512 36012ae2b2aee1ff3f36ba1678a4bcbfeb590e01c2042ca35eb2f49b6a890b767c1809d1415e7b03f2118204361f834ad9caf70319b59fd14b2c140bf858d16e DIST stp-2.3.3_gtest.tar.gz 469100 BLAKE2B 386444657d3f23e54f01dac8e0ac36da4d97c3eebcc8cf79bfc754c474a5ed64765a0ad389fef358667e468469c47d02a407e13e6882d426a4defb0102e4a758 SHA512 2fc79fe9c8a4e0487e7e76db9508fd2207df0cfe3940a51aeac32e4440afab9e265bfe553b1cd66086cd5a574d8bf99dbb9e1d9c4a70fafd7b31f38825914aa1 -EBUILD stp-2.3.3-r2.ebuild 2609 BLAKE2B 03a1d24e349a00040b6a8b7e14f2c9ced088efdd5b44c08df09f94465b23af2d4d1576365003c29c3d6182ca9030e653a8c351d3d638feeb0de7dcfd031d2e4e SHA512 9f75a34cbe4f12494ca7fce165411a148dd652be3169ab1c7e7d2a375a2c52fd2296493de44c941277d1b218a2e67905285531ff9cd42a4679d44a1bfe517619 +EBUILD stp-2.3.3-r3.ebuild 2647 BLAKE2B 68f27fc8c9fc005aad547307226e33f257d0a4711025e15773b715c736816184f05fc1538f69374a1593ff4680e35c68a5b525807416d278afb81f9a3cc1f87a SHA512 c8756d525b05b48ff623dbe098495a8c2d610fbbda267918d93ac522c038aabdfa65d595959835aaa3983a667e04d75561339d25b34c56bfb4600694e9dc7387 MISC metadata.xml 1110 BLAKE2B e13b9420b7f730e6b9e2571e3f4e8a48cf7f54b16fa767fce48099549071c4c819e16a5da25b6779c77a5a7a7f21c3ec61eeb2719867f874a1c4fa21b84e32f2 SHA512 aa3ddfd8d3bf4647f230f0ca55b6f70f9f82f2ae63fe21edad637397fb1bd2779241a2e439a48bed59bd1de11ef3b4e275731c6a90873ec5d86bb5897bf2a9f0 diff --git a/sci-mathematics/stp/stp-2.3.3-r2.ebuild b/sci-mathematics/stp/stp-2.3.3-r3.ebuild index 000e5bef36f9..3aa8309bf123 100644 --- a/sci-mathematics/stp/stp-2.3.3-r2.ebuild +++ b/sci-mathematics/stp/stp-2.3.3-r3.ebuild @@ -3,21 +3,26 @@ EAPI=8 -OC_H=119fe41a83bc455a24a11ecc9b78e7b13fcfcc45 -GT_H=2ad076167a676e3ed62f90b754b30fac5caa1f88 +OC_COMMIT=119fe41a83bc455a24a11ecc9b78e7b13fcfcc45 +GT_COMMIT=2ad076167a676e3ed62f90b754b30fac5caa1f88 -PYTHON_COMPAT=( python3_{9,10} ) +PYTHON_COMPAT=( python3_{10..11} ) inherit flag-o-matic python-single-r1 cmake DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors" HOMEPAGE="https://stp.github.io/ https://github.com/stp/stp/" -SRC_URI="https://github.com/stp/stp/archive/${PV}.tar.gz -> ${P}.tar.gz +SRC_URI=" + https://github.com/stp/stp/archive/${PV}.tar.gz + -> ${P}.tar.gz test? ( - https://github.com/stp/OutputCheck/archive/${OC_H}.tar.gz -> ${P}_OutputCheck.tar.gz - https://github.com/stp/googletest/archive/${GT_H}.tar.gz -> ${P}_gtest.tar.gz - )" + https://github.com/stp/OutputCheck/archive/${OC_COMMIT}.tar.gz + -> ${P}_OutputCheck.tar.gz + https://github.com/stp/googletest/archive/${GT_COMMIT}.tar.gz + -> ${P}_gtest.tar.gz + ) +" LICENSE="GPL-2+ MIT" SLOT="0/${PV}" @@ -38,7 +43,10 @@ RDEPEND=" python? ( ${PYTHON_DEPS} ) " DEPEND="${RDEPEND}" -BDEPEND="test? ( dev-python/lit )" +BDEPEND=" + sys-apps/help2man + test? ( dev-python/lit ) +" PATCHES=( "${FILESDIR}"/${P}-CMakeLists.txt-fix_cflags.patch @@ -46,8 +54,6 @@ PATCHES=( "${FILESDIR}"/${P}-stp.py-library_path.patch ) -#include <cstdint> - pkg_setup() { use python && python-single-r1_pkg_setup } @@ -85,7 +91,7 @@ src_configure() { CMAKE_BUILD_TYPE=Release fi - local mycmakeargs=( + local -a mycmakeargs=( -DTEST_C_API=OFF # C API test fail -DNOCRYPTOMINISAT=$(usex cryptominisat 'OFF' 'ON') # double negation -DENABLE_PYTHON_INTERFACE=$(usex python) |