Roberto Bagnara wrote:
Dave Korn wrote:
Target: i686-pc-cygwin, cygwin-1.7.0-42, gcc-4.3.2, ppl configured with --enable-shared --disable-static, no -fexceptions, no --enable-cxx.
I am not following here. There are no "-fexceptions" and "--enable-cxx" in the PPL configuration procedure. In contrast, "--enable-cxx" is an option of GMP's configuration procedure. Moreover, if GMP was not compiled with the C++ interface enabled there is no way the PPL can work (even though compilation should fail in such case).
Apologies for being unclear. This is the commandline I used to configure with (from my bash history):
456 ./configure --prefix=/opt/gcc-tools -v --disable-static --enable-shared 2>&1 | tee conf.log
This is the tail of conf.log
configure: WARNING: CANNOT PROPAGATE EXCEPTIONS BACK FROM GMP: *** MEMORY EXHAUSTION MAY RESULT IN ABRUPT TERMINATION. *** This is OK, if you do not plan to use the bounded memory capabilities *** offered by the PPL. Otherwise, if you are using GCC or the Intel C/C++ *** compiler, please make sure you use a version of GMP compiled with the *** `-fexceptions' compiler option. *** To build such a version, you can configure GMP as follows: *** CPPFLAGS=-fexceptions ./configure --enable-cxx --prefix=/usr/local
I just meant to say that I had seen this warning and /not/ acted on it.
Can you send us more details about which version of GMP you are using and how it was configured?
These are the versions:
$ cygcheck -c gmp mpfr Cygwin Package Information Package Version Status gmp 4.2.4-2 OK mpfr 2.4.1-2 OK
As I did not built them myself I do not know what the configuration was, but I found these lines in /usr/include/gmp.h:
/* Instantiated by configure. */ #if ! defined (__GMP_WITHIN_CONFIGURE) /* #undef _LONG_LONG_LIMB */ #define __GMP_LIBGMP_DLL 1 #endif
We also need the files config.log and config.h generated by PPL's configure script.
Do you still want these in light of the above information?
cheers, DaveK