genheader.pl: create a header file 'cint_workaround.h' to fix the broken

[ginac.git] / INSTALL

diff --git a/INSTALL b/INSTALL
index 9dba753cf3119f8bb7c6f617a59e6e3db936b7bd..656fd7ef89d1ba62bef154f3ce15f734d432986d 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -54,7 +54,9 @@ make check    |  ~2m   |  ~2m   |  ~7m   | mostly due to compilation
 Problems with CLN
 =================
 
-You should use at least CLN V1.0.2, since all earlier ones are
-somewhat buggy.  Even V1.0.1 has a few problems and GiNaC will not
-support older versions.  Please install it properly on your system
-before continuing with GiNaC.
+You should use at least CLN V1.0.3, since during the development of
+GiNaC various bugs have been discovered and fixed in earlier versions.
+To protect you, the "configure" script checks for a feature that was
+added in V1.0.3 so it won't continue with earlier versions anyhow.
+Please install CLN properly on your system before continuing with
+GiNaC.