The content of config.log is
===
This file contains any messages produced by compilers while
running configure, to aid debugging if configure makes a mistake.
configure:600: checking host system type
configure:621: checking target system type
configure:639: checking build system type
configure:694: checking for a BSD compatible install
configure:747: checking whether ln works
configure:771: checking whether ln -s works
configure:1825: checking for gcc
configure:1938: checking whether the C compiler (gcc ) works
configure:1954: gcc -o conftest conftest.c 1>&5
configure:1980: checking whether the C compiler (gcc ) is a cross-compiler
configure:1985: checking whether we are using GNU C
configure:2013: checking whether gcc accepts -g
configure:2080: checking for gnatbind
configure:2145: checking whether compiler driver understands Ada
configure:2177: checking how to compare bootstrapped objects
configure:2275: checking for correct version of gmp.h
configure:2288: gcc -c -g -O2 conftest.c 1>&5
configure:2278:17: error: gmp.h: No such file or directory
configure: In function 'main':
configure:2282: error: 'choke' undeclared (first use in this function)
configure:2282: error: (Each undeclared identifier is reported only once
configure:2282: error: for each function it appears in.)
configure:2282: error: expected ';' before 'me'
configure: failed program was:
#line 2277 "configure"
#include "confdefs.h"
#include "gmp.h"
int main() {
#if __GNU_MP_VERSION < 3
choke me
#endif
; return 0; }