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:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com -- To UNSUBSCRIBE, email to debian-gcc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/521f963d.8000...@cs.unipr.it