For the INSTALL file, you may want to update the compile time(s): make 596.33s user 22.68s system 99% cpu 10:22.74 total make check 465.83s user 11.77s system 99% cpu 8:01.45 total this is on model name : AMD Athlon(tm) 64 Processor 3400+ cpu MHz : 2200.000 cache size : 512 KB (Athlon/800MHz is a bit old-ish by now) Add the AMD64 architecture here: ------------------------------------ Known to work with: - Linux on x86, Alpha and Sparc using GCC 3.x and 4.0. ------------------------------------ after make install ginsh fails with ginsh: error while loading shared libraries: \ libginac-1.4.so.0: cannot open shared object file: No such file or directory running ldconfig fixes the problem. So mention that in the INSTALL file: ------------------------------------ To install from a source .tar.bz2 distribution: $ ./configure $ make [become root if necessary] # make install # ldconfig <--= line added ------------------------------------ ... or trigger ldconfig with the install target cheers, jj