[patch 07/10] Fix PPL build for MINGW

[Yann E. MORIN]

Johannes, All,

On Tuesday 13 July 2010 10:12:02 Johannes Stezenbach wrote:
> On Mon, Jul 12, 2010 at 11:13:50PM +0200, Johannes Stezenbach wrote:
> > 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:
[--SNIP--]
> 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).

Definitely wrong. It should not use it, as we explicitly tell ./configure
_where_ to look for GMP, and it should not try to use one from another
place. This is a bug (in autocrap, I guess).

Regards,
Yann E. MORIN.

-- 
.-----------------.--------------------.------------------.--------------------.
|  Yann E. MORIN  | Real-Time Embedded | /"\ ASCII RIBBON | Erics' conspiracy: |
| +33 662 376 056 | Software  Designer | \ / CAMPAIGN     |  ___               |
| +33 223 225 172 `------------.-------:  X  AGAINST      |  \e/  There is no  |
| http://ymorin.is-a-geek.org/ | _/*\_ | / \ HTML MAIL    |   v   conspiracy.  |
'------------------------------^-------^------------------^--------------------'



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