configure.in: don't require polylib to have been compiled prior to configure
commit25bc1b2f2c50ec919c640575b14c2e0b1b482247
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 4 Apr 2008 14:50:21 +0000 (4 16:50 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 4 Apr 2008 14:50:21 +0000 (4 16:50 +0200)
tree0720bf97ef6bff5e4b71c48728e7d20c654b635a
parentbf1b9783fd64dcfeb4718383508227e3ac59d811
configure.in: don't require polylib to have been compiled prior to configure

In particular, if --with-polylib-builddir is used, we used to check
for versions of the library that have been built.
However, we may want to configure cloog after configuring PolyLib,
but before compiling it.  We therefore now check for the versions
that are going to be built.
configure.in