Sophie: minisat2-2.0-10.20070721.fc15 src

minisat2-2.0-10.20070721.fc15.src.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

--- minisat2-070721.orig/simp/Main.C
+++ minisat2-070721/simp/Main.C
@@ -244,7 +244,7 @@
 int main(int argc, char** argv)
 {
     reportf("This is MiniSat 2.0 beta\n");
-#if defined(__linux__)
+#if defined(__linux__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE)
     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");