1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/patches/ppl/0.11.2/500-ptrdiff_t.patch Sun May 11 13:00:36 2014 +0200
1.3 @@ -0,0 +1,95 @@
1.4 +From: Bernhard Walle <bernhard@bwalle.de>
1.5 +Subject: Fix compilation with gcc 4.9 (ptrdiff_t errors)
1.6 +
1.7 +This is a backport of following patch in ppl git
1.8 +
1.9 + commit 61d4e14dfd9f1121e9b4521dead5728b2424dd7c
1.10 + Author: Roberto Bagnara <bagnara@cs.unipr.it>
1.11 + Date: Tue Apr 29 21:51:43 2014 +0200
1.12 +
1.13 + Added missing inclusions. Use std::ptrdiff_t.
1.14 + (Thanks to Paulo Cesar Pereira de Andrade.)
1.15 +
1.16 +---
1.17 + src/Congruence_System.defs.hh | 3 ++-
1.18 + src/Constraint_System.defs.hh | 3 ++-
1.19 + src/Generator_System.defs.hh | 3 ++-
1.20 + src/Grid_Generator_System.defs.hh | 3 ++-
1.21 + 4 files changed, 8 insertions(+), 4 deletions(-)
1.22 +
1.23 +--- a/src/Grid_Generator_System.defs.hh
1.24 ++++ b/src/Grid_Generator_System.defs.hh
1.25 +@@ -30,6 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */
1.26 + #include "Variables_Set.types.hh"
1.27 + #include "Grid.types.hh"
1.28 + #include <iosfwd>
1.29 ++#include <cstddef>
1.30 +
1.31 + namespace Parma_Polyhedra_Library {
1.32 +
1.33 +@@ -267,7 +268,7 @@ public:
1.34 + class const_iterator
1.35 + : public std::iterator<std::forward_iterator_tag,
1.36 + Grid_Generator,
1.37 +- ptrdiff_t,
1.38 ++ std::ptrdiff_t,
1.39 + const Grid_Generator*,
1.40 + const Grid_Generator&>,
1.41 + private Generator_System::const_iterator {
1.42 +--- a/src/Congruence_System.defs.hh
1.43 ++++ b/src/Congruence_System.defs.hh
1.44 +@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
1.45 + #include "Grid.types.hh"
1.46 + #include "Grid_Certificate.types.hh"
1.47 + #include <iosfwd>
1.48 ++#include <cstddef>
1.49 +
1.50 + namespace Parma_Polyhedra_Library {
1.51 +
1.52 +@@ -235,7 +236,7 @@ public:
1.53 + class const_iterator
1.54 + : public std::iterator<std::forward_iterator_tag,
1.55 + Congruence,
1.56 +- ptrdiff_t,
1.57 ++ std::ptrdiff_t,
1.58 + const Congruence*,
1.59 + const Congruence&> {
1.60 + public:
1.61 +--- a/src/Constraint_System.defs.hh
1.62 ++++ b/src/Constraint_System.defs.hh
1.63 +@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
1.64 + #include "Congruence_System.types.hh"
1.65 + #include <iterator>
1.66 + #include <iosfwd>
1.67 ++#include <cstddef>
1.68 +
1.69 + namespace Parma_Polyhedra_Library {
1.70 +
1.71 +@@ -204,7 +205,7 @@ public:
1.72 + class const_iterator
1.73 + : public std::iterator<std::forward_iterator_tag,
1.74 + Constraint,
1.75 +- ptrdiff_t,
1.76 ++ std::ptrdiff_t,
1.77 + const Constraint*,
1.78 + const Constraint&> {
1.79 + public:
1.80 +--- a/src/Generator_System.defs.hh
1.81 ++++ b/src/Generator_System.defs.hh
1.82 +@@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
1.83 + #include "Polyhedron.types.hh"
1.84 + #include "Poly_Con_Relation.defs.hh"
1.85 + #include <iosfwd>
1.86 ++#include <cstddef>
1.87 +
1.88 + namespace Parma_Polyhedra_Library {
1.89 +
1.90 +@@ -250,7 +251,7 @@ public:
1.91 + class const_iterator
1.92 + : public std::iterator<std::forward_iterator_tag,
1.93 + Generator,
1.94 +- ptrdiff_t,
1.95 ++ std::ptrdiff_t,
1.96 + const Generator*,
1.97 + const Generator&> {
1.98 + public: