-------- 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/mw32htools

See README.configure for more details. All the best,

Roberto

P.S. Note that in the next PPL release the --with-libgmpxx-prefix will be substituted with --with-gmp-prefix.