current build failure with the updated gmp now is attached.
(cd ppl; make) make[4]: Entering directory `/scratch/packages/tmp/apron-0.9.10/apron/ppl' g++ -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -fPIC -O3 -DNDEBUG -I../newpolka -I/scratch/packages/tmp/apron-0.9.10/debian/tmp/usr/include -I../apron -I../mlapronidl -I../num -I../itv -I/usr/include -I/usr/include -I/usr/include -I/usr/lib/ocaml -I/usr/lib/ocaml -c -o ppl_user.o ppl_user.cc ppl_user.cc: In function 'bool ap_ppl_of_box(Parma_Polyhedra_Library::Congruence_System&, ap_interval_t**, size_t, size_t)': ppl_user.cc:323:43: error: no match for 'operator==' in 'Parma_Polyhedra_Library::Variable(i) == temp' ppl_user.cc:323:43: note: candidates are: In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U, class V, class W> bool operator==(const __gmp_expr<T, U>&, const __gmp_expr<V, W>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, signed char) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(signed char, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'signed char' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, unsigned char) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(unsigned char, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'unsigned char' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, int) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(int, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'int' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, unsigned int) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(unsigned int, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'unsigned int' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, short int) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(short int, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'short int' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, short unsigned int) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(short unsigned int, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'short unsigned int' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, long int) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(long int, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'long int' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, long unsigned int) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(long unsigned int, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'long unsigned int' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, float) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(float, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'float' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(const __gmp_expr<T, U>&, double) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const __gmp_expr<T, U>' In file included from /usr/include/x86_64-linux-gnu/ppl.hh:748:0, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/gmpxx.h:3082:1: note: template<class T, class U> bool operator==(double, const __gmp_expr<T, U>&) /usr/include/gmpxx.h:3082:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: cannot convert 'Parma_Polyhedra_Library::Variable(i)' (type 'Parma_Polyhedra_Library::Variable') to type 'double' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:99008:1: note: template<class D> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Powerset<D>&, const Parma_Polyhedra_Library::Powerset<D>&) /usr/include/x86_64-linux-gnu/ppl.hh:99008:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Powerset<D>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:98196:1: note: template<class Container> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::iterator_to_const<Container>&, const Parma_Polyhedra_Library::const_iterator_to_const<Container>&) /usr/include/x86_64-linux-gnu/ppl.hh:98196:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::iterator_to_const<Container>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:97761:1: note: template<class PSET> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Determinate<PSET>&, const Parma_Polyhedra_Library::Determinate<PSET>&) /usr/include/x86_64-linux-gnu/ppl.hh:97761:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Determinate<PSET>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:96427:1: note: template<class D1, class D2, class R> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Partially_Reduced_Product<D1, D2, R>&, const Parma_Polyhedra_Library::Partially_Reduced_Product<D1, D2, R>&) /usr/include/x86_64-linux-gnu/ppl.hh:96427:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Partially_Reduced_Product<D1, D2, R>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:68904:1: note: template<class T> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Octagonal_Shape<U>&, const Parma_Polyhedra_Library::Octagonal_Shape<U>&) /usr/include/x86_64-linux-gnu/ppl.hh:68904:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Octagonal_Shape<U>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:65372:1: note: template<class T> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::OR_Matrix<T>&, const Parma_Polyhedra_Library::OR_Matrix<T>&) /usr/include/x86_64-linux-gnu/ppl.hh:65372:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::OR_Matrix<T>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:77947:1: note: template<class T> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::BD_Shape<U>&, const Parma_Polyhedra_Library::BD_Shape<U>&) /usr/include/x86_64-linux-gnu/ppl.hh:77947:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::BD_Shape<U>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:60987:1: note: template<class T> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::DB_Matrix<T>&, const Parma_Polyhedra_Library::DB_Matrix<T>&) /usr/include/x86_64-linux-gnu/ppl.hh:60987:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::DB_Matrix<T>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:60147:1: note: template<class T> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::DB_Row<T>&, const Parma_Polyhedra_Library::DB_Row<T>&) /usr/include/x86_64-linux-gnu/ppl.hh:60147:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::DB_Row<T>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:56999:15: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Grid&, const Parma_Polyhedra_Library::Grid&) /usr/include/x86_64-linux-gnu/ppl.hh:56999:15: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Grid&' /usr/include/x86_64-linux-gnu/ppl.hh:55099:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Grid_Generator_System&, const Parma_Polyhedra_Library::Grid_Generator_System&) /usr/include/x86_64-linux-gnu/ppl.hh:55099:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Grid_Generator_System&' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:50407:1: note: template<class Row> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Matrix<Row>&, const Parma_Polyhedra_Library::Matrix<Row>&) /usr/include/x86_64-linux-gnu/ppl.hh:50407:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Matrix<Row>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:47984:15: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Polyhedron&, const Parma_Polyhedra_Library::Polyhedron&) /usr/include/x86_64-linux-gnu/ppl.hh:47984:15: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Polyhedron&' /usr/include/x86_64-linux-gnu/ppl.hh:46022:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Poly_Gen_Relation&, const Parma_Polyhedra_Library::Poly_Gen_Relation&) /usr/include/x86_64-linux-gnu/ppl.hh:46022:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Poly_Gen_Relation&' /usr/include/x86_64-linux-gnu/ppl.hh:45737:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Generator_System&, const Parma_Polyhedra_Library::Generator_System&) /usr/include/x86_64-linux-gnu/ppl.hh:45737:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Generator_System&' /usr/include/x86_64-linux-gnu/ppl.hh:44744:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Poly_Con_Relation&, const Parma_Polyhedra_Library::Poly_Con_Relation&) /usr/include/x86_64-linux-gnu/ppl.hh:44744:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Poly_Con_Relation&' /usr/include/x86_64-linux-gnu/ppl.hh:43601:3: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Congruence_System&, const Parma_Polyhedra_Library::Congruence_System&) /usr/include/x86_64-linux-gnu/ppl.hh:43601:3: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Congruence_System&' /usr/include/x86_64-linux-gnu/ppl.hh:43083:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Constraint_System&, const Parma_Polyhedra_Library::Constraint_System&) /usr/include/x86_64-linux-gnu/ppl.hh:43083:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Constraint_System&' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:40517:6: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Bit_Matrix&, const Parma_Polyhedra_Library::Bit_Matrix&) /usr/include/x86_64-linux-gnu/ppl.hh:40517:6: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Bit_Matrix&' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:39431:15: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Bit_Row&, const Parma_Polyhedra_Library::Bit_Row&) /usr/include/x86_64-linux-gnu/ppl.hh:39431:15: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Bit_Row&' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:41579:1: note: template<class Row> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Linear_System<Row>&, const Parma_Polyhedra_Library::Linear_System<Row>&) /usr/include/x86_64-linux-gnu/ppl.hh:41579:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Linear_System<Row>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:85730:1: note: template<class ITV> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Box<ITV>&, const Parma_Polyhedra_Library::Box<ITV>&) /usr/include/x86_64-linux-gnu/ppl.hh:85730:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Box<ITV>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:34489:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Congruence&, const Parma_Polyhedra_Library::Congruence&) /usr/include/x86_64-linux-gnu/ppl.hh:34489:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Congruence&' /usr/include/x86_64-linux-gnu/ppl.hh:33791:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Grid_Generator&, const Parma_Polyhedra_Library::Grid_Generator&) /usr/include/x86_64-linux-gnu/ppl.hh:33791:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Grid_Generator&' /usr/include/x86_64-linux-gnu/ppl.hh:32436:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Generator&, const Parma_Polyhedra_Library::Generator&) /usr/include/x86_64-linux-gnu/ppl.hh:32436:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Generator&' /usr/include/x86_64-linux-gnu/ppl.hh:30615:1: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Constraint&, const Parma_Polyhedra_Library::Constraint&) /usr/include/x86_64-linux-gnu/ppl.hh:30615:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Constraint&' /usr/include/x86_64-linux-gnu/ppl.hh:30700:1: note: Parma_Polyhedra_Library::Constraint Parma_Polyhedra_Library::operator==(Parma_Polyhedra_Library::Coefficient_traits_template<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >::const_reference, const Parma_Polyhedra_Library::Linear_Expression&) /usr/include/x86_64-linux-gnu/ppl.hh:30700:1: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'Parma_Polyhedra_Library::Coefficient_traits_template<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >::const_reference {aka const __gmp_expr<__mpz_struct [1], __mpz_struct [1]>&}' /usr/include/x86_64-linux-gnu/ppl.hh:30733:1: note: Parma_Polyhedra_Library::Constraint Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Linear_Expression&, Parma_Polyhedra_Library::Coefficient_traits_template<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >::const_reference) /usr/include/x86_64-linux-gnu/ppl.hh:30733:1: note: no known conversion for argument 2 from 'mpq_class {aka __gmp_expr<__mpq_struct [1], __mpq_struct [1]>}' to 'Parma_Polyhedra_Library::Coefficient_traits_template<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >::const_reference {aka const __gmp_expr<__mpz_struct [1], __mpz_struct [1]>&}' /usr/include/x86_64-linux-gnu/ppl.hh:30637:1: note: Parma_Polyhedra_Library::Constraint Parma_Polyhedra_Library::operator==(Parma_Polyhedra_Library::Variable, Parma_Polyhedra_Library::Variable) /usr/include/x86_64-linux-gnu/ppl.hh:30637:1: note: no known conversion for argument 2 from 'mpq_class {aka __gmp_expr<__mpq_struct [1], __mpq_struct [1]>}' to 'Parma_Polyhedra_Library::Variable' /usr/include/x86_64-linux-gnu/ppl.hh:30627:1: note: Parma_Polyhedra_Library::Constraint Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Linear_Expression&, const Parma_Polyhedra_Library::Linear_Expression&) /usr/include/x86_64-linux-gnu/ppl.hh:30627:1: note: no known conversion for argument 2 from 'mpq_class {aka __gmp_expr<__mpq_struct [1], __mpq_struct [1]>}' to 'const Parma_Polyhedra_Library::Linear_Expression&' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:24153:6: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Sparse_Row&, const Parma_Polyhedra_Library::Dense_Row&) /usr/include/x86_64-linux-gnu/ppl.hh:24153:6: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Sparse_Row&' /usr/include/x86_64-linux-gnu/ppl.hh:24150:6: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Dense_Row&, const Parma_Polyhedra_Library::Sparse_Row&) /usr/include/x86_64-linux-gnu/ppl.hh:24150:6: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Dense_Row&' /usr/include/x86_64-linux-gnu/ppl.hh:24142:6: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Sparse_Row&, const Parma_Polyhedra_Library::Sparse_Row&) /usr/include/x86_64-linux-gnu/ppl.hh:24142:6: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Sparse_Row&' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:20256:6: note: bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Dense_Row&, const Parma_Polyhedra_Library::Dense_Row&) /usr/include/x86_64-linux-gnu/ppl.hh:20256:6: note: no known conversion for argument 1 from 'Parma_Polyhedra_Library::Variable' to 'const Parma_Polyhedra_Library::Dense_Row&' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:17523:1: note: template<class T1, class T2> typename Parma_Polyhedra_Library::Enable_If<(((Parma_Polyhedra_Library::Is_Singleton<T>::value || Parma_Polyhedra_Library::Is_Interval<T>::value) && (Parma_Polyhedra_Library::Is_Singleton<T2>::value || Parma_Polyhedra_Library::Is_Interval<T2>::value)) && (Parma_Polyhedra_Library::Is_Interval<T>::value || Parma_Polyhedra_Library::Is_Interval<T2>::value)), bool>::type Parma_Polyhedra_Library::operator==(const T1&, const T2&) /usr/include/x86_64-linux-gnu/ppl.hh:17523:1: note: template argument deduction/substitution failed: /usr/include/x86_64-linux-gnu/ppl.hh: In substitution of 'template<class T1, class T2> typename Parma_Polyhedra_Library::Enable_If<(((Parma_Polyhedra_Library::Is_Singleton<T>::value || Parma_Polyhedra_Library::Is_Interval<T>::value) && (Parma_Polyhedra_Library::Is_Singleton<T2>::value || Parma_Polyhedra_Library::Is_Interval<T2>::value)) && (Parma_Polyhedra_Library::Is_Interval<T>::value || Parma_Polyhedra_Library::Is_Interval<T2>::value)), bool>::type Parma_Polyhedra_Library::operator==(const T1&, const T2&) [with T1 = Parma_Polyhedra_Library::Variable; T2 = __gmp_expr<__mpq_struct [1], __mpq_struct [1]>]': ppl_user.cc:323:43: required from here /usr/include/x86_64-linux-gnu/ppl.hh:17523:1: error: no type named 'type' in 'struct Parma_Polyhedra_Library::Enable_If<false, bool>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:14261:1: note: template<class T1, class T2> typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && (Parma_Polyhedra_Library::Is_Checked<T>::value || Parma_Polyhedra_Library::Is_Checked<T2>::value)), bool>::type Parma_Polyhedra_Library::operator==(const T1&, const T2&) /usr/include/x86_64-linux-gnu/ppl.hh:14261:1: note: template argument deduction/substitution failed: /usr/include/x86_64-linux-gnu/ppl.hh: In substitution of 'template<class T1, class T2> typename Parma_Polyhedra_Library::Enable_If<((Parma_Polyhedra_Library::Is_Native_Or_Checked<T>::value && Parma_Polyhedra_Library::Is_Native_Or_Checked<From>::value) && (Parma_Polyhedra_Library::Is_Checked<T>::value || Parma_Polyhedra_Library::Is_Checked<T2>::value)), bool>::type Parma_Polyhedra_Library::operator==(const T1&, const T2&) [with T1 = Parma_Polyhedra_Library::Variable; T2 = __gmp_expr<__mpq_struct [1], __mpq_struct [1]>]': ppl_user.cc:323:43: required from here /usr/include/x86_64-linux-gnu/ppl.hh:14261:1: error: no type named 'type' in 'struct Parma_Polyhedra_Library::Enable_If<false, bool>' In file included from ppl_poly.hh:20:0, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/x86_64-linux-gnu/ppl.hh:89757:1: note: template<class C> bool Parma_Polyhedra_Library::operator==(const Parma_Polyhedra_Library::Linear_Form<FP_Interval_Type>&, const Parma_Polyhedra_Library::Linear_Form<FP_Interval_Type>&) /usr/include/x86_64-linux-gnu/ppl.hh:89757:1: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const Parma_Polyhedra_Library::Linear_Form<FP_Interval_Type>' In file included from /usr/include/c++/4.7/list:64:0, from /usr/include/x86_64-linux-gnu/ppl.hh:98216, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_list.h:1574:5: note: template<class _Tp, class _Alloc> bool std::operator==(const std::list<_Tp, _Alloc>&, const std::list<_Tp, _Alloc>&) /usr/include/c++/4.7/bits/stl_list.h:1574:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::list<_Tp, _Alloc>' In file included from /usr/include/c++/4.7/list:64:0, from /usr/include/x86_64-linux-gnu/ppl.hh:98216, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_list.h:277:5: note: template<class _Val> bool std::operator==(const std::_List_iterator<_Tp>&, const std::_List_const_iterator<_Val>&) /usr/include/c++/4.7/bits/stl_list.h:277:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::_List_iterator<_Tp>' In file included from /usr/include/c++/4.7/iterator:66:0, from /usr/include/x86_64-linux-gnu/ppl.hh:42046, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stream_iterator.h:130:5: note: template<class _Tp, class _CharT, class _Traits, class _Dist> bool std::operator==(const std::istream_iterator<_Tp, _CharT, _Traits, _Dist>&, const std::istream_iterator<_Tp, _CharT, _Traits, _Dist>&) /usr/include/c++/4.7/bits/stream_iterator.h:130:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::istream_iterator<_Tp, _CharT, _Traits, _Dist>' In file included from /usr/include/c++/4.7/deque:65:0, from /usr/include/x86_64-linux-gnu/ppl.hh:40995, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_deque.h:1929:5: note: template<class _Tp, class _Alloc> bool std::operator==(const std::deque<_Tp, _Alloc>&, const std::deque<_Tp, _Alloc>&) /usr/include/c++/4.7/bits/stl_deque.h:1929:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::deque<_Tp, _Alloc>' In file included from /usr/include/c++/4.7/deque:65:0, from /usr/include/x86_64-linux-gnu/ppl.hh:40995, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_deque.h:255:5: note: template<class _Tp, class _RefL, class _PtrL, class _RefR, class _PtrR> bool std::operator==(const std::_Deque_iterator<_Tp, _Ref, _Ptr>&, const std::_Deque_iterator<_Tp, _RefR, _PtrR>&) /usr/include/c++/4.7/bits/stl_deque.h:255:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::_Deque_iterator<_Tp, _Ref, _Ptr>' In file included from /usr/include/c++/4.7/deque:65:0, from /usr/include/x86_64-linux-gnu/ppl.hh:40995, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_deque.h:248:5: note: template<class _Tp, class _Ref, class _Ptr> bool std::operator==(const std::_Deque_iterator<_Tp, _Ref, _Ptr>&, const std::_Deque_iterator<_Tp, _Ref, _Ptr>&) /usr/include/c++/4.7/bits/stl_deque.h:248:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::_Deque_iterator<_Tp, _Ref, _Ptr>' In file included from /usr/include/c++/4.7/vector:65:0, from /usr/include/x86_64-linux-gnu/ppl.hh:4807, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_vector.h:1370:5: note: template<class _Tp, class _Alloc> bool std::operator==(const std::vector<_Tp, _Alloc>&, const std::vector<_Tp, _Alloc>&) /usr/include/c++/4.7/bits/stl_vector.h:1370:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::vector<_Tp, _Alloc>' In file included from /usr/include/c++/4.7/map:62:0, from /usr/include/x86_64-linux-gnu/ppl.hh:3075, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_multimap.h:805:5: note: template<class _Key, class _Tp, class _Compare, class _Alloc> bool std::operator==(const std::multimap<_Key, _Tp, _Compare, _Alloc>&, const std::multimap<_Key, _Tp, _Compare, _Alloc>&) /usr/include/c++/4.7/bits/stl_multimap.h:805:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::multimap<_Key, _Tp, _Compare, _Alloc>' In file included from /usr/include/c++/4.7/map:61:0, from /usr/include/x86_64-linux-gnu/ppl.hh:3075, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_map.h:889:5: note: template<class _Key, class _Tp, class _Compare, class _Alloc> bool std::operator==(const std::map<_Key, _Tp, _Compare, _Alloc>&, const std::map<_Key, _Tp, _Compare, _Alloc>&) /usr/include/c++/4.7/bits/stl_map.h:889:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::map<_Key, _Tp, _Compare, _Alloc>' In file included from /usr/include/c++/4.7/set:62:0, from /usr/include/x86_64-linux-gnu/ppl.hh:3073, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_multiset.h:685:5: note: template<class _Key, class _Compare, class _Alloc> bool std::operator==(const std::multiset<_Key, _Compare, _Alloc>&, const std::multiset<_Key, _Compare, _Alloc>&) /usr/include/c++/4.7/bits/stl_multiset.h:685:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::multiset<_Key, _Compare, _Alloc>' In file included from /usr/include/c++/4.7/set:61:0, from /usr/include/x86_64-linux-gnu/ppl.hh:3073, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_set.h:704:5: note: template<class _Key, class _Compare, class _Alloc> bool std::operator==(const std::set<_Key, _Compare, _Alloc>&, const std::set<_Key, _Compare, _Alloc>&) /usr/include/c++/4.7/bits/stl_set.h:704:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::set<_Key, _Compare, _Alloc>' In file included from /usr/include/c++/4.7/set:60:0, from /usr/include/x86_64-linux-gnu/ppl.hh:3073, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_tree.h:863:5: note: template<class _Key, class _Val, class _KeyOfValue, class _Compare, class _Alloc> bool std::operator==(const std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>&, const std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>&) /usr/include/c++/4.7/bits/stl_tree.h:863:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::_Rb_tree<_Key, _Val, _KeyOfValue, _Compare, _Alloc>' In file included from /usr/include/c++/4.7/set:60:0, from /usr/include/x86_64-linux-gnu/ppl.hh:3073, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/stl_tree.h:309:5: note: template<class _Val> bool std::operator==(const std::_Rb_tree_iterator<_Tp>&, const std::_Rb_tree_const_iterator<_Val>&) /usr/include/c++/4.7/bits/stl_tree.h:309:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::_Rb_tree_iterator<_Tp>' In file included from /usr/include/c++/4.7/bits/locale_facets.h:50:0, from /usr/include/c++/4.7/bits/basic_ios.h:39, from /usr/include/c++/4.7/ios:45, from /usr/include/c++/4.7/ostream:40, from /usr/include/c++/4.7/iostream:40, from /usr/include/x86_64-linux-gnu/ppl.hh:747, from ppl_poly.hh:20, from ppl_user.hh:20, from ppl_user.cc:20: /usr/include/c++/4.7/bits/streambuf_iterator.h:206:5: note: template<class _CharT, class _Traits> bool std::operator==(const std::istreambuf_iterator<_CharT, _Traits>&, const std::istreambuf_iterator<_CharT, _Traits>&) /usr/include/c++/4.7/bits/streambuf_iterator.h:206:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::istreambuf_iterator<_CharT, _Traits>' In file included from /usr/include/c++/4.7/string:54:0, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/basic_string.h:2516:5: note: template<class _CharT, class _Traits, class _Alloc> bool std::operator==(const std::basic_string<_CharT, _Traits, _Alloc>&, const _CharT*) /usr/include/c++/4.7/bits/basic_string.h:2516:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::basic_string<_CharT, _Traits, _Alloc>' In file included from /usr/include/c++/4.7/string:54:0, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/basic_string.h:2504:5: note: template<class _CharT, class _Traits, class _Alloc> bool std::operator==(const _CharT*, const std::basic_string<_CharT, _Traits, _Alloc>&) /usr/include/c++/4.7/bits/basic_string.h:2504:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: mismatched types 'const _CharT*' and 'Parma_Polyhedra_Library::Variable' In file included from /usr/include/c++/4.7/string:54:0, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/basic_string.h:2490:5: note: template<class _CharT> typename __gnu_cxx::__enable_if<std::__is_char<_Tp>::__value, bool>::__type std::operator==(const std::basic_string<_CharT>&, const std::basic_string<_CharT>&) /usr/include/c++/4.7/bits/basic_string.h:2490:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::basic_string<_CharT>' In file included from /usr/include/c++/4.7/string:54:0, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/basic_string.h:2483:5: note: template<class _CharT, class _Traits, class _Alloc> bool std::operator==(const std::basic_string<_CharT, _Traits, _Alloc>&, const std::basic_string<_CharT, _Traits, _Alloc>&) /usr/include/c++/4.7/bits/basic_string.h:2483:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::basic_string<_CharT, _Traits, _Alloc>' In file included from /usr/include/c++/4.7/string:43:0, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/allocator.h:124:5: note: template<class _Tp> bool std::operator==(const std::allocator<_CharT>&, const std::allocator<_CharT>&) /usr/include/c++/4.7/bits/allocator.h:124:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::allocator<_CharT>' In file included from /usr/include/c++/4.7/string:43:0, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/allocator.h:119:5: note: template<class _T1, class _T2> bool std::operator==(const std::allocator<_CharT>&, const std::allocator<_T2>&) /usr/include/c++/4.7/bits/allocator.h:119:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::allocator<_CharT>' In file included from /usr/include/c++/4.7/bits/char_traits.h:42:0, from /usr/include/c++/4.7/string:42, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/postypes.h:218:5: note: template<class _StateT> bool std::operator==(const std::fpos<_StateT>&, const std::fpos<_StateT>&) /usr/include/c++/4.7/bits/postypes.h:218:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::fpos<_StateT>' In file included from /usr/include/c++/4.7/bits/stl_algobase.h:68:0, from /usr/include/c++/4.7/bits/char_traits.h:41, from /usr/include/c++/4.7/string:42, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/stl_iterator.h:343:5: note: template<class _IteratorL, class _IteratorR> bool std::operator==(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_IteratorR>&) /usr/include/c++/4.7/bits/stl_iterator.h:343:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::reverse_iterator<_Iterator>' In file included from /usr/include/c++/4.7/bits/stl_algobase.h:68:0, from /usr/include/c++/4.7/bits/char_traits.h:41, from /usr/include/c++/4.7/string:42, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/stl_iterator.h:293:5: note: template<class _Iterator> bool std::operator==(const std::reverse_iterator<_Iterator>&, const std::reverse_iterator<_Iterator>&) /usr/include/c++/4.7/bits/stl_iterator.h:293:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::reverse_iterator<_Iterator>' In file included from /usr/include/c++/4.7/bits/stl_algobase.h:65:0, from /usr/include/c++/4.7/bits/char_traits.h:41, from /usr/include/c++/4.7/string:42, from /usr/include/c++/4.7/stdexcept:40, from ppl_user.cc:19: /usr/include/c++/4.7/bits/stl_pair.h:206:5: note: template<class _T1, class _T2> bool std::operator==(const std::pair<_T1, _T2>&, const std::pair<_T1, _T2>&) /usr/include/c++/4.7/bits/stl_pair.h:206:5: note: template argument deduction/substitution failed: ppl_user.cc:323:43: note: 'Parma_Polyhedra_Library::Variable' is not derived from 'const std::pair<_T1, _T2>' make[4]: *** [ppl_user.o] Error 1 make[4]: Leaving directory `/scratch/packages/tmp/apron-0.9.10/apron/ppl' make[3]: *** [c] Error 2 make[3]: Leaving directory `/scratch/packages/tmp/apron-0.9.10/apron' make[2]: *** [all] Error 2 make[2]: Leaving directory `/scratch/packages/tmp/apron-0.9.10' make[1]: *** [override_dh_auto_build] Error 2 make[1]: Leaving directory `/scratch/packages/tmp/apron-0.9.10' make: *** [build-arch] Error 2 dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2