Source: apron
Version: 0.9.10-5.2
Severity: serious
Tags: jessie sid
User: [email protected]
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.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
