Bug#707347: apron: FTBFS: ppl.hh:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
Source: apron
Version: 0.9.10-5.2
Severity: serious
Tags: jessie sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20130509 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part:
> g++ -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -fPIC -O3 -DNDEBUG -I../newpolka -I/«PKGBUILDDIR»/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
> 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:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
> 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:3269:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
> 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:836:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
> 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:3306:21: error: previous definition of 'class std::numeric_limits<__gmp_expr<__mpq_struct [1], __mpq_struct [1]> >'
> 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:99004: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:99004: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:98192: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:98192: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:97757: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:97757: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:96423: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:96423: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:68900: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:68900: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:65368: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:65368: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:77943: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:77943: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:60983: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:60983: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:60143: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:60143: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:56995: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:56995: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:55095: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:55095: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:50403: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:50403: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:47980: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:47980: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:46018: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:46018: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:45733: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:45733: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:44740: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:44740: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:43597: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:43597: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:43079: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:43079: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:40513: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:40513: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:39427: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:39427: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:41575: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:41575: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:85726: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:85726: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:34485: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:34485: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:33787: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:33787: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:32432: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:32432: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:30611: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:30611: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:30696: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:30696: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:30729: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:30729: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:30633: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:30633: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:30623: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:30623: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:24149: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:24149: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:24146: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:24146: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:24138: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:24138: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:20252: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:20252: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:17519: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:17519: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:17519: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:14257: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:14257: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:14257: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:89753: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:89753: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:98212,
> 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:98212,
> 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:42042,
> 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:40991,
> 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:40991,
> 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:40991,
> 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:4803,
> 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:3071,
> 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:3071,
> 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:3069,
> 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:3069,
> 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:3069,
> 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:3069,
> 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
The full build log is available from:
http://people.debian.org/~lucas/logs/2013/05/09/apron_0.9.10-5.2_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
Reply to: