configure: add --with-polylib-include and --with-polylib-library
commitb5fef7e7bf54802c428ecd19377e8aa4685790a2
authorSebastian Pop <sebastian.pop@inria.fr>
Wed, 21 Feb 2007 15:22:31 +0000 (21 16:22 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Thu, 22 Feb 2007 07:18:12 +0000 (22 08:18 +0100)
tree3bcc672914d18e26ceed5442b3bf0dc5948eea54
parent036b8ff35b3d6b825787bf40692769cbb24bdff1
configure: add --with-polylib-include and --with-polylib-library

These options are needed for building cloog with the polylib still in
its build directory, or installed in a non standard place.
configure.in