diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-03-08 13:07:48 +0000 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-03-08 13:07:48 +0000 |
commit | 7825305c5ddf11fffe24fa30453c4e8468f64305 (patch) | |
tree | f3c43caefa7210acc3d8fd79ac82f8ade47a8dc9 /sci-mathematics/z3/z3-4.13.0.ebuild | |
parent | dc22a05dc2db2827053483e8cab136b33b339307 (diff) |
gentoo auto-resync : 08:03:2024 - 13:07:48
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}" |