diff options
author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-12 13:39:57 +0000 |
---|---|---|
committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2018-09-12 13:39:57 +0000 |
commit | 283bc2d36c5ea0df3e047217b0392d9a1119cd6d (patch) | |
tree | fa9d1e34968d43b0832996124692cd266f9d6864 | |
parent | 140fba5fcc72075f316332e16b649042d6454f5c (diff) | |
download | mpfr-283bc2d36c5ea0df3e047217b0392d9a1119cd6d.tar.gz |
[configure.ac] Do not check for CC and CFLAGS in gmp.h if mini-gmp is
used, i.e. if --enable-mini-gmp (current option) or --with-mini-gmp
(future option) is given.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13180 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r-- | configure.ac | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/configure.ac b/configure.ac index 26ff9e60e..d2730f55b 100644 --- a/configure.ac +++ b/configure.ac @@ -216,7 +216,15 @@ dnl Warning! The following tests must be done before Autoconf selects 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. -if test -z "$user_redefine_cc" && test "$cross_compiling" != yes ; then +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). + +if test -z "$user_redefine_cc" && \ + test "$cross_compiling" != yes && \ + test "${enable_mini_gmp+set}" != set && \ + test "${with_mini_gmp+set}" != set ; then dnl We need to guess the C preprocessor instead of using AC_PROG_CPP, dnl since AC_PROG_CPP implies AC_PROG_CC, which chooses a compiler |