Bug#720994: libppl0.12-dev: ppl.hh contains definitions which are also in gmpxx.h
On 08/29/13 13:27, Julien Puydt wrote:
> Le 29/08/2013 12:18, Felix Salfelder a écrit :
>> On Wed, Aug 28, 2013 at 05:36:57PM +0200, Matthias Klose wrote:
>>> that should be fixed in the version in experimental.
>>
>> If you are referring to 1.1~pre8-1, I'm afraid it's not...
>
> I saw the problem with both libppm0.12-dev (1:1.0-7) and libppl-dev
> (1:1.1~pre8-1) ; indeed that include file (ppl.hh) defines numeric
> limits classes which are already in gmpxx.h...
>
> I'm not sure if the #ifndef __GMP_PLUSPLUS__ ... #endif enclosing is the
> right fix, but at least it makes the problem go away here.
>
> Snark on #debian-science
I am not sure I follow, but that issue should have been fixed long ago.
Is this the issue reported in
https://www.cs.unipr.it/mantis/view.php?id=476 ?
If not, what is the residual problem?
BTW, I have just uploaded the latest development snapshot
at
http://bugseng.com/products/ppl/download/ftp/snapshots/
Unless some problems are reported, this will become PPL 1.1.
Kind regards,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara@cs.unipr.it
BUGSENG srl - http://bugseng.com
mailto:roberto.bagnara@bugseng.com
Reply to: