You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
We set up a new configure-generated, to-be-sourced shell script build/bin/sage-build-env-config to which we move environment variable settings from src/bin/sage-env[-config] that are only needed for:
Sage-the-distribution while building spkgs,
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.
Follow-up:
build/make/install contains more environment settings that should be reviewed for moving to sage-build-env-config