X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=INSTALL;h=7c6258f3889723389732d7913c2cab8e3b229589;hp=ed1c8c50f4f7a767ba00fcc345d74f6f17c9fc5b;hb=359701cc948001e58e6517d88a30fe385d4e42d5;hpb=9161d9595342942ebaa532b6b068db94325d1ee7
diff --git a/INSTALL b/INSTALL
index ed1c8c50..7c6258f3 100644
--- a/INSTALL
+++ b/INSTALL
@@ -51,11 +51,11 @@ also depending on optimization. To give you a rough idea of what you
have to expect the following table may be helpful. It was measured on
an Athlon/800MHz with "enough" memory:
-step: | GCC optimization level: | comment:
- | -O0 | -O1 | -O2 |
---------------+--------+--------+--------+-------------------------------
-make | ~4m | ~5m | ~6m | building shared and static lib
-make check | ~20m | ~11m | ~12m | largely due to compilation
+step | GCC optimization | comment
+ | -O1 | -O2 |
+--------------+---------+---------+----------------------------------------
+make | ~6m | ~8m | shared and static library
+make check | ~8m | ~12m | largely due to compilation
COMMON PROBLEMS
@@ -80,3 +80,18 @@ libreadline and maybe libreadline-dev. If your system's vendor
doesn't supply such packages, go to
and compile it yourself.
+Problems with missing standard header files
+-------------------------------------------
+
+Building GiNaC requires many standard header files. If you get a
+configure error complaining about such missing files your compiler and
+library are probably not up to date enough and it's no worth
+continuing. If the only file missing is , however, there is
+a solution. GCC-2.95.2 and earlier don't ship with this file. A
+working implementation has been available since GCC-2.95.3. GCC-3.0
+and later have an even better, fully standard-conforming
+implementation, by default. If you are stuck with GCC-2.95.2 or
+earlier and you cannot upgrade your compiler we recommend obtaining
+the libstdc++-v2 header written by Magnus Fromreide. It was
+posted to the gcc-patches mailing list on November 21 2000:
+.