Re: New Parma Polyhedra Library packages

[Matthias Klose <doko@cs.tu-berlin.de>]

Hi, we did need the packages as a build dependency for gcc-snapshot
(trunk).  the testsuite is run, but we don't abort the build on
errors. see the build logs at http://buildd.debian.org/build.php?pkg=ppl,
current bug reports at http://bugs.debian.org/src:ppl.

I hope that Arthur Loiret can provide access to an alpha machine. Note
that Debian conigures gcc on alpha to include -mieee by default. for
testing you'll find other gcc versions installed on this machine
(gcc-4.x).

Roberto Bagnara writes:
> 
> Hi there,
> 
> I lead the team developing the Parma Polyhedra Library.
> I noticed on
> 
>      http://packages.debian.org/sid/main/libppl7
> 
> that packges are available even for architectures
> we have never dreamt of.  Did you run `make check'
> on those to make sure everything is OK?  I guess not,
> because right now we are fighting a bug that only
> shows up on the Alpha.  In any case, we are willing
> to help solving any portability problem if you could
> provide us with access to the machines.