commit: 75cac060d43476807e769eb8f21dfeeb2c54d721 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sat Aug 6 23:48:15 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Aug 6 23:51:36 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75cac060
sci-mathematics/stp: filter LTO (ODR) Closes: https://bugs.gentoo.org/863263 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/stp/stp-2.3.3-r1.ebuild | 8 ++++++-- 1 file 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)
