Roberto Bagnara wrote:
I don't even know if dynamic linking is supported in Cygwin (notice that the GMP binary package for Cygwin does not seem to include a dynamically loadable library).
After more time on Cygwin, I can say I was wrong. The GMP binary package for Cygwin is indeed shipped with a dynamically loadable library. They produce it with the GMP configure options
--enable-fat --enable-mpsd --enable-cxx --disable-static --enable-shared
To that I have added
--prefix=/usr/local
and I was able to build the PPL under Cygwin by configuring it with only the
--with-libgmp-prefix=/usr/local
option (i.e., no need to specify --disable-shared).
The good news end here. Now the bad ones. A `make check' under Cygwin will fail if you use GCC 4.0.3 (or even GCC 4.0.4). I think this is a miscompilation due to excessive optimization of floating point operations of the kind of the one reported in
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=21067
For comparison, I have checked with GCC 4.3.1 and `make check' passes for CVS HEAD. Notice that this miscompilation should not affect CLooG in any way, as it manifests itself only in the Box numerical abstraction instantiated with a floating point type (and this has nothing to do with the C_Polyhedron abstraction used by CLooG). All the best,
Roberto