On Thu, Jul 23, 2009 at 08:17, John Marshall<jm18@xxxxxxxxxxxx> wrote: > Attempting to configure cloog-ppl-0.15.4, downloaded from > ftp://gcc.gnu.org/pub/gcc/infrastructure/, with --with-ppl=/path/to/ppl > fails due to more or less ignoring the --with-ppl parameter. It appears > that the configure script has not been regenerated after this change: > > http://repo.or.cz/w/cloog-ppl.git?a=commitdiff;h=b9d79c9bdec8536fcab3726c96eb12f0f61d900e;hp=b799b306cab2355ee58761ae358f1566743704a1 > > $ tar tvfz cloog-ppl-0.15.4.tar.gz |grep configure > -rwxr-xr-x seb/seb 747606 2009-05-15 17:44 cloog-ppl-0.15.4/configure > -rw-r--r-- seb/seb 14022 2009-07-06 16:08 > cloog-ppl-0.15.4/configure.in I will upload another package with this fixed. Thanks for reporting this, Sebastian
