From 2009e951c27e62b7ca8c593076d627e55b2b33f1 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Mon, 9 Jan 2012 13:50:37 -0700
Subject: [PATCH] Rebuild for GCC 4.7.

---
 cryptominisat-x86.patch | 2 +-
 cryptominisat.spec      | 5 ++++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/cryptominisat-x86.patch b/cryptominisat-x86.patch
index df0b237..c11566e 100644
--- a/cryptominisat-x86.patch
+++ b/cryptominisat-x86.patch
@@ -6,7 +6,7 @@ diff -up cryptominisat-2.9.1/Solver/Main.cpp.x86 cryptominisat-2.9.1/Solver/Main
  void Main::setDoublePrecision(const uint32_t verbosity)
  {
 -    #if defined(__linux__)
-+    #if defined(__linux__) && (defined(__i386__) || defined(__x86_64__))
++    #if defined(__linux__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE)
      fpu_control_t oldcw, newcw;
      _FPU_GETCW(oldcw);
      newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE;
diff --git a/cryptominisat.spec b/cryptominisat.spec
index aa44ce4..5ffeb7f 100644
--- a/cryptominisat.spec
+++ b/cryptominisat.spec
@@ -1,6 +1,6 @@
 Name:           cryptominisat
 Version:        2.9.1
-Release:        2%{?dist}
+Release:        3%{?dist}
 Summary:        SAT solver
 
 # Some source files were borrowed from minisat2, which is MIT-licensed.
@@ -89,6 +89,9 @@ LD_LIBRARY_PATH=../Solver/.libs ../cryptominisat --nosolprint --verbosity=1 APro
 %{_libdir}/lib%{name}-%{version}.so
 
 %changelog
+* Mon Jan  9 2012 Jerry James <loganjerry@gmail.com> - 2.9.1-3
+- Rebuild for GCC 4.7
+
 * Mon Dec 19 2011 Dan Horák <dan[at]danny.cz> - 2.9.1-2
 - FPU handling is x86 specific
 - set library path so the test is run