From ef2a7192d6fab3c11ead8adc8226d2f9a151a2ec Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 21 Sep 2007 20:58:07 +0200 Subject: [PATCH] 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 | 2 ++ 1 file changed, 2 insertions(+) diff --git a/polymake/README b/polymake/README index 6beda96..a97f769 100644 --- a/polymake/README +++ b/polymake/README @@ -10,5 +10,7 @@ If the barvinok library is installed in a non-standard location, you may need to specifiy the path of the directory containing barvinok.pc (usually $prefix/lib/pkgconfig) in the PKG_CONFIG environment variable. +If you specify the installation directory of barvinok +with --with-barvinok=/path/to/barvinok, configure will do this for you. Sven Verdoolaege -- 2.11.4.GIT