Hi there,
we are about to release PPL 0.11 and Sebastian Pop (who is working on GCC/Graphite) encountered a problem we never met, despite the fact that we continuously build the PPL with make -j 7 on a machine with 2 CPUs and 8 cores. The problem is described here https://www.cs.unipr.it/mantis/view.php?id=105 and the Makefile.am that may contain the error is http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=blob_plain;f=src/Makefile.am;hb=HEAD In short, ppl-config is a program whose sources are ppl-config.cc, generated at configure-time, and ppl.hh, generated at build-time. However, in Sebastian's build the automatic dependency mechanism makes ppl-config.o depend on /usr/include/ppl.hh (a file belonging to a previous installation of the PPL) and not the ppl.hh that is/will be built on the current directory. Can some expert give us a hand? I am struggling with this problem since yesterday to no avail: I am unable to reproduce it and to identify in the Automake manual what the cause might be. Many thanks in advance, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it