[patch 07/10] Fix PPL build for MINGW

[Johannes Stezenbach]

Hi,

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.


Thanks,
Johannes

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