[cryptominisat] Rebuild for GCC 4.7.
Jerry James
jjames at fedoraproject.org
Mon Jan 9 20:50:44 UTC 2012
commit 2009e951c27e62b7ca8c593076d627e55b2b33f1
Author: Jerry James <loganjerry at gmail.com>
Date: Mon Jan 9 13:50:37 2012 -0700
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 at 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
More information about the scm-commits
mailing list