diff options
Diffstat (limited to 'sci-mathematics/z3/z3-4.13.0.ebuild')
| -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}" |