summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--INSTALL4
1 files changed, 4 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index e685550c4..bf204246a 100644
--- a/INSTALL
+++ b/INSTALL
@@ -236,6 +236,10 @@ the values obtained from GMP may be incorrect if GMP has been built
on a different machine. In such a case, the user may need to specify
CC/CFLAGS as explained below.
+Moreover, even without --with-gmp-build and --enable-gmp-internals,
+MPFR might use some GMP internals by mistake. This would be a bug,
+which should be reported to the MPFR developers.
+
Run "./configure --help" to see the other options (default options
from Autoconf and Automake).