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 -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it