update isl to version 0.11
[barvinok.git] / polymake / README
bloba97f769f156fa4e6de04ced4b2f9a9afa445a373
1 Minimal polymake client.
3 Compile and install both barvinok and polymake first.
5 Specify the directory containing the polymake Makefile
6 with --with-polymake=/path/to/polymake 
7 Make sure you have installed the Makefile (make install-devel).
9 If the barvinok library is installed in a non-standard location,
10 you may need to specifiy the path of the directory containing
11 barvinok.pc (usually $prefix/lib/pkgconfig) in the PKG_CONFIG
12 environment variable.
13 If you specify the installation directory of barvinok
14 with --with-barvinok=/path/to/barvinok, configure will do this for you.
16 Sven Verdoolaege <skimo@kotnet.org>