[PPL-devel] Build PPL under cygwin fails

[Roberto Bagnara]

On 05/06/10 10:48, Matthias Hofmann wrote:
> Hi,
>
> due to configure, the PPL build fails under cygwin with the following
> error message:
>
> checking for ld used by GCC... /usr/i686-pc-cygwin/bin/ld.exe
> checking if the linker (/usr/i686-pc-cygwin/bin/ld.exe) is GNU ld... yes
> checking for shared library run path origin... done
> checking how to link with libgmp... /usr/gmp/lib/libgmp.a
> checking how to link with libgmpxx... /usr/gmp/lib/libgmpxx.a
> /usr/gmp/lib/libgm
> p.a
> checking for the GMP library version 4.1.3 or above... no
> configure: error: Cannot find GMP version 4.1.3 or higher.
> GMP is the GNU Multi-Precision library:
> see http://www.swox.com/gmp/ for more information.
> When compiling the GMP library, do not forget to enable the C++ interface:
> add --enable-cxx to the configuration options.
>
> I have build and installed gmp-5.0.1 into the directory /usr/gmp
> previously and compiled it with --enable-cxx.
>
> Any solutions or ideas?

Hi Matthias,

GMP 5.0.0 contains a change that is not backward compatible.  See
http://www.cs.unipr.it/pipermail/ppl-devel/2010-January/015872.html for a
workaround.  This is already fixed in the Git repository and so PPL 0.11
will be OK.  You can download a snapshot of PPL 0.11 from

   ftp://ftp.cs.unipr.it/pub/ppl/snapshots/

Please let us know how it goes.
Thanks for reporting,

     Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it