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