On Tue, 2009-05-12 at 18:46 +0200, Roberto Bagnara wrote: > Any suggestion about how to improve the PPL is welcome. This, of course, > applies also to the build machinery.
Hi Roberto, I added some instructions on how to build to the GCC wiki (end of page): http://gcc.gnu.org/wiki/Graphite_Build They worked with ppl-0.10 and cloog-ppl-0.15 however they now fail with ppl-0.10.2 and cloog-ppl-0.15.3 on cloog-ppl-0.15.3 configure: ... checking for ppl_c.h... no configure: error: Can't find PPL headers. Looking at config.log: configure:20698: gcc -c -g -O2 -I/include -I/n/17/guerby/install-ppl2/gmp-4.2.4/include conftest.c >&5 configure is not adding the -I for ppl hence the failure. I checked and the wanted ppl_c.h was correctly installed so I don't think ppl-0.10.2 is the issue. Looking more at cloog-ppl/configure I find stuff like: << # Check whether --with-ppl or --without-ppl was given. if test "${with_ppl+set}" = set; then withval="$with_ppl" fi; # Check whether --with-polylib_prefix or --without-polylib_prefix was given. if test "${with_polylib_prefix+set}" = set; then withval="$with_polylib_prefix" fi; # Check whether --with-polylib_exec_prefix or --without-polylib_exec_prefix was given. if test "${with_polylib_exec_prefix+set}" = set; then withval="$with_polylib_exec_prefix" fi; # Check whether --with-polylib_builddir or --without-polylib_builddir was given. if test "${with_polylib_builddir+set}" = set; then withval="$with_polylib_builddir" fi; >> Wich is obviously broken since all the tests are setting the same variable $withval and so --with-ppl just doesn't work. I looked at cloog-ppl-0.15 configure and it was ok. Now I don't know how to fix configury stuff but may be someone can help here. Also it would be nice if cloog-ppl-0.15.3.tar.gz top level directory was named with version "cloog-ppl-0.15.3" instead of the current version-less "cloog-ppl". Thanks for your help, Laurent
