diff options
author | tege <tege@gmplib.org> | 2006-04-21 19:58:31 +0200 |
---|---|---|
committer | tege <tege@gmplib.org> | 2006-04-21 19:58:31 +0200 |
commit | 5d34a7dadb91f62397d64a78817a37a241174fe2 (patch) | |
tree | c67aa03d0452701cfeeb7de9d59acef1d8900449 /INSTALL | |
parent | 18d2226e6e996c3532b57414be1e541c557a4053 (diff) | |
download | gmp-5d34a7dadb91f62397d64a78817a37a241174fe2.tar.gz |
Misc updates.
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 13 |
1 files changed, 10 insertions, 3 deletions
@@ -1,4 +1,5 @@ -Copyright 1996, 1997, 1999, 2000, 2001, 2002 Free Software Foundation, Inc. +Copyright 1996, 1997, 1999, 2000, 2001, 2002, 2006 Free Software Foundation, +Inc. This file is part of the GNU MP Library. @@ -41,12 +42,18 @@ impatient, try this ./configure make + make check <= VERY IMPORTANT!! If that fails, or you care about the performance of GMP, you need to read the full instructions in the chapter "Installing GMP" in the manual. -Optionally, you can install with the following. This will be to /usr/local by -default, and you'll probably need to be "root" to be able to write there. +You should not skip the "make check" part; the risk that the GMP sources are +miscompiled are unfortunately quite high. And if they indeed are, "make check" +is very likely to trigger the compiler-introduced bug. + +Optionally, you can install the library with the following command. This will +be to /usr/local by default, and you'll probably need to be "root" to be able +to write there. make install |