I was able to fix the 64bit-problem by creating the following symbolic links in /usr/lib:
Code: Select all
sudo ln -s /usr/local/lib/libgmpxx.so.4 /usr/lib/libgmpxx.so.4
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/crt1.o /usr/lib/crt1.o
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/crti.o /usr/lib/crti.o
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/crtn.o /usr/lib/crtn.o
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/4.6/crtbegin.o /usr/lib/crtbegin.o
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/4.6/crtbeginS.o /usr/lib/crtbeginS.o
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/4.6/crtend.o /usr/lib/crtend.o
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/4.6/crtendS.o /usr/lib/crtendS.o
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/4.6/libgcc_s.so /usr/lib/libgcc_s.so
sudo ln -s /usr/lib/gcc/x86_64-linux-gnu/4.6/libgcc.a /usr/lib/libgcc.a
Code: Select all
./configure LDFLAGS=-L/usr/lib/gcc/x86_64-linux-gnu/4.6/
I hope that this helps somebody, and would appreciate further feedback.
Best,
Julian