[PPL-devel] [GIT] ppl/ppl(pip): Added support for GMP 5.0.

[Roberto Bagnara]

On 01/27/10 20:32, acrux wrote:
> i tried to add gmp-5.0 support patching ppl-0.10.2 but ppl check still
> doesn't recognize it.
> http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blobdiff;f=m4/ac_check_gmp.m4;h=15acb182ed2d386e899fcdf6eeb9ea5b8fb3b90c;hp=4dc3bc84e978da109e08c4d64d6551535f2eef4b;hb=refs/heads/pip;hpb=5596eca02f2dea09e57ea22a240c2f3eab8be9e5

Hi Nico,

please try the following:

$ tar jxf ppl-0.10.2.tar.bz2
$ cd ppl-0.10.2
$ cp /tmp/ac_check_gmp.m4 m4
$ cp /tmp/lib-link.m4 m4
$ cp /tmp/lib-ld.m4 m4
$ cp /tmp/lib-prefix.m4 m4
$ autoreconf -f

The 4 replacements to be put in the m4 directory
are attached to this message.  Please let me know
how it goes.

> I'd like to know if it's already scheduled a new ppl minor release bump
> (maybe ppl-10.3) that is able to compile against the new gmp-5.x
> series.

We currently do not have plans for a PPL 0.10.3 release, but we will
release PPL 0.11 in a couple of months.
Cheers,

    Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: ac_check_gmp.m4
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20100129/5f96623f/attachment.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: lib-ld.m4
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20100129/5f96623f/attachment-0001.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: lib-link.m4
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20100129/5f96623f/attachment-0002.ksh>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: lib-prefix.m4
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20100129/5f96623f/attachment-0003.ksh>