Configure fails for "Generic C build"

[Juro Bystricky]

 

My environment is MSYS/MINGW.

When configuring GMP release 4.1.4 for various CPUs (Athlon, pentium,pentium2, etc.) there are no problems.

For example, the following works correctly:

 

/e/gmp/gmp-4.1.4/configure --enable-alloca=malloc-reentrant --disable-static --enable-shared --host=athlon-pc-mingw32 --prefix=/e/gmp/gmp-4.1.4

 

However, when configuring for the "Generic C build" with the following command line:

 

/e/gmp/gmp-4.1.4/configure --enable-alloca=malloc-reentrant --disable-static --enable-shared --host=none-pc-mingw32 --prefix=/e/gmp/gmp-4.1.4

 

or (as suggested by the GMP manual example)

 

/e/gmp/gmp-4.1.4/configure --enable-alloca=malloc-reentrant --disable-static --enable-shared --host=none-unknown-mingw32 --prefix=/e/gmp/gmp-4.1.4

 

configuration fails with an error:

 

[snip]

checking for clock_gettime... no
checking for cputime... no
checking for getpagesize... yes
checking for getrusage... no
checking for gettimeofday... no
checking for localeconv... yes
checking for memset... yes
checking for mmap... no
checking for mprotect... yes
checking for obstack_vprintf... no
checking for popen... yes
checking for processor_info... no
checking for read_real_time... no
checking for sigaction... no
checking for sigaltstack... no
checking for sigstack... no
checking for syssgi... no
checking for strchr... yes
checking for strnlen... no
checking for strtoul... yes
checking for sysconf... no
checking for sysctl... no
checking for sysctlbyname... no
checking for times... no
checking for vsnprintf... yes
checking whether vsnprintf works... no
checking whether sscanf needs writable input... no
checking for mp_limb_t... no
checking size of mp_limb_t... 0
configure: error: some sort of compiler problem, mp_limb_t doesn't seem to work

 

 

Since I followed the instructions in the GMP manual and the configuration fails, I decided to report this as a bug.

For more details, I attached the resulting "config.log".

 

Thanks

 

Juro

 

 

 

 

config.log
Description: Binary data