diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-08-07 01:48:15 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-08-07 01:51:36 +0200 |
| commit | 75cac060d43476807e769eb8f21dfeeb2c54d721 (patch) | |
| tree | 3600ff0dd85121b81a5a75fb62bd1a9d8eb7ac50 /sci-mathematics | |
| parent | dev-lang/neko: filter LTO (strict-aliasing) (diff) | |
| download | gentoo-75cac060d43476807e769eb8f21dfeeb2c54d721.tar.gz gentoo-75cac060d43476807e769eb8f21dfeeb2c54d721.tar.bz2 gentoo-75cac060d43476807e769eb8f21dfeeb2c54d721.zip | |
sci-mathematics/stp: filter LTO (ODR)
Closes: https://bugs.gentoo.org/863263
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/stp/stp-2.3.3-r1.ebuild | 8 |
1 files changed, 6 insertions, 2 deletions
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) |