On Fri, Aug 6, 2010 at 4:49 PM, Jack Howarth <howa...@bromo.med.uc.edu> wrote: > 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.
We can include a runtime version check. Richard. > Jack >
