6 | | |
| 6 | --------- |
| 7 | |
| 8 | Note that this spurious GMP installation isn't even triggered before some of spkgs dependent on GMP are installed, e.g. MPFR happily installs long before it's started on GMP. |
| 9 | I get |
| 10 | {{{ |
| 11 | $ ldd local/lib/libmpfr.so |
| 12 | linux-vdso.so.1 (0x00007ffcc02e9000) |
| 13 | libgmp.so.10 => /usr/lib64/libgmp.so.10 (0x00007f9345368000) |
| 14 | libc.so.6 => /lib64/libc.so.6 (0x00007f9345199000) |
| 15 | /lib64/ld-linux-x86-64.so.2 (0x00007f9345696000) |
| 16 | }}} |
| 17 | but the beginning of MPFR install log says, wrongly, |
| 18 | {{{ |
| 19 | --with-gmp="/mnt/opt/Sage/sage-dev/local" |
| 20 | }}} |
| 21 | (OK, MPFR can be "helped" by its own spkg-configure.m4, not yet there, but if on a system there is no MPFR is should just build with the chosen GMP) |