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. <[email protected]> Imagine a large red swirl here. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
