[PPL-devel] [Fwd: Re: [ppl 0.10.2] gmp not found when compiled shared for mingw32 host (-> .dll.a)]

[Roberto Bagnara]

-------- 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 at ruhr-uni-bochum.de>
To: Roberto Bagnara <bagnara at cs.unipr.it>
References: <4A5EEC4A.7060706 at ruhr-uni-bochum.de> <4A5FFA47.3050702 at 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 at cs.unipr.it