From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 ; 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 ; 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 ; 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 ; Fri, 8 Mar 2024 11:09:46 +0000 (UTC) From: "Sam James" 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" 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: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail 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 gmail com> AuthorDate: Fri Mar 8 10:32:14 2024 +0000 Commit: Sam James gentoo 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 gmail.com> Signed-off-by: Sam James 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}"