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:56:14 -0400
Subject: Re: Cygwin ppl problem
References: <f260910b50a8146b3e1794ff59165a69.squirrel@webmail.tu-dortmund.de> <201005082029.41310.yann.morin.1998@anciens.enib.fr>

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.

Regards,
 - Arnaud

Attachment: 0001-Fix-PPL-build-with-GMP-5.x.x.patch
Description: Binary data

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

Follow-Ups:
- Re: Cygwin ppl problem
  - From: Arnaud Lacombe
- Re: Cygwin ppl problem
  - From: Yann E. MORIN

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

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