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 Version 1

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

Description (last modified by mkoeppe)

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 is used in addition to src/bin/sage-env in these two contexts.

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

Change History (1)

comment:1 Changed 2 years ago by mkoeppe

  • Description modified (diff)
Note: See TracTickets for help on using tickets.