Hi Jeroen,
Sorry for the delay, here is the output you requested
>From shell:
linux-vdso.so.1 (0x7fffd39e8000)
libmpc.so.3 => not found
libmpfr.so.4 => /usr/lib64/libmpfr.so.4 (0x7fa61e11)
libgmp.so.11 => not found
libdl.so.2 => /lib64/libdl.so.2 (0x7fa61df0800
I tried building in from source and this is the error I got. any help would be
greatly appreciated.
Thanks!
Shahab
C compiler: gcc
C compiler version:
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/data2/sage-5.11/local/lib/gcc