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 2019-02-13 22:49:08.000000000 +0100
|
|
|
|
|
+++ Makefile.in 2019-02-20 15:12:36.193480000 +0100
|
|
|
|
|
@@ -1801,7 +1801,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 2019-02-20 15:12:36.193652000 +0100
|
|
|
|
|
+++ gecode/third-party/boost/numeric/interval/hw_rounding.hpp 2019-02-20 15:15:07.754640000 +0100
|
|
|
|
|
@@ -21,7 +21,7 @@
|
|
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
// define appropriate specialization of rounding_control for built-in types
|
|
|
|
|
-#if defined(__x86_64__) && (defined(GECODE_BOOST_C99_ENABLED) || 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>
|
