polymake/README: mention --with-barvinok configure option
commitef2a7192d6fab3c11ead8adc8226d2f9a151a2ec
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 21 Sep 2007 18:58:07 +0000 (21 20:58 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 21 Sep 2007 19:02:15 +0000 (21 21:02 +0200)
tree1139ce2f97a71c48cb1f5fcf643b53014e686bd6
parent4190ee12bc9ec58f213704a7397cfbb7ea336fdf
polymake/README: mention --with-barvinok configure option

This was introduced a long time ago and should be more
convenient than setting PKG_CONFIG_PATH manually.
polymake/README