Flint compile error sage libgmp (.so.11) clash with installed one '.so.10'

edit

Host system: Linux math11.unice.fr 2.6.32-431.3.1.el6.x86_64 #1 SMP Fri Jan 3 21:39:27 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux

C compiler: /opt/gnu/bin/gcc C compiler version: Using built-in specs. COLLECT_GCC=/opt/gnu/bin/gcc COLLECT_LTO_WRAPPER=/opt/gnu/packages/gcc-4.8.2/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.2/lto-wrapper Target: x86_64-unknown-linux-gnu Configured with: ../../work/gcc-4.8.2/configure --prefix=/opt/gnu --enable-__cxa_atexit --enable-threads=posix --enable-shared --enable-languages=c,c++,fortran,objc --enable-clocale=gnu --enable-cloog-backend=isl --disable-bootstrap --disable-multilib --with-local-prefix=/opt/gnu --with-mpfr=/opt/gnu --with-gmp=/opt/gnu --with-mpc=/opt/gnu --with-system-zlib Thread model: posix gcc version 4.8.2 (GCC)

Patching FLINT. patching file configure patching file configure Configuring FLINT. Configuring...x86_64-Linux Testing __builtin_popcountl...yes Testing native popcount...yes Building FLINT shared library. make[3]: Entering directory /usr/local/src/sage-6.1.1/local/var/tmp/sage/build/flint-2.3.p1/src' if [ "1" -eq "1" ]; then \ make libflint.so; \ fi make[4]: Entering directory/usr/local/src/sage-6.1.1/local/var/tmp/sage/build/flint-2.3.p1/src' /opt/gnu/bin/gcc -fPIC -march=core-avx-i -O2 -pipe -funroll-loops -I/usr/local/src/sage-6.1.1/local/var/tmp/sage/build/flint-2.3.p1/src -I/usr/local/src/sage-6.1.1/local/include -I/usr/local/src/sage-6.1.1/local/include -I/usr/local/src/sage-6.1.1/local/include -c clz_tab.c -o build/clz_tab.lo; /opt/gnu/packages/gcc-4.8.2/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.2/cc1: error while loading shared libraries: libgmp.so.10: cannot open shared object file: No such file or directory make[4]: * [build/clz_tab.lo] Error 1 make[4]: Leaving directory /usr/local/src/sage-6.1.1/local/var/tmp/sage/build/flint-2.3.p1/src' make[3]: *** [library] Error 2 make[3]: Leaving directory/usr/local/src/sage-6.1.1/local/var/tmp/sage/build/flint-2.3.p1/src' Error: Failed to build FLINT shared library.

real 0m0.474s user 0m0.105s sys 0m0.048s

Error installing package flint-2.3.p1

Please email sage-devel (http://groups.google.com/group/sage-d...) explaining the problem and including the relevant part of the log file /usr/local/src/sage-6.1.1/logs/pkgs/flint-2.3.p1.log Describe your computer, operating system, etc. If you want to try to fix the problem yourself, don't just cd to /usr/local/src/sage-6.1.1/local/var/tmp/sage/build/flint-2.3.p1 and type 'make' or whatever is appropriate. Instead, the following commands setup all environment variables correctly and load a subshell for you to debug the error: (cd '/usr/local/src/sage-6.1.1/local/var/tmp/sage/build/flint-2.3.p1' && '/usr/local/src/sage-6.1.1/sage' --sh) When you are done debugging, you can type "exit" to leave the subshell.

make[2]: * [/usr/local/src/sage-6.1.1/local/var/lib/sage/installed/flint-2.3.p1] Error 1 make[2]: Leaving directory /usr/local/src/sage-6.1 ...