From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Mon, 5 Nov 2001 13:04:36 +0000 (+0000)
Subject: * Remove timing for -O0, people really shouldn't use it.
X-Git-Tag: release_1-0-0~6
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=62be07ab219f58a45bfe40f49f1e45bfb9a60bb4

* Remove timing for -O0, people really shouldn't use it.
---

diff --git a/INSTALL b/INSTALL
index d79649f4..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