On 24.08.2009 15:57, Toon Moene wrote:
Tobias Grosser wrote:
The problem was in the cloog-ppl headers and was fixed in CLooG-ppl
0.15.4 (I think).
We should add a check for ClooG revision to make configure fail on
outdated cloog 0.15 revisions.
I think that's the best option. I was waiting for Debian to include a
current cloog/ppl package, so that I wouldn't have to build it myself (I
use mpc, gmp and mpfr from the standard Debian testing install).
updated. should migrate to testing within ten days. I didn't realize that it's
not merged/updated upstream. Btw, the source tarball is called cloog-ppl on the
ftp site, but the shared library is still called libcloog. Debian did rename the
library to libcloog_ppl as well.
Matthias
