Opened 3 years ago

Last modified 4 days ago

#21707 needs_review task

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

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


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/ (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.