Opened 3 years ago

Last modified 8 weeks ago

#21707 needs_review enhancement

Split sage-env into sage-build-env and sage-env — at Initial Version

Reported by: mkoeppe Owned by:
Priority: major Milestone: sage-8.9
Component: build Keywords:
Cc: embray, jdemeyer, leif, fbissey, dimpase Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Description

sage-env is used by both Sage-the-distribution while building packages, and by Sage at runtime.

It should be split into two separate scripts.

  • sage-build-env should go into build/bin and not be installed.
  • sage-env should be installed by src/setup.py (thus very late in the build process), rather than by build/make/Makefile.

(sage-env will be very short and at some point hopefully disappear, if we want sagelib to become a standalone Python library - #21507)

This is a step towards the cleaning of src/bin as described in #21569, #21570, #21559.

Change History (0)

Note: See TracTickets for help on using tickets.