[Ecls-list] Ecl-build can't find existing gmp-lib ?

[Oliver Kullmann]

Hello,

building version 10.4.1 on a 64-bit-Xeon machine
I get the error

cp /home/kullmann/OKplatform/ExternalSources/builds/Ecl/ecl-10.4.1/src/../contrib/unicode/ucd.dat .
if [ -f CROSS-COMPILER ]; then \
                ./CROSS-COMPILER compile; \
        else \
                ECLDIR=`pwd`/ ./ecl_min compile; \
        fi
./ecl_min: error while loading shared libraries: libgmp.so.10: cannot open shared object file: No such file or directory
make[2]: *** [bin/ecl] Error 127
make[2]: Leaving directory `/home/kullmann/OKplatform/ExternalSources/builds/Ecl/ecl-10.4.1/build'

where configure has been called as follows (using line-breaks for better readability):

LDFLAGS=-Wl,-rpath=/home/kullmann/OKplatform/ExternalSources/Installations/Ecl/10.4.1/lib
  ./configure --prefix=/home/kullmann/OKplatform/ExternalSources/Installations/Ecl/10.4.1
  --with-gmp-prefix=/home/kullmann/OKplatform/ExternalSources/Installations/Gmp/4.1.2/5.0.1
  CC=/home/kullmann/OKplatform/ExternalSources/Installations/Gcc/4.1.2/bin/gcc
  CXX=/home/kullmann/OKplatform/ExternalSources/Installations/Gcc/4.1.2/bin/g++


Gmp has been properly installed, and so libgmp.so.10 is there (compiled with the same compiler, gcc version 4.1.2):

ExternalSources> ls -l Installations/Gmp/4.1.2/5.0.1/lib/libgmp.so.10
lrwxrwxrwx 1 kullmann users 16 2010-05-22 17:56 Installations/Gmp/4.1.2/5.0.1/lib/libgmp.so.10 -> libgmp.so.10.0.1
kullmann at cspcab2:~/OKplatform/ExternalSources> ls -l Installations/Gmp/4.1.2/5.0.1/lib/libgmp.so.10.0.1
-rwxr-xr-x 1 kullmann users 490614 2010-05-22 17:56 Installations/Gmp/4.1.2/5.0.1/lib/libgmp.so.10.0.1


I have no clue what is going on here?
(The same works on AMD-64-bit machines and on 32-bit machines.)

Oliver

P.S. Could it be a biarch-thing?