[ppl 0.10.2] gmp not found when compiled shared for mingw32 host (-> .dll.a)
Hi! I compiled gmp for mingw32: CPPFLAGS=-fexceptions ../gmp-4.3.1/configure\ --host=i686-pc-mingw32 --target=i686-pc-mingw32\ --prefix=/home/heiko/mw32htools\ --enable-cxx --disable-static --enable-shared And after that I tried to compile ppl, but it didn't find gmp. Configure does not add the include path "/home/heiko/mw32htools/include" to the flags. I guess that it is because the shared libs are named "libgmp.dll.a" and "libgmpxx.dll.a". I now added the include path via CPPFLAGS, and build fails because ld can not find -lgmpxx... I think a shared gmp is not quite a good idea... Any suggestions? TIA, Heiko.
Heiko Lechner wrote:
I compiled gmp for mingw32:
CPPFLAGS=-fexceptions ../gmp-4.3.1/configure\ --host=i686-pc-mingw32 --target=i686-pc-mingw32\ --prefix=/home/heiko/mw32htools\ --enable-cxx --disable-static --enable-shared
And after that I tried to compile ppl, but it didn't find gmp. Configure does not add the include path "/home/heiko/mw32htools/include" to the flags. I guess that it is because the shared libs are named "libgmp.dll.a" and "libgmpxx.dll.a".
I now added the include path via CPPFLAGS, and build fails because ld can not find -lgmpxx...
I think a shared gmp is not quite a good idea...
Any suggestions?
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
participants (2)
-
Heiko Lechner -
Roberto Bagnara