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