Re: New Parma Polyhedra Library packages

2008-09-23 Thread Matthias Klose
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

Re: New Parma Polyhedra Library packages

2008-09-23 Thread Roberto Bagnara
Matthias Klose wrote: 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, Hi Matthias, I have checked the build logs, but `make check' does

Re: New Parma Polyhedra Library packages

2008-09-23 Thread Arthur Loiret
Hi Roberto, On Tue, Sep 23, 2008 at 09:42:16PM +0200, Roberto Bagnara wrote: Matthias Klose wrote: 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

New Parma Polyhedra Library packages

2008-09-22 Thread Roberto Bagnara
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