| 1 |
commit: c1dc1afc5592077b339f17e00e93b6bc2180f768 |
| 2 |
Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 3 |
AuthorDate: Sat Aug 6 23:50:34 2022 +0000 |
| 4 |
Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sat Aug 6 23:51:56 2022 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c1dc1afc |
| 7 |
|
| 8 |
sci-mathematics/vampire: filter LTO (strict-aliasing) |
| 9 |
|
| 10 |
Closes: https://bugs.gentoo.org/863269 |
| 11 |
Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> |
| 12 |
|
| 13 |
sci-mathematics/vampire/vampire-4.6.1-r1.ebuild | 6 +++++- |
| 14 |
sci-mathematics/vampire/vampire-4.7.ebuild | 6 +++++- |
| 15 |
2 files changed, 10 insertions(+), 2 deletions(-) |
| 16 |
|
| 17 |
diff --git a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild |
| 18 |
index 2f7ceabc3b2c..98b642f86d90 100644 |
| 19 |
--- a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild |
| 20 |
+++ b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild |
| 21 |
@@ -3,7 +3,7 @@ |
| 22 |
|
| 23 |
EAPI=8 |
| 24 |
|
| 25 |
-inherit cmake |
| 26 |
+inherit flag-o-matic cmake |
| 27 |
|
| 28 |
DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" |
| 29 |
HOMEPAGE="https://vprover.github.io" |
| 30 |
@@ -33,6 +33,10 @@ RDEPEND=" |
| 31 |
DEPEND="${RDEPEND}" |
| 32 |
|
| 33 |
src_configure() { |
| 34 |
+ # -Werror=strict-aliasing warnings, bug #863269 |
| 35 |
+ filter-lto |
| 36 |
+ append-flags -fno-strict-aliasing |
| 37 |
+ |
| 38 |
local CMAKE_BUILD_TYPE |
| 39 |
if use debug; then |
| 40 |
CMAKE_BUILD_TYPE=Debug |
| 41 |
|
| 42 |
diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7.ebuild |
| 43 |
index bd33eda2b980..19e7d9d57b7a 100644 |
| 44 |
--- a/sci-mathematics/vampire/vampire-4.7.ebuild |
| 45 |
+++ b/sci-mathematics/vampire/vampire-4.7.ebuild |
| 46 |
@@ -5,7 +5,7 @@ EAPI=8 |
| 47 |
|
| 48 |
H=2d02e4655e1b08d1ca9ee7c0aade40f59f046460 # "bump to 4.7" |
| 49 |
|
| 50 |
-inherit cmake |
| 51 |
+inherit flag-o-matic cmake |
| 52 |
|
| 53 |
DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" |
| 54 |
HOMEPAGE="https://vprover.github.io" |
| 55 |
@@ -37,6 +37,10 @@ RDEPEND=" |
| 56 |
DEPEND="${RDEPEND}" |
| 57 |
|
| 58 |
src_configure() { |
| 59 |
+ # -Werror=strict-aliasing warnings, bug #863269 |
| 60 |
+ filter-lto |
| 61 |
+ append-flags -fno-strict-aliasing |
| 62 |
+ |
| 63 |
local CMAKE_BUILD_TYPE |
| 64 |
if use debug ; then |
| 65 |
CMAKE_BUILD_TYPE=Debug |
Archives