From c9f3ec32c92971bd193147a98a956b6876caf1be Mon Sep 17 00:00:00 2001
From: Petr Ambroz <petrambroz@icloud.com>
Date: Tue, 5 Nov 2024 12:29:01 +0000
Subject: [PATCH 2/3] fix FPU control preventing compilation on ARM CPUs

---
 parallel/Main.cc | 2 +-
 simp/Main.cc     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/parallel/Main.cc b/parallel/Main.cc
index 7f224a8..00d044f 100644
--- a/parallel/Main.cc
+++ b/parallel/Main.cc
@@ -97,7 +97,7 @@ int main(int argc, char** argv)
         setUsageHelp("c USAGE: %s [options] <input-file> <result-output-file>\n\n  where input may be either in plain or gzipped DIMACS.\n");
         // printf("This is MiniSat 2.0 beta\n");
         
-#if defined(__linux__)
+#if defined(__linux__) && (defined(__i386__) || defined(__x86_64__))
         fpu_control_t oldcw, newcw;
         _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);
         printf("c WARNING: for repeatability, setting FPU to use double precision\n");
diff --git a/simp/Main.cc b/simp/Main.cc
index c2327df..8302179 100644
--- a/simp/Main.cc
+++ b/simp/Main.cc
@@ -122,7 +122,7 @@ int main(int argc, char** argv)
       setUsageHelp("c USAGE: %s [options] <input-file> <result-output-file>\n\n  where input may be either in plain or gzipped DIMACS.\n");
 
 
-#if defined(__linux__)
+#if defined(__linux__) && (defined(__i386__) || defined(__x86_64__))
         fpu_control_t oldcw, newcw;
         _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);
         //printf("c WARNING: for repeatability, setting FPU to use double precision\n");
-- 
2.47.0

