Changes between Initial Version and Version 1 of Ticket #19292


Ignore:
Timestamp:
Sep 25, 2015, 1:38:26 PM (7 years ago)
Author:
Jeroen Demeyer
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #19292 – Description

    initial v1  
    11There is really no reason to source `sage-env` in `configure`. There are a few environment variables needed (like `SAGE_ROOT` and `SAGE_LOCAL`) but these are defined in `configure` anyway.
    22
    3 Also drop `$SAGE_ROOT/build/bin` from the `$PATH`.
     3Also drop `$SAGE_ROOT/build/bin` and `$SAGE_ROOT/src/bin` from the `$PATH`.