libs/minisat/00_PATCH_no_fpu_control.patch

   1 --- System.cc
   2 +++ System.cc
   3 @@ -97,17 +97,6 @@ double Minisat::memUsedPeak(bool) { return 0; }
   4  #endif
   5
   6
   7 -void Minisat::setX86FPUPrecision()
   8 -{
   9 -#if defined(__linux__) && defined(_FPU_EXTENDED) && defined(_FPU_DOUBLE) && defined(_FPU_GETCW)
  10 -    // Only correct FPU precision on Linux architectures that needs and supports it:
  11 -    fpu_control_t oldcw, newcw;
  12 -    _FPU_GETCW(oldcw); newcw = (oldcw & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(newcw);
  13 -    printf("WARNING: for repeatability, setting FPU to use double precision\n");
  14 -#endif
  15 -}
  16 -
  17 -
  18  #if !defined(_MSC_VER) && !defined(__MINGW32__)
  19  void Minisat::limitMemory(uint64_t max_mem_mb)
  20  {
  21 --- System.h
  22 +++ System.h
  23 @@ -21,10 +21,6 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
  24  #ifndef Minisat_System_h
  25  #define Minisat_System_h
  26
  27 -#if defined(__linux__)
  28 -#include <fpu_control.h>
  29 -#endif
  30 -
  31  #include "IntTypes.h"
  32
  33  //-------------------------------------------------------------------------------------------------
  34 @@ -36,9 +32,6 @@ static inline double cpuTime(void); // CPU-time in seconds.
  35  extern double memUsed();            // Memory in mega bytes (returns 0 for unsupported architectures).
  36  extern double memUsedPeak(bool strictlyPeak = false); // Peak-memory in mega bytes (returns 0 for unsupported architectures).
  37
  38 -extern void   setX86FPUPrecision(); // Make sure double's are represented with the same precision
  39 -                                    // in memory and registers.
  40 -
  41  extern void   limitMemory(uint64_t max_mem_mb); // Set a limit on total memory usage. The exact
  42                                                  // semantics varies depending on architecture.
  43