From fa34bd7b1a3bb95dc6897297b09ea9992f31c674 Mon Sep 17 00:00:00 2001 From: vlefevre Date: Fri, 14 Sep 2018 11:13:50 +0000 Subject: [configure.ac] Updated comments about configure options for mini-gmp. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13189 280ebfd0-de03-0410-8827-d642c229c3f4 --- configure.ac | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/configure.ac b/configure.ac index d2730f55b..1af04b5d4 100644 --- a/configure.ac +++ b/configure.ac @@ -217,9 +217,8 @@ dnl a compiler. This means that some macros such as AC_PROG_CC and dnl AM_PROG_AR must be put after the following code. dnl We do not do this check if mini-gmp is used. Note that the status of -dnl --enable-mini-gmp and --with-mini-gmp is already available even though -dnl these options will be handled later (at this time, --with-mini-gmp is -dnl not even handled yet). +dnl --enable-mini-gmp is already available even though this option will +dnl be handled later (at this time, --with-mini-gmp is not handled yet). if test -z "$user_redefine_cc" && \ test "$cross_compiling" != yes && \ @@ -369,6 +368,13 @@ AC_ARG_ENABLE(float128, test_libgmp=__gmpz_init +dnl Removed this option? +dnl This option assumes that mini-gmp has already been built (like if +dnl it were a real GMP) and that the corresponding gmp.h is the one of +dnl mini-gmp. Thus the --enable-mini-gmp is misused, because the fact +dnl that mini-gmp is enabled or not is what the gmp.h file contains. +dnl Said otherwise, this should have just been an autodetection. +dnl Note: A future --with-mini-gmp option may make this one obsolete. AC_ARG_ENABLE(mini-gmp, [ --enable-mini-gmp build MPFR with mini-gmp (experimental) [[default=no]]], [ case $enableval in -- cgit v1.2.1