From 311b158b8460ce3f80e597026bf3bcf872486837 Mon Sep 17 00:00:00 2001 From: Lubomir Sedlacik Date: Wed, 13 Nov 2002 03:31:42 +0000 Subject: [PATCH] clarify why --with-gmp exists --- INSTALL | 3 +++ 1 file changed, 3 insertions(+) diff --git a/INSTALL b/INSTALL index 7fc09ca4..847e9e68 100644 --- a/INSTALL +++ b/INSTALL @@ -25,6 +25,9 @@ file for more generic installation instructions. library instead of using the MPI library included in the package, you can give the --with-gmp[=DIR] option to the `configure'. The DIR is the upper path in your system which contains lib/ and include/ for GMP library. + Note that MPI is the prefered arbitrary precision arithmetic library and +GMP can be used as a fall-back if you have problems with the MPI library +included within this package (GMP was used as a default library in the past). '--with-iconv[=DIR]' -- 2.24.0