diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-08-07 02:11:03 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-08-07 02:11:03 +0100 |
| commit | 21005a6009e62933ab3199ef84aef68f82b2b8d7 (patch) | |
| tree | 51dec0ed7236ef9feb3563cb54700e631815cee0 /sci-mathematics/stp | |
| parent | 944b3df0f275eea0fd7808913d72a0b280df0c33 (diff) | |
gentoo auto-resync : 07:08:2022 - 02:11:02
Diffstat (limited to 'sci-mathematics/stp')
| -rw-r--r-- | sci-mathematics/stp/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/stp/stp-2.3.3-r1.ebuild | 8 |
2 files changed, 7 insertions, 3 deletions
diff --git a/sci-mathematics/stp/Manifest b/sci-mathematics/stp/Manifest index a3e1e0ee2d0d..725f20c6f849 100644 --- a/sci-mathematics/stp/Manifest +++ b/sci-mathematics/stp/Manifest @@ -3,5 +3,5 @@ AUX stp-stp.py-library_path.patch 372 BLAKE2B 1e36f48d2c403cdea156157826a1b3c3e4 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-r1.ebuild 2162 BLAKE2B 349a76a00f6a2e05b5984b87b6fd79b2ee233ec430aa4be21763200900293a578b08b0cd569cb1056c1b327c099b418e11782af0d7c51debd88bf4846965aee4 SHA512 a131a42160283c5d3326a325b8f884d830bbf9f851e4625f751f42362ca40e61e2eaa52147daf3764873ed85977d71bcf84fd52073d52e76bc3a4c55a18c21b9 +EBUILD stp-2.3.3-r1.ebuild 2226 BLAKE2B 75dcdf8ac6b409bbfa046c9f89d1577be646f0246de3bf716b91559954be4ae8e80c1466a7f12021336c318c9e06c13b58fd6ff1b9bffacb005e5c4a18c9a03a SHA512 a92f8a0834c4e479050bf2b52efbcf75914b855f99d6b8217952ffe172a90e2abf7a08cfd879c15350eddb6d996051d30ef43a6a336aa1d2b8539761f462a703 MISC metadata.xml 1110 BLAKE2B e13b9420b7f730e6b9e2571e3f4e8a48cf7f54b16fa767fce48099549071c4c819e16a5da25b6779c77a5a7a7f21c3ec61eeb2719867f874a1c4fa21b84e32f2 SHA512 aa3ddfd8d3bf4647f230f0ca55b6f70f9f82f2ae63fe21edad637397fb1bd2779241a2e439a48bed59bd1de11ef3b4e275731c6a90873ec5d86bb5897bf2a9f0 diff --git a/sci-mathematics/stp/stp-2.3.3-r1.ebuild b/sci-mathematics/stp/stp-2.3.3-r1.ebuild index 367251ea5f8f..67fbceb1ce9d 100644 --- a/sci-mathematics/stp/stp-2.3.3-r1.ebuild +++ b/sci-mathematics/stp/stp-2.3.3-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2022 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -8,7 +8,7 @@ GT_H=2ad076167a676e3ed62f90b754b30fac5caa1f88 PYTHON_COMPAT=( python3_{8,9,10} ) -inherit python-single-r1 cmake +inherit flag-o-matic python-single-r1 cmake DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors" HOMEPAGE="https://stp.github.io/" @@ -71,12 +71,16 @@ src_prepare() { } src_configure() { + # -Werror=odr warnings, bug #863263 + filter-lto + local CMAKE_BUILD_TYPE if use debug ; then CMAKE_BUILD_TYPE=Debug else CMAKE_BUILD_TYPE=Release fi + local mycmakeargs=( -DNOCRYPTOMINISAT=$(usex cryptominisat 'OFF' 'ON') # double negation -DENABLE_PYTHON_INTERFACE=$(usex python) |