Opened 2 years ago

Last modified 2 years ago

#29052 closed enhancement

Create build/bin/sage-build-env and call it from build/make/deps; add sage --buildsh — at Initial Version

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

Status badges


This is part of #21707 - "Split sage-env into 5".

We set up a new configure-generated, to-be-sourced shell script build/bin/sage-build-env to which we move environment variable settings from src/bin/sage-env[-config] that are only needed for:

  1. Sage-the-distribution while building spkgs,
  2. Sage-the-distribution for building sagelib.

The new script sources src/bin/sage-env.

We add a command sage --buildsh, like sage --sh but using the larger environment.

Change History (0)

Note: See TracTickets for help on using tickets.