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 C6B25158010 for ; Mon, 6 Feb 2023 17:23:29 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 0C170E0867; Mon, 6 Feb 2023 17:23:29 +0000 (UTC) Received: from smtp.gentoo.org (mail.gentoo.org [IPv6:2001:470:ea4a:1:5054:ff:fec7:86e4]) (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 EB2B5E0867 for ; Mon, 6 Feb 2023 17:23:28 +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 388A5340AD2 for ; Mon, 6 Feb 2023 17:23:28 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 3ABD18A3 for ; Mon, 6 Feb 2023 17:23:25 +0000 (UTC) From: "Maciej Barć" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Maciej Barć" Message-ID: <1675704198.58bf1623e2f1be955a04a7b5adbbb03b79459fbd.xgqt@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/minisat/, sci-mathematics/minisat/files/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/minisat/files/minisat-2.2.1-musl.patch sci-mathematics/minisat/minisat-2.2.1-r1.ebuild X-VCS-Directories: sci-mathematics/minisat/files/ sci-mathematics/minisat/ X-VCS-Committer: xgqt X-VCS-Committer-Name: Maciej Barć X-VCS-Revision: 58bf1623e2f1be955a04a7b5adbbb03b79459fbd X-VCS-Branch: master Date: Mon, 6 Feb 2023 17:23:25 +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: ffc761b1-afc1-497c-a6c0-971bd8a2cc9e X-Archives-Hash: 82ef97027d00d667202f04873c51f137 commit: 58bf1623e2f1be955a04a7b5adbbb03b79459fbd Author: Maciej Barć gentoo org> AuthorDate: Mon Feb 6 16:14:41 2023 +0000 Commit: Maciej Barć gentoo org> CommitDate: Mon Feb 6 17:23:18 2023 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=58bf1623 sci-mathematics/minisat: fix build on musl Bug: https://github.com/stp/minisat/pull/6 Closes: https://bugs.gentoo.org/832519 Signed-off-by: Maciej Barć gentoo.org> .../minisat/files/minisat-2.2.1-musl.patch | 41 ++++++++++++++++++++++ sci-mathematics/minisat/minisat-2.2.1-r1.ebuild | 13 ++++--- 2 files changed, 50 insertions(+), 4 deletions(-) diff --git a/sci-mathematics/minisat/files/minisat-2.2.1-musl.patch b/sci-mathematics/minisat/files/minisat-2.2.1-musl.patch new file mode 100644 index 000000000000..3a25d5964318 --- /dev/null +++ b/sci-mathematics/minisat/files/minisat-2.2.1-musl.patch @@ -0,0 +1,41 @@ +From 4c8afcd6bfbf2cbdb5ebe271f20503a6d34d7d49 Mon Sep 17 00:00:00 2001 +From: =?UTF-8?q?Maciej=20Bar=C4=87?= +Date: Mon, 6 Feb 2023 17:09:18 +0100 +Subject: [PATCH] utils/System.*: use fpu_control only on glibc +MIME-Version: 1.0 +Content-Type: text/plain; charset=UTF-8 +Content-Transfer-Encoding: 8bit + +Bug: https://github.com/vprover/vampire/pull/432 +Signed-off-by: Maciej Barć +--- + minisat/utils/System.cc | 2 +- + minisat/utils/System.h | 2 +- + 2 files changed, 2 insertions(+), 2 deletions(-) + +diff --git a/minisat/utils/System.cc b/minisat/utils/System.cc +index 282f98ed..112708f7 100644 +--- a/minisat/utils/System.cc ++++ b/minisat/utils/System.cc +@@ -97,7 +97,7 @@ double Minisat::memUsedPeak(bool /*strictlyPeak*/) { return 0; } + + void Minisat::setX86FPUPrecision() + { +-#if defined(__linux__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE) && defined(_FPU_GETCW) ++#if defined(__GLIBC__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE) && defined(_FPU_GETCW) + // Only correct FPU precision on Linux architectures that needs and supports it: + fpu_control_t oldcw, newcw; + _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); +diff --git a/minisat/utils/System.h b/minisat/utils/System.h +index a51d4c2e..189fcbff 100644 +--- a/minisat/utils/System.h ++++ b/minisat/utils/System.h +@@ -21,7 +21,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA + #ifndef Minisat_System_h + #define Minisat_System_h + +-#if defined(__linux__) ++#if defined(__GLIBC__) + #include + #endif + diff --git a/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild b/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild index 15d260429e0f..ac28363ef0f5 100644 --- a/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild +++ b/sci-mathematics/minisat/minisat-2.2.1-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -6,10 +6,11 @@ EAPI=8 inherit cmake DESCRIPTION="Small yet efficient SAT solver with reference paper" -HOMEPAGE="http://minisat.se/Main.html" +HOMEPAGE="http://minisat.se/Main.html + https://github.com/stp/minisat/" SRC_URI="https://github.com/stp/${PN}/archive/releases/${PV}.tar.gz -> ${P}.tar.gz doc? ( http://minisat.se/downloads/MiniSat.pdf )" -S="${WORKDIR}/${PN}-releases-${PV}" +S="${WORKDIR}"/${PN}-releases-${PV} LICENSE="MIT" SLOT="0/${PV}" @@ -19,9 +20,13 @@ IUSE="doc" RDEPEND="sys-libs/zlib:=" DEPEND="${RDEPEND}" -PATCHES=( "${FILESDIR}"/${P}-cmake.patch ) +PATCHES=( + "${FILESDIR}"/${P}-cmake.patch + "${FILESDIR}"/${P}-musl.patch +) src_install() { cmake_src_install + use doc && dodoc "${DISTDIR}"/MiniSat.pdf }