- fixed a small oops: iprint() didn't reset the number output format to decimal

[ginac.git] / INSTALL

diff --git a/INSTALL b/INSTALL
index 86c720e05b7d9e1482c7bc79fe77ca3c84e7339d..1494739301671be686b566eab4c6110d91f80980 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -61,7 +61,7 @@ step:         | GCC optimization level:  | comment:
               |  -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
@@ -85,7 +85,10 @@ libreadline and/or the corresponding header files.  Depending on what
 your system/distribution is, you will have to install a package called
 libreadline and maybe libreadline-dev.  If your system's vendor
 doesn't supply such packages, go to <ftp://ftp.gnu.org/gnu/readline/>
-and compile it yourself.  After that it should work fine.
+and compile it yourself.  After that it should work fine.  
+
+If you want to build a completely static ginsh and your compiler still
+complains about unresolved objects try linking with libncurses, too.
 
 
 Working with the Cint C++ interpreter
@@ -105,5 +108,5 @@ Good luck!
 
   Known to work with:  |  Known not to work with:
 -----------------------+----------------------------
-  Cint 5.14.25         |  Cint 5.14.24
-  Cint 5.14.26         |  Cint 5.14.29
+  Cint 5.14.31         |  Cint before 5.14.29
+