Skip to content
Advertisement

GCC 4.7.2 requires ppl?

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

For completeness, my full configure line is as follows:

JavaScript

Update:

In order to try make forward progress I decided to add PPL to my installation list, and add --with-ppl=$PREFIX to my configure line.

Configure still fails with configure: error: Unable to find a usable PPL

It seems this is a bug in the configure script: Configure fails if PPL_MINOR_VERSION < 11

With the latest version PPL_MINOR_VERSION=0 (and PPL_MAJOR_VERSION=1)

Advertisement

Answer

The GCC Prerequisites page jumped the gun and is showing the prerequisites for GCC 4.8.

GCC 4.7.2 still uses PPL instead of ISL, as evidenced by the lack of --with-isl=PATH in the output of configure:

JavaScript

It’s unfortunate that they don’t maintain prerequisites pages for versions prior to 4.8.

User contributions licensed under: CC BY-SA
4 People found this is helpful
Advertisement