Re: Cygwin ppl problem

["Yann E. MORIN" <yann dot morin dot 1998 at anciens dot enib dot fr>]

Arnaud, All,

On Saturday 08 May 2010 20:56:14 Arnaud Lacombe wrote:
> > Unfortunately, PPL does not build with GMP 5.0.x. Beside, the error
> > message you quoted is misleading, as in fact GMP >= 4.1.3 *is* available,
> > but PPL has a incorrect check on the version number. Sigh...
> > Revert to using GMP 4.3.2.
> No, you're wrong. the ./configure fails because GMP API has changed
> (see PPL's config.log). The attached patch fixes the build configure.
> Rest of the build works just fine.

Actually, I don't care how PPL test for PPL. It happens that the GMP API has
changed between 4.x.x and 5.x.x, and thus PPL mis-reports the API breakage
as being due to a too old GMP. Right, it is not the version number that PPL
checks, but the error message reported is nonetheless mis-leading.

And yes, reverting to using GMP 4.3.2 is a correct workaround.
Beside, from crosstool-NG point of view, GMP 5.0.1 is marked EXPERIMENTAL.

Anyway, thanks for your patch! I'll add it shortly! :-)

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