diff options
| -rw-r--r-- | patches/ppl/0.11.2/500-ptrdiff_t.patch | 95 |
1 files changed, 95 insertions, 0 deletions
diff --git a/patches/ppl/0.11.2/500-ptrdiff_t.patch b/patches/ppl/0.11.2/500-ptrdiff_t.patch new file mode 100644 index 00000000..af26cf95 --- /dev/null +++ b/patches/ppl/0.11.2/500-ptrdiff_t.patch @@ -0,0 +1,95 @@ +From: Bernhard Walle <bernhard@bwalle.de> +Subject: Fix compilation with gcc 4.9 (ptrdiff_t errors) + +This is a backport of following patch in ppl git + + commit 61d4e14dfd9f1121e9b4521dead5728b2424dd7c + Author: Roberto Bagnara <bagnara@cs.unipr.it> + Date: Tue Apr 29 21:51:43 2014 +0200 + + Added missing inclusions. Use std::ptrdiff_t. + (Thanks to Paulo Cesar Pereira de Andrade.) + +--- + src/Congruence_System.defs.hh | 3 ++- + src/Constraint_System.defs.hh | 3 ++- + src/Generator_System.defs.hh | 3 ++- + src/Grid_Generator_System.defs.hh | 3 ++- + 4 files changed, 8 insertions(+), 4 deletions(-) + +--- a/src/Grid_Generator_System.defs.hh ++++ b/src/Grid_Generator_System.defs.hh +@@ -30,6 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */ + #include "Variables_Set.types.hh" + #include "Grid.types.hh" + #include <iosfwd> ++#include <cstddef> + + namespace Parma_Polyhedra_Library { + +@@ -267,7 +268,7 @@ public: + class const_iterator + : public std::iterator<std::forward_iterator_tag, + Grid_Generator, +- ptrdiff_t, ++ std::ptrdiff_t, + const Grid_Generator*, + const Grid_Generator&>, + private Generator_System::const_iterator { +--- a/src/Congruence_System.defs.hh ++++ b/src/Congruence_System.defs.hh +@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */ + #include "Grid.types.hh" + #include "Grid_Certificate.types.hh" + #include <iosfwd> ++#include <cstddef> + + namespace Parma_Polyhedra_Library { + +@@ -235,7 +236,7 @@ public: + class const_iterator + : public std::iterator<std::forward_iterator_tag, + Congruence, +- ptrdiff_t, ++ std::ptrdiff_t, + const Congruence*, + const Congruence&> { + public: +--- a/src/Constraint_System.defs.hh ++++ b/src/Constraint_System.defs.hh +@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */ + #include "Congruence_System.types.hh" + #include <iterator> + #include <iosfwd> ++#include <cstddef> + + namespace Parma_Polyhedra_Library { + +@@ -204,7 +205,7 @@ public: + class const_iterator + : public std::iterator<std::forward_iterator_tag, + Constraint, +- ptrdiff_t, ++ std::ptrdiff_t, + const Constraint*, + const Constraint&> { + public: +--- a/src/Generator_System.defs.hh ++++ b/src/Generator_System.defs.hh +@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */ + #include "Polyhedron.types.hh" + #include "Poly_Con_Relation.defs.hh" + #include <iosfwd> ++#include <cstddef> + + namespace Parma_Polyhedra_Library { + +@@ -250,7 +251,7 @@ public: + class const_iterator + : public std::iterator<std::forward_iterator_tag, + Generator, +- ptrdiff_t, ++ std::ptrdiff_t, + const Generator*, + const Generator&> { + public: |