<p>
To execute one of the commands, type for example `make all'. Building
all libraries takes somewhere between 10 minutes and 1 hour,
- depending on your machine and requires 200-400 MB of free disk
+ depending on your machine and requires about 1.1 GB of free disk
space. If you have a multi-processor machine, you can call `make -j4
target-name' to let `make' call multiple instances of the compiler
(in this case four). This speeds up compilation by about
neither debugging information nor assertions. They are therefore much
smaller and your program will run significantly faster (the
performance penalty of the <code>.g</code> libraries is
- between a factor of two and four, depending on which parts of
+ between a factor of two and ten, depending on which parts of
the libraries you use). Furthermore, these libraries are
compiled with optimization options of the compiler.
</p>