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 EBB7515800F for ; Mon, 6 Feb 2023 17:23:30 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 84FECE086D; Mon, 6 Feb 2023 17:23:29 +0000 (UTC) Received: from smtp.gentoo.org (smtp.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 6E7B1E086D for ; Mon, 6 Feb 2023 17:23:29 +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 8176F340AE2 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 61B2B8A7 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.d7cebc801072df5274120a7f38644474e1168ed1.xgqt@gentoo> Subject: [gentoo-commits] repo/gentoo:master commit in: sci-mathematics/opensmt/, sci-mathematics/opensmt/files/ X-VCS-Repository: repo/gentoo X-VCS-Files: sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch sci-mathematics/opensmt/opensmt-2.4.3-r1.ebuild X-VCS-Directories: sci-mathematics/opensmt/ sci-mathematics/opensmt/files/ X-VCS-Committer: xgqt X-VCS-Committer-Name: Maciej Barć X-VCS-Revision: d7cebc801072df5274120a7f38644474e1168ed1 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: b9514058-fac6-4d92-a539-2eda728a3bd7 X-Archives-Hash: 632d816b6653d0cbbc9f984b044a8f33 commit: d7cebc801072df5274120a7f38644474e1168ed1 Author: Maciej Barć gentoo org> AuthorDate: Mon Feb 6 16:46:59 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=d7cebc80 sci-mathematics/opensmt: fix build on musl Bug: https://github.com/usi-verification-and-security/opensmt/pull/590 Closes: https://bugs.gentoo.org/890794 Signed-off-by: Maciej Barć gentoo.org> .../opensmt/files/opensmt-2.4.3-musl.patch | 132 +++++++++++++++++++++ sci-mathematics/opensmt/opensmt-2.4.3-r1.ebuild | 2 + 2 files changed, 134 insertions(+) diff --git a/sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch b/sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch new file mode 100644 index 000000000000..5f80a0de116c --- /dev/null +++ b/sci-mathematics/opensmt/files/opensmt-2.4.3-musl.patch @@ -0,0 +1,132 @@ +From e88b83b3b52ebc6ff4cdf1f92a876861fc2c5598 Mon Sep 17 00:00:00 2001 +From: =?UTF-8?q?Maciej=20Bar=C4=87?= +Date: Mon, 6 Feb 2023 17:27:34 +0100 +Subject: [PATCH] use fpu_control only on glibc +MIME-Version: 1.0 +Content-Type: text/plain; charset=UTF-8 +Content-Transfer-Encoding: 8bit + +Signed-off-by: Maciej Barć +--- + bin/opensmt.C | 4 ++-- + src/bin/opensmt.cc | 2 +- + src/minisat/core/Main.C | 4 ++-- + src/minisat/simp/Main.C | 4 ++-- + src/minisat/utils/System.h | 2 +- + src/parallel/opensmtSplitter.cc | 4 ++-- + 6 files changed, 10 insertions(+), 10 deletions(-) + +diff --git a/bin/opensmt.C b/bin/opensmt.C +index cb9c8943b..898a8fdd3 100644 +--- a/bin/opensmt.C ++++ b/bin/opensmt.C +@@ -44,7 +44,7 @@ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. + #include + #include + +-#if defined(__linux__) ++#if defined(__GLIBC__) + #include + #endif + +@@ -84,7 +84,7 @@ int main( int argc, char * argv[] ) + // the repeatability of experiments that might be compromised + // by the floating point unit approximations on doubles + // +-#if defined(__linux__) && !defined( SMTCOMP ) ++#if defined(__GLIBC__) && !defined( SMTCOMP ) + fpu_control_t oldcw, newcw; + _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); + #endif +diff --git a/src/bin/opensmt.cc b/src/bin/opensmt.cc +index 6db12ffd8..67bfcd712 100644 +--- a/src/bin/opensmt.cc ++++ b/src/bin/opensmt.cc +@@ -47,7 +47,7 @@ WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. + #endif + #endif // ENABLE_LINE_EDITING + +-#if defined(__linux__) ++#if defined(__GLIBC__) + #include + #endif + +diff --git a/src/minisat/core/Main.C b/src/minisat/core/Main.C +index acef32cd5..2c232b71b 100644 +--- a/src/minisat/core/Main.C ++++ b/src/minisat/core/Main.C +@@ -74,7 +74,7 @@ static inline uint64_t memUsed(void) { + static inline uint64_t memUsed() { return 0; } + #endif + +-#if defined(__linux__) ++#if defined(__GLIBC__) + #include + #endif + +@@ -287,7 +287,7 @@ int main(int argc, char** argv) + + + reportf("This is MiniSat 2.0 beta\n"); +-#if defined(__linux__) ++#if defined(__GLIBC__) + fpu_control_t oldcw, newcw; + _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); + reportf("WARNING: for repeatability, setting FPU to use double precision\n"); +diff --git a/src/minisat/simp/Main.C b/src/minisat/simp/Main.C +index b6d194631..a3f22fb4f 100644 +--- a/src/minisat/simp/Main.C ++++ b/src/minisat/simp/Main.C +@@ -74,7 +74,7 @@ static inline uint64_t memUsed(void) { + static inline uint64_t memUsed() { return 0; } + #endif + +-#if defined(__linux__) ++#if defined(__GLIBC__) + #include + #endif + +@@ -244,7 +244,7 @@ const char* hasPrefix(const char* str, const char* prefix) + int main(int argc, char** argv) + { + reportf("This is MiniSat 2.0 beta\n"); +-#if defined(__linux__) ++#if defined(__GLIBC__) + fpu_control_t oldcw, newcw; + _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); + reportf("WARNING: for repeatability, setting FPU to use double precision\n"); +diff --git a/src/minisat/utils/System.h b/src/minisat/utils/System.h +index 5f9dc3f53..4b7f9c9f5 100644 +--- a/src/minisat/utils/System.h ++++ b/src/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/src/parallel/opensmtSplitter.cc b/src/parallel/opensmtSplitter.cc +index 05246e187..4b8c01a1a 100644 +--- a/src/parallel/opensmtSplitter.cc ++++ b/src/parallel/opensmtSplitter.cc +@@ -27,7 +27,7 @@ + #endif + #endif // ENABLE_LINE_EDITING + +-#if defined(__linux__) ++#if defined(__GLIBC__) + #include + #endif + +@@ -55,7 +55,7 @@ int main( int argc, char * argv[] ) + // the repeatability of experiments that might be compromised + // by the floating point unit approximations on doubles + // +-#if defined(__linux__) ++#if defined(__GLIBC__) + fpu_control_t oldcw, newcw; + _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw); + #endif diff --git a/sci-mathematics/opensmt/opensmt-2.4.3-r1.ebuild b/sci-mathematics/opensmt/opensmt-2.4.3-r1.ebuild index b1e67e45cbad..d02cd8ed4430 100644 --- a/sci-mathematics/opensmt/opensmt-2.4.3-r1.ebuild +++ b/sci-mathematics/opensmt/opensmt-2.4.3-r1.ebuild @@ -36,6 +36,8 @@ BDEPEND=" test? ( dev-cpp/gtest ) " +PATCHES=( "${FILESDIR}"/${P}-musl.patch ) + src_prepare() { cmake_src_prepare