Re: Cygwin ppl problem

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

Matthias, All,

On Tuesday 04 May 2010 16:52:03 Matthias Hofmann wrote:
> anybody an idea about whats going wrong and how to solve it? PPL doesn't
> configure well under cygwin.
[--SNIP--]
> [INFO ]  Installing PPL
> [ERROR]    configure: error: Cannot find GMP version 4.1.3 or higher.

Error message from PPL. It is searching for GMP >= 4.1.3, and does not
find it. See below why.

> Here the config:
[--SNIP--]
> CT_EXPERIMENTAL=y

Experimental features enabled! Expect breakage...

[--SNIP--]
> CT_COMPLIBS=y
[--SNIP--]
> CT_GMP_V_5_0_1=y
> # CT_GMP_V_4_3_2 is not set
> # CT_GMP_V_4_3_1 is not set
> # CT_GMP_V_4_3_0 is not set
> # CT_GMP_V_4_2_4 is not set
> # CT_GMP_V_4_2_2 is not set
> CT_GMP_VERSION="5.0.1"

Aha! GMP 5.0.1 is selected!

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.

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