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