GCC 4.7.2 Configure fails with latest version of ppl

[Steve Lorimer]

I'm trying to configure gcc 4.7.2 with the latest version of ppl (version 1.0)

Configure fails saying it has no usable version.

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)

Is this a known bug, or should I not be using this version of ppl?

Thanks
Steve