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 http://buildd.debian.org/b

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 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 provide