[PPL-devel] building ppl under cygwin

[Roberto Bagnara]

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 at cs.unipr.it