Bug#720994: libppl0.12-dev: ppl.hh contains definitions which are also in gmpxx.h

[Felix Salfelder <felix@salfelder.org>]

Package: libppl0.12-dev
Version: 1:1.0-7
Severity: important

Dear Maintainer,

ppl.hh contains a remark about a transition concerning the numeric_limits
declaration.

/*
  [..]
  \note
  The PPL provides the specializations of the class template
  <CODE>numeric_limits</CODE> not only for PPL-specific numeric types,
  but also for the GMP types <CODE>mpz_class</CODE> and
  <CODE>mpq_class</CODE>. These specializations will be removed
  as soon as they will be provided by the C++ interface of GMP.
 */

Now, with libgmp-dev=2:5.1.2+dfsg-2, gmpxx.h contains these definitions. which
makes anything including both gmpxx.h and ppl.hh fail to build.

If you dont intend to pull in a new ppl release: for me it worked to simply
enclose the two "template <> class numeric_limits<mp{q,z}_class> { [..] };"
prototypes into "#ifndef __GMP_PLUSPLUS__ .. #endif". I'd highly appreciate a
working package...

thanks
felix

-- System Information:
Debian Release: 7.0
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: amd64 (x86_64)
Foreign Architectures: armel
i386

Kernel: Linux 3.2.0-4-amd64 (SMP w/2 CPU cores)
Locale: LANG=en_US.UTF8, LC_CTYPE=de_DE.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages libppl0.12-dev depends on:
ii  libppl-c4  1:1.0-7
ii  libppl12   1:1.0-7

Versions of packages libppl0.12-dev recommends:
ii  libgmp3-dev  2:5.1.2+dfsg-2

Versions of packages libppl0.12-dev suggests:
pn  libppl-doc  <none>

-- debconf-show failed