From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-1608535-garchives=archives.gentoo.org@lists.gentoo.org>
Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (2048 bits))
(No client certificate requested)
by finch.gentoo.org (Postfix) with ESMTPS id 98B24158041
for <garchives@archives.gentoo.org>; Fri, 8 Mar 2024 11:09:51 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id 5F3BEE29FC;
Fri, 8 Mar 2024 11:09:50 +0000 (UTC)
Received: from smtp.gentoo.org (woodpecker.gentoo.org [140.211.166.183])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits))
(No client certificate requested)
by pigeon.gentoo.org (Postfix) with ESMTPS id 3A40EE29FC
for <gentoo-commits@lists.gentoo.org>; Fri, 8 Mar 2024 11:09:50 +0000 (UTC)
Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52])
(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
key-exchange X25519 server-signature RSA-PSS (4096 bits))
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id 4DA0C34307A
for <gentoo-commits@lists.gentoo.org>; Fri, 8 Mar 2024 11:09:49 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 870A514F3
for <gentoo-commits@lists.gentoo.org>; Fri, 8 Mar 2024 11:09:46 +0000 (UTC)
From: "Sam James" <sam@gentoo.org>
To: gentoo-commits@lists.gentoo.org
Content-Transfer-Encoding: 8bit
Content-type: text/plain; charset=UTF-8
Reply-To: gentoo-dev@lists.gentoo.org, "Sam James" <sam@gentoo.org>
Message-ID: <1709896144.64b9a3a5ab0ff976dec9025f99a183f9ad8e657f.sam@gentoo>
Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/z3/
X-VCS-Repository: repo/gentoo
X-VCS-Files: sci-mathematics/z3/z3-4.13.0.ebuild
X-VCS-Directories: sci-mathematics/z3/
X-VCS-Committer: sam
X-VCS-Committer-Name: Sam James
X-VCS-Revision: 64b9a3a5ab0ff976dec9025f99a183f9ad8e657f
X-VCS-Branch: master
Date: Fri, 8 Mar 2024 11:09:46 +0000 (UTC)
Precedence: bulk
List-Post: <mailto:gentoo-commits@lists.gentoo.org>
List-Help: <mailto:gentoo-commits+help@lists.gentoo.org>
List-Unsubscribe: <mailto:gentoo-commits+unsubscribe@lists.gentoo.org>
List-Subscribe: <mailto:gentoo-commits+subscribe@lists.gentoo.org>
List-Id: Gentoo Linux mail <gentoo-commits.gentoo.org>
X-BeenThere: gentoo-commits@lists.gentoo.org
X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply
X-Archives-Salt: 023512de-5065-4d0e-b0ce-77c61d690187
X-Archives-Hash: 8abb63467020ab28df2f7c6ea0673adf
commit: 64b9a3a5ab0ff976dec9025f99a183f9ad8e657f
Author: Eli Schwartz <eschwartz93 <AT> gmail <DOT> com>
AuthorDate: Fri Mar 8 10:32:14 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Fri Mar 8 11:09:04 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=64b9a3a5
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 <AT> gmail.com>
Signed-off-by: Sam James <sam <AT> gentoo.org>
sci-mathematics/z3/z3-4.13.0.ebuild | 14 +-------------
1 file changed, 1 insertion(+), 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}"