-------- Original Message -------- Subject: Re: [PPL-devel] [ppl 0.10.2] gmp not found when compiled shared for mingw32 host (-> .dll.a) Date: 17 Jul 2009 08:36:20 +0200 From: Heiko Lechner Heiko.Lechner@ruhr-uni-bochum.de To: Roberto Bagnara bagnara@cs.unipr.it References: 4A5EEC4A.7060706@ruhr-uni-bochum.de 4A5FFA47.3050702@cs.unipr.it
Hi!
I compiled ppl with:
CPPFLAGS="-fexceptions" ../ppl-0.10.2/configure\ --host=i686-pc-mingw32 --target=i686-pc-mingw32\ --prefix=/home/heiko/mw32htools\ --with-libgmp-prefix=/home/heiko/mw32htools\
It didn't recognize the shared libs, because of the .dll.a, and so didn't add "/home/heiko/mw32htools/include" to the include path .
After adding the path manually it could not compile, because the linker didn't find libgmpxx (maybe because it is called libgmpxx.dll.a- could be a libtool issue?).
Heiko.
Roberto Bagnara schrieb:
Hello Heiko,
generally speaking, it is not enough to set CPPFLAGS. You should rather configure with something like
--with-libgmpxx-prefix=/home/heiko/mw32htoolsSee README.configure for more details. All the best,
RobertoP.S. Note that in the next PPL release the --with-libgmpxx-prefix will be substituted with --with-gmp-prefix.