Build PPL under cygwin fails
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? Thank you, Matthias
On Thu, May 6, 2010 at 10:48 AM, Matthias Hofmann <matthias.hofmann@tu-dortmund.de> 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?
My first idea lately in cases like this, is to check if the libraries are 32bit or 64bit and see if all is compatible... look in the config.log to see more details about what went wrong. Michael
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@cs.unipr.it
participants (3)
-
Matthias Hofmann -
Michael Classen -
Roberto Bagnara