rpms/cryptominisat
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Rebuild for GCC 4.7.

Browse Source
This commit is contained in:
Jerry James 2012-01-09 13:50:37 -07:00
parent 12bb101e73
commit 2009e951c2
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cryptominisat-x86.patch
View File

@ -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;

5
cryptominisat.spec
View File

@ -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