Changes between Version 8 and Version 10 of Ticket #21566


Ignore:
Timestamp:
10/05/16 17:42:27 (3 years ago)
Author:
mkoeppe
Comment:

Replying to embray:

Will this also fix how make actually runs configure for you,

No, probably not. For this ticket, I want to keep configure an optional step of the installation process. (I've updated the description.)

and that configure gets invoked even if you run make clean targets?

Not sure about this one. To keep this ticket manageable, I want to change the top-level Makefile as little as possible. But please do open a ticket that describes make clean issues that ought to be addressed.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21566 – Description

    v8 v10  
    1616 - to separate `make` and `make install`. Our `make install` is a no-op. ANY discussion of this needs to go to ticket #21495, not here.
    1717
    18 We will implement this goal without sacrificing any of the traditional convenience features that Sage-the-distribution has provided for the casual user (such as `sage -i` for installing packages).
     18We will implement this goal without sacrificing any of the traditional convenience features that Sage-the-distribution has provided for the casual user (such as `sage -i` for installing packages; and that `./configure` is an ''optional'' step of the installation process).
    1919
    2020We have a separate task ticket for the following: