On Fri, Aug 06, 2010 at 05:05:19PM +0200, Richard Guenther wrote:
> 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.
Richard,
Which libppl would get checked? If gcc
loads libppl via -ldl and libcloog also
is directly linked to libppl, would a version
check from gcc be looking at the dl loaded
libppl or the one linked to libcloog? Or
would this do a direct version check with
ppl in gcc and compare that to the answer
from a version check done through cloog's
interfaces?
Jack
