1 From: Bernhard Walle <bernhard@bwalle.de>
2 Subject: Fix compilation with gcc 4.9 (ptrdiff_t errors)
4 This is a backport of following patch in ppl git
6 commit 61d4e14dfd9f1121e9b4521dead5728b2424dd7c
7 Author: Roberto Bagnara <bagnara@cs.unipr.it>
8 Date: Tue Apr 29 21:51:43 2014 +0200
10 Added missing inclusions. Use std::ptrdiff_t.
11 (Thanks to Paulo Cesar Pereira de Andrade.)
14 src/Congruence_System.defs.hh | 3 ++-
15 src/Constraint_System.defs.hh | 3 ++-
16 src/Generator_System.defs.hh | 3 ++-
17 src/Grid_Generator_System.defs.hh | 3 ++-
18 4 files changed, 8 insertions(+), 4 deletions(-)
20 --- a/src/Grid_Generator_System.defs.hh
21 +++ b/src/Grid_Generator_System.defs.hh
22 @@ -30,6 +30,7 @@ site: http://www.cs.unipr.it/ppl/ . */
23 #include "Variables_Set.types.hh"
24 #include "Grid.types.hh"
28 namespace Parma_Polyhedra_Library {
30 @@ -267,7 +268,7 @@ public:
32 : public std::iterator<std::forward_iterator_tag,
36 const Grid_Generator*,
37 const Grid_Generator&>,
38 private Generator_System::const_iterator {
39 --- a/src/Congruence_System.defs.hh
40 +++ b/src/Congruence_System.defs.hh
41 @@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
42 #include "Grid.types.hh"
43 #include "Grid_Certificate.types.hh"
47 namespace Parma_Polyhedra_Library {
49 @@ -235,7 +236,7 @@ public:
51 : public std::iterator<std::forward_iterator_tag,
58 --- a/src/Constraint_System.defs.hh
59 +++ b/src/Constraint_System.defs.hh
60 @@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
61 #include "Congruence_System.types.hh"
66 namespace Parma_Polyhedra_Library {
68 @@ -204,7 +205,7 @@ public:
70 : public std::iterator<std::forward_iterator_tag,
77 --- a/src/Generator_System.defs.hh
78 +++ b/src/Generator_System.defs.hh
79 @@ -33,6 +33,7 @@ site: http://www.cs.unipr.it/ppl/ . */
80 #include "Polyhedron.types.hh"
81 #include "Poly_Con_Relation.defs.hh"
85 namespace Parma_Polyhedra_Library {
87 @@ -250,7 +251,7 @@ public:
89 : public std::iterator<std::forward_iterator_tag,