public inbox for gcc-help@gcc.gnu.org
 help / color / mirror / Atom feed
* Configure script for gcc 4.7.2 fails with no ppl
@ 2012-11-27  6:21 Steve Lorimer
  0 siblings, 0 replies; only message in thread
From: Steve Lorimer @ 2012-11-27  6:21 UTC (permalink / raw)
  To: gcc-help

I'm trying to configure GCC 4.7.2, but it's failing with configure:
error: Unable to find a usable PPL

I've looked in GCC prerequisites page and PPL isn't mentioned anywhere.

I'm using CLooG 0.17.0, which uses ISL, and as such no longer requires
PPL (as far as I can tell)

Is there some other requirement on PPL in GCC which means I still need
PPL, or am I missing some flag from my configure line?

I am passing the following options to configure:

--enable-cloog-backend=isl
--with-cloog=$PREFIX
--with-isl=$PREFIX
--with-gmp=$PREFIX
--with-mpfr=$PREFIX
--with-mpc=$PREFIX

Thanks
Steve

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2012-11-27  6:21 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-11-27  6:21 Configure script for gcc 4.7.2 fails with no ppl Steve Lorimer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).