commit: c1dc1afc5592077b339f17e00e93b6bc2180f768 Author: Maciej Barć <xgqt <AT> gentoo <DOT> org> AuthorDate: Sat Aug 6 23:50:34 2022 +0000 Commit: Maciej Barć <xgqt <AT> gentoo <DOT> org> CommitDate: Sat Aug 6 23:51:56 2022 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=c1dc1afc
sci-mathematics/vampire: filter LTO (strict-aliasing) Closes: https://bugs.gentoo.org/863269 Signed-off-by: Maciej Barć <xgqt <AT> gentoo.org> sci-mathematics/vampire/vampire-4.6.1-r1.ebuild | 6 +++++- sci-mathematics/vampire/vampire-4.7.ebuild | 6 +++++- 2 files changed, 10 insertions(+), 2 deletions(-) diff --git a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild index 2f7ceabc3b2c..98b642f86d90 100644 --- a/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild +++ b/sci-mathematics/vampire/vampire-4.6.1-r1.ebuild @@ -3,7 +3,7 @@ EAPI=8 -inherit cmake +inherit flag-o-matic cmake DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" HOMEPAGE="https://vprover.github.io"; @@ -33,6 +33,10 @@ RDEPEND=" DEPEND="${RDEPEND}" src_configure() { + # -Werror=strict-aliasing warnings, bug #863269 + filter-lto + append-flags -fno-strict-aliasing + local CMAKE_BUILD_TYPE if use debug; then CMAKE_BUILD_TYPE=Debug diff --git a/sci-mathematics/vampire/vampire-4.7.ebuild b/sci-mathematics/vampire/vampire-4.7.ebuild index bd33eda2b980..19e7d9d57b7a 100644 --- a/sci-mathematics/vampire/vampire-4.7.ebuild +++ b/sci-mathematics/vampire/vampire-4.7.ebuild @@ -5,7 +5,7 @@ EAPI=8 H=2d02e4655e1b08d1ca9ee7c0aade40f59f046460 # "bump to 4.7" -inherit cmake +inherit flag-o-matic cmake DESCRIPTION="The Vampire Prover, theorem prover for first-order logic" HOMEPAGE="https://vprover.github.io"; @@ -37,6 +37,10 @@ RDEPEND=" DEPEND="${RDEPEND}" src_configure() { + # -Werror=strict-aliasing warnings, bug #863269 + filter-lto + append-flags -fno-strict-aliasing + local CMAKE_BUILD_TYPE if use debug ; then CMAKE_BUILD_TYPE=Debug
