[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#707347: marked as done (apron: FTBFS: ppl.hh:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >')

Your message dated Wed, 25 Dec 2013 12:18:34 +0000
with message-id <E1VvnQ2-0004Lt-Al@franck.debian.org>
and subject line Bug#707347: fixed in apron 0.9.10-6
has caused the Debian Bug report #707347,
regarding apron: FTBFS: ppl.hh:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
707347: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707347
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
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.

--- End Message ---
--- Begin Message --- 
Source: apron
Source-Version: 0.9.10-6

We believe that the bug you reported is fixed in the latest version of
apron, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 707347@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated apron package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 25 Dec 2013 13:00:39 +0100
Source: apron
Binary: libapron libapron-dev libapron-ocaml libapron-ocaml-dev
Architecture: source amd64 all
Version: 0.9.10-6
Distribution: unstable
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description: 
 libapron   - runtime libraries for APRON
 libapron-dev - abstract interpretation library
 libapron-ocaml - runtime libraries for APRON (OCaml interface)
 libapron-ocaml-dev - abstract interpretation library (OCaml interface)
Closes: 707347
Changes: 
 apron (0.9.10-6) unstable; urgency=low
 .
   [ Stéphane Glondu ]
   * Team upload
   * Acknowledge non-maintainer uploads
   * debian/control:
     - bump debhelper compat level to 9
     - update Vcs-*
     - remove leading articles from short descriptions
     - remove Samuel and myself from Uploaders
 .
   [ Matthias Klose ]
   * Fix build failure with ppl-1.0 (Closes: #707347)
Checksums-Sha1: 
 6a8a6fc5f153b8d3adce1a90c0a5e18dd63eb057 2175 apron_0.9.10-6.dsc
 78593f738c4fa279b2dd425726cfb7b6b47ea585 11794 apron_0.9.10-6.debian.tar.gz
 9d6920ecc823415d44144a64e78edd7113015a48 470058 libapron_0.9.10-6_amd64.deb
 cea2a76390e2e68b1046597f38a31cddf6efe3e2 133584 libapron-dev_0.9.10-6_all.deb
 8f24337fc2bdf26b3ec60bd7eec44fd05432f3df 59752 libapron-ocaml_0.9.10-6_amd64.deb
 ebe5c1b95729b68b59917b5512832234c737282d 1283978 libapron-ocaml-dev_0.9.10-6_amd64.deb
Checksums-Sha256: 
 8bd40220e5237876cc0face8631e114eaf35c3d9fb588ed983cd274da4bad749 2175 apron_0.9.10-6.dsc
 8066a8236a19fa372b466a635628c5ccfb653440ee7760fb05a70999b9ac94d2 11794 apron_0.9.10-6.debian.tar.gz
 fa989ab8db8dc3b8b23a31cf529ed440c657e7585e3170c19e70d674d6d98519 470058 libapron_0.9.10-6_amd64.deb
 4111793f78e50f085dacd3a475088736eb6b058304d353b4fe678c0605cf85bc 133584 libapron-dev_0.9.10-6_all.deb
 981ccef4a3b2bc1c20eca89490265e646f6886649f0dba2fc878468e26a03792 59752 libapron-ocaml_0.9.10-6_amd64.deb
 a15754efea7593af8749e6a2cf84d8dc72a4a54bc69844f60a5039d4c99d2fb6 1283978 libapron-ocaml-dev_0.9.10-6_amd64.deb
Files: 
 1f09ebc02bd1cb61c25a3c64d5c68734 2175 libdevel optional apron_0.9.10-6.dsc
 688fad8cc226739e2dd875be347a25aa 11794 libdevel optional apron_0.9.10-6.debian.tar.gz
 7c4305f591e96666de17af2f879acc46 470058 libs optional libapron_0.9.10-6_amd64.deb
 54288bafa082761fb72bcfbc9dd817bb 133584 libdevel optional libapron-dev_0.9.10-6_all.deb
 8a5c5496c7a51bd853a0e139cd9aa958 59752 ocaml optional libapron-ocaml_0.9.10-6_amd64.deb
 116f25558bb97b52296f0af0f836e834 1283978 ocaml optional libapron-ocaml-dev_0.9.10-6_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQIcBAEBCgAGBQJSuspRAAoJEHhT2k1JiBrTSlwQAIn1jxMi9MZDL9XK1QJcBrFk
gh0wLrIWaRYGutPLdQEuTHp3oxvI1QwkXM6JV/nV+NjE+uhr7bUyv6Z746rQ7Gib
KZU4H/87ml+m+Bn5lLIs4swNlXFxA54mzmmFsyxMSWv5WEq1z0+4EHpRto+IvZcX
EyR+p+az3jBqPukStK76B46qt7/+2hBSYAqTVSi5FP7xv9JCq/axmrBRdbT+fXql
txoawKZXMAGLYiyw1nIDykEx235oAGqX/HebGIfvPYBVH2YSKhuwZQnWuKGU/R9U
5pW3dgx1Bn1v9hg11U8wnM/kxLmT4whyvowDOwXByrwudQC7PGdY+b8OU0P06CV8
wgoTl1ve6skhC5gW3u/UZdDhm6cLHKiwTr/UhxkxDMvGN+i5yXABy9WCJuwBggXb
LQjI/6uvvv/2Ndrrp/i1IVgroF/dlsRpIosZhAQMqfGQDPttZ/RD9qTX/3UPm+3Y
5N4xNPHioa6t48iTYUgo0eNJmR2ASu5IhsF34EVF4VcOCgwshTFpWu31AFNceahx
6sJh5avJj3QpsmOVObBbTp6FnBg7KR9Ea/VP5E2YXcgBekfzZwZnzBTsA11UbIN4
OgyaHEyVgdH9acFaZ2raf27grI0wQgMvV7lWUy2xrKLDPg27osSlJWY2FdXksAK1
1UVzg95CMq6yrtONKsVv
=eZAn
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: