Ask Your Question
0

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

asked 2014-02-13 21:31:00 -0600

jml gravatar image

updated 2015-01-13 13:42:14 -0600

FrédéricC gravatar image

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 ...

(more)
edit retag flag offensive close merge delete

Comments

Please format such reports as code, to make them more readable.

Jeroen Demeyer gravatar imageJeroen Demeyer ( 2014-02-15 21:48:03 -0600 )edit

1 answer

Sort by » oldest newest most voted
0

answered 2014-02-15 21:47:44 -0600

Jeroen Demeyer gravatar image

It seems like something in Sage broke your C compiler. What was the last package to install successfully before FLINT failed (see logs/install.log for that)?

From the Sage root directory, what is the output of

$ ./sage --sh
(sage-sh) ldd /opt/gnu/packages/gcc-4.8.2/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.8.2/cc1
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2014-02-13 21:31:00 -0600

Seen: 341 times

Last updated: Feb 15 '14

Related questions