You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

24 lines
1.2 KiB

Index: Makefile.in
--- Makefile.in.orig 2017-04-10 13:21:37.000000000 +0200
+++ Makefile.in 2018-01-21 00:25:23.270967000 +0100
@@ -1784,7 +1784,7 @@
$(FLATZINCEXE): $(FLATZINCEXEOBJ) $(FLATZINCEXERES) $(ALLLIB)
$(CXX) @EXEOUTPUT@$@ $(FLATZINCEXEOBJ) $(FLATZINCEXERES) \
$(DLLPATH) $(CXXFLAGS) \
- $(LINKALL) $(GLDFLAGS) $(LINKSTATICQT)
+ $(LINKALL) $(GLDFLAGS) $(LINKSTATICQT) $(LINKMPFR)
$(FIXMANIFEST) $@.manifest
$(MANIFEST) -manifest $@.manifest -outputresource:$@\;1
Index: gecode/third-party/boost/numeric/interval/hw_rounding.hpp
--- gecode/third-party/boost/numeric/interval/hw_rounding.hpp.orig 2014-10-03 15:34:37.000000000 +0200
+++ gecode/third-party/boost/numeric/interval/hw_rounding.hpp 2018-01-21 00:27:39.487390000 +0100
@@ -17,7 +17,7 @@
#define GECODE_BOOST_NUMERIC_INTERVAL_NO_HARDWARE
// define appropriate specialization of rounding_control for built-in types
-#if defined(__x86_64__) && (defined(__USE_ISOC99) || defined(__APPLE__))
+#if 1
# include <gecode/third-party/boost/numeric/interval/detail/c99_rounding_control.hpp>
#elif defined(__i386__) || defined(_M_IX86) || defined(__BORLANDC__) || defined(_M_X64)
# include <gecode/third-party/boost/numeric/interval/detail/x86_rounding_control.hpp>