| 1 |
commit: 75cac060d43476807e769eb8f21dfeeb2c54d721 |
| 2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sat Aug 6 23:48:15 2022 +0000 |
| 4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat Aug 6 23:51:36 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=75cac060 |
| 7 |
|
| 8 |
sci-mathematics/stp: filter LTO (ODR) |
| 9 |
|
| 10 |
Closes: https://bugs.gentoo.org/863263 |
| 11 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
| 12 |
|
| 13 |
sci-mathematics/stp/stp-2.3.3-r1.ebuild | 8 ++++++-- |
| 14 |
1 file changed, 6 insertions(+), 2 deletions(-) |
| 15 |
|
| 16 |
diff --git a/sci-mathematics/stp/stp-2.3.3-r1.ebuild b/sci-mathematics/stp/stp-2.3.3-r1.ebuild |
| 17 |
index 367251ea5f8f..67fbceb1ce9d 100644 |
| 18 |
--- a/sci-mathematics/stp/stp-2.3.3-r1.ebuild |
| 19 |
+++ b/sci-mathematics/stp/stp-2.3.3-r1.ebuild |
| 20 |
@@ -1,4 +1,4 @@ |
| 21 |
-# Copyright 1999-2021 Gentoo Authors |
| 22 |
+# Copyright 1999-2022 Gentoo Authors |
| 23 |
# Distributed under the terms of the GNU General Public License v2 |
| 24 |
|
| 25 |
EAPI=8 |
| 26 |
@@ -8,7 +8,7 @@ GT_H=2ad076167a676e3ed62f90b754b30fac5caa1f88 |
| 27 |
|
| 28 |
PYTHON_COMPAT=( python3_{8,9,10} ) |
| 29 |
|
| 30 |
-inherit python-single-r1 cmake |
| 31 |
+inherit flag-o-matic python-single-r1 cmake |
| 32 |
|
| 33 |
DESCRIPTION="Simple Theorem Prover, an efficient SMT solver for bitvectors" |
| 34 |
HOMEPAGE="https://stp.github.io/" |
| 35 |
@@ -71,12 +71,16 @@ src_prepare() { |
| 36 |
} |
| 37 |
|
| 38 |
src_configure() { |
| 39 |
+ # -Werror=odr warnings, bug #863263 |
| 40 |
+ filter-lto |
| 41 |
+ |
| 42 |
local CMAKE_BUILD_TYPE |
| 43 |
if use debug ; then |
| 44 |
CMAKE_BUILD_TYPE=Debug |
| 45 |
else |
| 46 |
CMAKE_BUILD_TYPE=Release |
| 47 |
fi |
| 48 |
+ |
| 49 |
local mycmakeargs=( |
| 50 |
-DNOCRYPTOMINISAT=$(usex cryptominisat 'OFF' 'ON') # double negation |
| 51 |
-DENABLE_PYTHON_INTERFACE=$(usex python) |
Archives