diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-08-07 01:50:34 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-08-07 01:51:56 +0200 |
| commit | c1dc1afc5592077b339f17e00e93b6bc2180f768 (patch) | |
| tree | cecfd9bbe2f8be2bf8ef4cb261f8559d3e75d50c /sci-mathematics | |
| parent | sci-mathematics/stp: filter LTO (ODR) (diff) | |
| download | gentoo-c1dc1afc5592077b339f17e00e93b6bc2180f768.tar.gz gentoo-c1dc1afc5592077b339f17e00e93b6bc2180f768.tar.bz2 gentoo-c1dc1afc5592077b339f17e00e93b6bc2180f768.zip | |
sci-mathematics/vampire: filter LTO (strict-aliasing)
Closes: https://bugs.gentoo.org/863269
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/vampire/vampire-4.6.1-r1.ebuild | 6 | ||||
| -rw-r--r-- | 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 |