diff options
Diffstat (limited to 'CGAL-Valgrind-Enable-Hack.patch')
| -rw-r--r-- | CGAL-Valgrind-Enable-Hack.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/CGAL-Valgrind-Enable-Hack.patch b/CGAL-Valgrind-Enable-Hack.patch deleted file mode 100644 index 90733fc..0000000 --- a/CGAL-Valgrind-Enable-Hack.patch +++ /dev/null @@ -1,16 +0,0 @@ ---- CGAL-3.4/include/CGAL/Interval_nt.h -+++ CGAL-3.4/include/CGAL/Interval_nt.h -@@ -149,11 +149,13 @@ - // The macros CGAL_IA_MUL and CGAL_IA_DIV stop constant propagation only - // on the second argument, so if -fno-rounding-math, the compiler optimizes - // the 2 negations and we get wrong rounding. -+#if 0 - typename Interval_nt<>::Internal_protector P; - CGAL_assertion_msg(-CGAL_IA_MUL(-1.1, 10.1) != CGAL_IA_MUL(1.1, 10.1), - "Wrong rounding: did you forget the -frounding-math option if you use GCC?"); - CGAL_assertion_msg(-CGAL_IA_DIV(-1, 10) != CGAL_IA_DIV(1, 10), - "Wrong rounding: did you forget the -frounding-math option if you use GCC?"); -+#endif - } - }; - |