From mboxrd@z Thu Jan 1 00:00:00 1970
Return-Path: <gentoo-commits+bounces-1607065-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 92C33158041
for <garchives@archives.gentoo.org>; Mon, 4 Mar 2024 04:14:40 +0000 (UTC)
Received: from pigeon.gentoo.org (localhost [127.0.0.1])
by pigeon.gentoo.org (Postfix) with SMTP id 589A9E2A4A;
Mon, 4 Mar 2024 04:14:39 +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) server-digest SHA256)
(No client certificate requested)
by pigeon.gentoo.org (Postfix) with ESMTPS id 3B486E2A4A
for <gentoo-commits@lists.gentoo.org>; Mon, 4 Mar 2024 04:14:39 +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) server-digest SHA256)
(No client certificate requested)
by smtp.gentoo.org (Postfix) with ESMTPS id 03188340441
for <gentoo-commits@lists.gentoo.org>; Mon, 4 Mar 2024 04:14:38 +0000 (UTC)
Received: from localhost.localdomain (localhost [IPv6:::1])
by oystercatcher.gentoo.org (Postfix) with ESMTP id 356F211CC
for <gentoo-commits@lists.gentoo.org>; Mon, 4 Mar 2024 04:14:36 +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: <1709525651.83e5cbb7ba3a7d3973cca29465fac8b777f96cc3.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.12.5.ebuild sci-mathematics/z3/z3-4.12.6.ebuild
X-VCS-Directories: sci-mathematics/z3/
X-VCS-Committer: sam
X-VCS-Committer-Name: Sam James
X-VCS-Revision: 83e5cbb7ba3a7d3973cca29465fac8b777f96cc3
X-VCS-Branch: master
Date: Mon, 4 Mar 2024 04:14:36 +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: 2ee18e9e-2ace-45bb-bcbd-6ff7b3bf28da
X-Archives-Hash: 3481dee0400a358a2d8e58d7c3f7b0c4
commit: 83e5cbb7ba3a7d3973cca29465fac8b777f96cc3
Author: Eli Schwartz <eschwartz93 <AT> gmail <DOT> com>
AuthorDate: Mon Mar 4 03:31:51 2024 +0000
Commit: Sam James <sam <AT> gentoo <DOT> org>
CommitDate: Mon Mar 4 04:14:11 2024 +0000
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=83e5cbb7
sci-mathematics/z3: mark as LTO-unsafe, strict-aliasing unsafe
The strict-aliasing violation happens only in a test program. However,
that does mean we cannot test that z3 works when built with LTO...
Closes: 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.12.5.ebuild | 14 +++++++++++++-
sci-mathematics/z3/z3-4.12.6.ebuild | 14 +++++++++++++-
2 files changed, 26 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/z3/z3-4.12.5.ebuild b/sci-mathematics/z3/z3-4.12.5.ebuild
index 646bf2695514..64ffaff192f5 100644
--- a/sci-mathematics/z3/z3-4.12.5.ebuild
+++ b/sci-mathematics/z3/z3-4.12.5.ebuild
@@ -5,7 +5,7 @@ EAPI=8
PYTHON_COMPAT=( python3_{10..12} )
-inherit cmake-multilib java-pkg-opt-2 python-single-r1
+inherit cmake-multilib flag-o-matic java-pkg-opt-2 python-single-r1
DESCRIPTION="An efficient theorem prover"
HOMEPAGE="https://github.com/Z3Prover/z3/"
@@ -37,6 +37,18 @@ 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}"
diff --git a/sci-mathematics/z3/z3-4.12.6.ebuild b/sci-mathematics/z3/z3-4.12.6.ebuild
index 951e88b0875b..f7df502b3d41 100644
--- a/sci-mathematics/z3/z3-4.12.6.ebuild
+++ b/sci-mathematics/z3/z3-4.12.6.ebuild
@@ -5,7 +5,7 @@ EAPI=8
PYTHON_COMPAT=( python3_{10..12} )
-inherit cmake-multilib java-pkg-opt-2 python-single-r1
+inherit cmake-multilib flag-o-matic java-pkg-opt-2 python-single-r1
DESCRIPTION="An efficient theorem prover"
HOMEPAGE="https://github.com/Z3Prover/z3/"
@@ -37,6 +37,18 @@ 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}"