diff options
| author |   Eli Schwartz <eschwartz93@gmail.com> | 2024-03-08 05:32:14 -0500 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2024-03-08 11:09:04 +0000 |
| commit | 64b9a3a5ab0ff976dec9025f99a183f9ad8e657f (patch) | |
| tree | a8b7d2ccafff592c87f4cafe8c2b32a7c3a2f55f /sci-mathematics/z3 | |
| parent | media-libs/libmypaint: make sure elibtoolize is applied (diff) | |
| download | gentoo-64b9a3a5ab0ff976dec9025f99a183f9ad8e657f.tar.gz gentoo-64b9a3a5ab0ff976dec9025f99a183f9ad8e657f.tar.bz2 gentoo-64b9a3a5ab0ff976dec9025f99a183f9ad8e657f.zip | |
sci-mathematics/z3: remove the filter-lto/fno-strict-aliasing
The fix for this was featured in version 4.13.0, yay.
Bug: https://bugs.gentoo.org/879327
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'sci-mathematics/z3')
| -rw-r--r-- | sci-mathematics/z3/z3-4.13.0.ebuild | 14 |
1 files changed, 1 insertions, 13 deletions
diff --git a/sci-mathematics/z3/z3-4.13.0.ebuild b/sci-mathematics/z3/z3-4.13.0.ebuild index f5b80b16a7e7..ea1e9651b9f5 100644 --- a/sci-mathematics/z3/z3-4.13.0.ebuild +++ b/sci-mathematics/z3/z3-4.13.0.ebuild @@ -5,7 +5,7 @@ EAPI=8 PYTHON_COMPAT=( python3_{10..12} ) -inherit cmake-multilib flag-o-matic java-pkg-opt-2 python-single-r1 +inherit cmake-multilib java-pkg-opt-2 python-single-r1 DESCRIPTION="An efficient theorem prover" HOMEPAGE="https://github.com/Z3Prover/z3/" @@ -37,18 +37,6 @@ src_prepare() { java-pkg-opt-2_src_prepare } -src_configure() { - # -Werror=strict-aliasing - # https://bugs.gentoo.org/879327 - # https://github.com/Z3Prover/z3/issues/7143 - # - # Do not trust it with LTO either. - append-flags -fno-strict-aliasing - filter-lto - - cmake-multilib_src_configure -} - multilib_src_configure() { local mycmakeargs=( -DCMAKE_INSTALL_DOCDIR="${EPREFIX}/usr/share/doc/${PF}" |