Bug#714998: lib32gmp-dev: non standard header file path

[Bill Allombert]

On Sun, Jul 07, 2013 at 03:10:11PM -0500, Steve M. Robbins wrote:
> On July 7, 2013 01:35:58 PM Steve M. Robbins wrote:
> > On July 7, 2013 06:58:12 AM Bill Allombert wrote:
> > > > I don't really track the various ports, so I'm not sure what you mean
> > > > by "proper".  Does http://wiki.debian.org/PPC64 not work for you?
> > > 
> > > You can easily check on <http://packages.debian.org/sid/libgmp-dev> that
> > > there is no libgmp-dev packages for ppc64.
> > 
> > But, per the wiki instructions, you can find it here:
> > http://ftp.de.debian.org/debian-ports/pool-ppc64/main/g/gmp/
> > 
> > Do you have a PPC64?  Can you test that these indeed work?  I presume they
> > do, since the build ran unit tests (http://buildd.debian-
> > ports.org/status/fetch.php?pkg=gmp&arch=ppc64&ver=2%3A5.1.2%2Bdfsg-2&stamp=
> > 1372684640).
> 
> To be more precise: since you are concerned about the speed of GMP on PPC64, 
> can you provide some details on how fast the old lib64gmp package is compared 
> to the above build of libgmp10 on the PPC64?

What I can tell you is that the current, official, the lib64gmp package work
really well on powerpc (I run a testsuite for it every day:
http://pari.math.u-bordeaux.fr/buildlog.html) , but I do not have much time to
tracking unofficial packages. I expect the speed will be identical.

Cheers,
-- 
Bill. <ballombe at debian.org>

Imagine a large red swirl here.