1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/patches/ppl/0.11.2/500-ptrdiff_t.patch	Wed Jun 25 23:33:01 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: