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


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

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27212, comment 11

    v1 v2  
    1919  --with-gmp="/mnt/opt/Sage/sage-dev/local"
    2020}}}
    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)
     21This is of course as expected, as it's hardwired in its spkg-install, as
     22`sdh_configure --with-gmp="$SAGE_LOCAL"...`
     23
     24It appears to me that instead the main `./configure` should set up something like `SAGE_GMP` to be either `SAGE_LOCAL` or a location computed by GMP's `spkg-configure.m4`, and then this `SAGE_GMP` must be used by MPFR...