Changes between Initial Version and Version 1 of Ticket #27212, comment 11


Ignore:
Timestamp:
02/07/19 20:01:03 (3 years ago)
Author:
dimpase
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27212, comment 11

    initial v1  
    44So first we have to sort out why GMP is pulled in despite being recognised by configure as not to be installed, no?
    55
    6  
     6---------
     7
     8Note 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.
     9I 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}}}
     17but 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)