Ralf,
Looking at Fedora 13 and Debian
unstable, I see that their gcc 4.4
compilers are using -ldl to avoid
an explicit linkage on libppl_c, libppl
and libcloog. However this still leaves
them open to a mismatch should they
silently uprgrade libcloog from a
version built against ppl-0.10.2 to
one built against ppl-0.11. The gcc
build is loading the ppl headers via
the cloog headers so one ends up with
a gcc built against older ppl headers
that loads the libcloog.0.* built with
newer ppl headers.
Jack
