summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--INSTALL7
1 files changed, 5 insertions, 2 deletions
diff --git a/INSTALL b/INSTALL
index 131353edf..f484a8966 100644
--- a/INSTALL
+++ b/INSTALL
@@ -86,5 +86,8 @@ In case of problem.
Please contact us at mpfr@loria.fr, indicating the machine and operating
system used (uname -a), the compiler and version used (gcc -v if you use
-gcc), the version of GMP and MPFR used and a description of the problem
-encountered.
+gcc), the compile options used if any, the version of GMP and MPFR used
+and a description of the problem encountered.
+
+If it is a problem concerning the MPFR compilation or test (i.e. during
+configure, make or make check), please send us a log of the installation.