- changed behaviour of numeric::is_rational() and added numeric::is_cinteger()
[ginac.git] / INSTALL
diff --git a/INSTALL b/INSTALL
index 05275655cd99ffea5ce7f7094f64a08183d8dbea..9dba753cf3119f8bb7c6f617a59e6e3db936b7bd 100644 (file)
--- a/INSTALL
+++ b/INSTALL
@@ -44,11 +44,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
 a P-III/500MHz with "enough" memory:
 
-step:         | value of $CXXFLAGS:   | comment:
-              | -O0   | -O1   | -O2   |
---------------+-------+-------+-------+-------------------------------
-make          | ~4m   | ~6m   | ~10m  | building shared and static lib
-make check    | ~2m   | ~2m   | ~7m   | mostly due to compilation
+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
 
 
 Problems with CLN