-------- 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.

-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it