summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaul Zimmermann <Paul.Zimmermann@inria.fr>2019-04-25 14:26:18 +0200
committerPaul Zimmermann <Paul.Zimmermann@inria.fr>2019-04-25 14:26:18 +0200
commit34792d39a227e6836daa23019cab4db594ecc551 (patch)
tree8d8cb4f823b1d56c964fdb0deee771d7837a9d2b
parent471b6ed257a1ac1d2eed0547af67cf755c324dbc (diff)
downloadmpc-git-34792d39a227e6836daa23019cab4db594ecc551.tar.gz
added "Known problems" section
-rw-r--r--INSTALL9
1 files changed, 9 insertions, 0 deletions
diff --git a/INSTALL b/INSTALL
index 163f1dd..c0d981e 100644
--- a/INSTALL
+++ b/INSTALL
@@ -59,6 +59,15 @@ In case of difficulties, please send a description of the problem to
##############################################################################
+Known problems:
+===============
+
+When LD_LIBRARY_PATH is set to various paths, it might confuse the configure
+script, even with --with-gmp and --with-mpfr options. Then try to unset
+LD_LIBRARY_PATH.
+
+##############################################################################
+
Note for AIX users:
===================