Changes between Initial Version and Version 2 of Ticket #21501


Ignore:
Timestamp:
09/15/16 13:20:52 (4 years ago)
Author:
jdemeyer
Comment:

Replying to felixs:

SAGE_LOCAL is an internal directory and an implementation detail currently.

I am not changing that. I still consider it an implementation detail.

can you please give some more insight on what you are trying to achieve with the customized SAGE_LOCAL?

I am allowing Sage to be installed in a custom directory, which is not $SAGE_ROOT/local.

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #21501 – Description

    initial v2  
    1 See #21479 for the rationale.
     1This ticket allows a `$SAGE_LOCAL` directory different from `$SAGE_ROOT/local`.
     2
     3The idea is that #21479 would set `$SAGE_LOCAL` to the `--prefix` chosen by the user.