- Included manpage in dist.
[ginac.git] / INSTALL
diff --git a/INSTALL b/INSTALL
index a7ef9beb7766a483be1d610954054b77adb93204..be6b5784990aa9d87f943b3c3827fa28eca54901 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -33,7 +33,7 @@ As with any autoconfiguring GNU software, installation is as easy as this:
  $ make install
 
 Known to work with:
  $ make install
 
 Known to work with:
-  - Linux/x86, EGCS-1.1.2 or GCC 2-95.1/2-95.2
+  - Linux/x86, EGCS-1.1.x and GCC 2-95.x
 
 The "configure" script can be given a number of options to enable and
 disable various features. For a complete list, type:
 
 The "configure" script can be given a number of options to enable and
 disable various features. For a complete list, type:
@@ -61,7 +61,7 @@ step:         | GCC optimization level:  | comment:
               |  -O0   |  -O1   |  -O2   |
 --------------+--------+--------+--------+-------------------------------
 make          |  ~4m   |  ~6m   |  ~10m  | building shared and static lib
               |  -O0   |  -O1   |  -O2   |
 --------------+--------+--------+--------+-------------------------------
 make          |  ~4m   |  ~6m   |  ~10m  | building shared and static lib
-make check    |  ~2m   |  ~2m   |  ~7m   | mostly due to compilation
+make check    |  ~3m   |  ~3m   |  ~7m   | mostly due to compilation
 
 
 COMMON PROBLEMS
 
 
 COMMON PROBLEMS
@@ -108,5 +108,8 @@ Good luck!
 
   Known to work with:  |  Known not to work with:
 -----------------------+----------------------------
 
   Known to work with:  |  Known not to work with:
 -----------------------+----------------------------
-  Cint 5.14.31         |  Cint before 5.14.29
+  Cint 5.14.38         |  Cint before 5.14.37
 
 
+Due to a bug in Cint 5.14.38 compilation will fail with GCC 2.95.2,
+maybe even with all 2.95.x.  Currently you must use EGCS-1.1.x.  This
+is under investigation.