This is the mail archive of the crossgcc@sourceware.org mailing list for the crossgcc project.

See the CrossGCC FAQ for lots more information.

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]
Other format:	[Raw text]

Re: Cygwin ppl problem

From: Arnaud Lacombe <lacombar at gmail dot com>
To: "Yann E. MORIN" <yann dot morin dot 1998 at anciens dot enib dot fr>
Cc: crossgcc at sourceware dot org, matthias dot hofmann at tu-dortmund dot de
Date: Sat, 8 May 2010 14:59:31 -0400
Subject: Re: Cygwin ppl problem
References: <f260910b50a8146b3e1794ff59165a69.squirrel@webmail.tu-dortmund.de> <201005082029.41310.yann.morin.1998@anciens.enib.fr> <AANLkTiksiZFR_TQHfJVfkfdwIXLoocP901wLwsqvxjfN@mail.gmail.com>

Hi,

On Sat, May 8, 2010 at 2:56 PM, Arnaud Lacombe <lacombar@gmail.com> wrote:
> Hi,
>
> On Sat, May 8, 2010 at 2:29 PM, Yann E. MORIN
> <yann.morin.1998@anciens.enib.fr> wrote:
>> 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.
>>
> 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, the log message is not correct. It should read "Fix ppl
0.10.2 build with GMP 5.0.1", my bad.

 - Arnaud

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

References:
- Cygwin ppl problem
  - From: Matthias Hofmann
- Re: Cygwin ppl problem
  - From: Yann E. MORIN
- Re: Cygwin ppl problem
  - From: Arnaud Lacombe

Index Nav:	[Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav:	[Date Prev] [Date Next]	[Thread Prev] [Thread Next]