[patch 07/10] Fix PPL build for MINGW

[Johannes Stezenbach]

On Mon, Jul 12, 2010 at 11:13:50PM +0200, Johannes Stezenbach wrote:
> On Sun, Jul 11, 2010 at 10:32:38PM +0200, Yann E. MORIN wrote:
> > Remy, Bart, All,
> > 
> > On Thursday 27 May 2010 23:18:16 Remy Bohmer wrote:
> > [--SNIP--]
> > 
> > Applied as 9f0de857cb05. Thank you!
> 
> The patches/ppl/0.10.2/100-update-for-mingw-build.patch
> added by this changeset breaks it for me:
> 
> [ALL  ]    checking how to link with libgmp... -lgmp
> [ALL  ]    checking how to link with libgmpxx... /home/js/tmp/toolchain/build/targets/arm-unknown-linux-uclibcgnueabi/build/static/lib/libgmpxx.a -lgmp
> [ALL  ]    checking for the GMP library version 4.1.3 or above... no
> [ERROR]    configure: error: Cannot find GMP version 4.1.3 or higher.
> 
> Due to the patch the ppl configure script looks for
> /home/js/tmp/toolchain/build/targets/arm-unknown-linux-uclibcgnueabi/build/static/lib/libgmp.so.a 
> instead of .../libgmp.a.

I just want to add that while it broke on my home PC it built on my office machine:

[ALL  ]    checking how to link with libgmp... -lgmp
[ALL  ]    checking how to link with libgmpxx... /home/js/temp/toolchain/targets/arm-unknown-linux-uclibcgnueabi/build/static/lib/libgmpxx.a -lgmp
[ALL  ]    checking for the GMP library version 4.1.3 or above... yes

On my office PC I have the libgmp3-dev package installed, so /usr/lib/libgmp.a
is found and used (which is wrong, of course).


Thanks,
Johannes

--
For unsubscribe information see http://sourceware.org/lists.html#faq