Changes between Initial Version and Version 2 of Ticket #27641


Ignore:
Timestamp:
04/11/19 11:20:13 (3 years ago)
Author:
embray
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #27641

    • Property Status changed from new to needs_review
  • Ticket #27641 – Description

    initial v2  
    33This demonstrates a use case for this in mpir, where no matter what else it is imperative to set a value for `SAGE_MP_LIBRARY` (even if we are not installing the mpir SPKG, or the SPKG is already installed).
    44
    5 It will maybe be more clear why this is needed in a follow-up I will add next.
     5The follow-up ticket #27642 might make more clear why this is useful: If some SPKG is already installed we shouldn't bother checking for it on the system, so we skip the dependency checks.  But we may still want to perform other package-specific configure actions.
    66
    77One thing I don't like about this entirely is that it would seem clearer and more logical to make the "pre" argument come before the other arguments.  However, since it's optional, and is not used for many packages, I thought it would be better to add it to the end of the argument list and not have to update every `spkg-configure.m4` to pass an empty value for the first argument.