Use bundled PolyLib by default
commit68dc3f00584e4ea0893190806eb5f31512d48db2
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 7 Sep 2007 19:56:27 +0000 (7 21:56 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 8 Sep 2007 07:20:56 +0000 (8 09:20 +0200)
tree9effe04e9455712c59cce37daefba58370b68d59
parentbeefe89db56fe0aed9963449cf9a15f05a019a83
Use bundled PolyLib by default

The configure option --with-polylib which was used to specify
the prefix of the installed PolyLib has been renamed to
--with-polylib-prefix.  The option --with-polylib is now
used to specify whether to use the installed (system)
PolyLib or the bundled PolyLib.

Since we now bundle PolyLib, the system PolyLib is assumed
to have all the required features.
17 files changed:
DomainConstraintSimplify.c [deleted file]
Makefile.am
README
autogen.sh
barvinok/util.h
configure.in
genfun.cc
omega/Makefile.am
omega/convert.cc
omega/count.cc
options.c
piptest.c
piputil.c
remove_equalities.h
util.c
verif_ehrhart.c
verify_lexsmaller.c