From 6d9d91dd3e3e21a80e5f4d980f65fdf0bba865d4 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 6 Sep 2006 12:57:32 +0200 Subject: [PATCH] README: add a warning on (not) using shared libraries --- README | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/README b/README index d3c624f..da29dd4 100644 --- a/README +++ b/README @@ -61,7 +61,10 @@ or If you want shared libraries, then configure with the --enable-shared option. Note that this doesn't work on some systems because we link in libntl, which -is only avaiable as a static library. +is only available as a static library. +Also note that if you have previously installed a shared library of an older +version of barvinok, and you do not install one for this version, then the +linker may pick up the old shared library rather than the new static library. Then -- 2.11.4.GIT