-
-
Notifications
You must be signed in to change notification settings - Fork 491
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Create build/bin/sage-build-env-config and call it from build/make/deps; add sage --buildsh #29052
Comments
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
Commit: |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:6
Updated the branch that was on #21707. |
This comment has been minimized.
This comment has been minimized.
comment:8
You need to document |
comment:9
Thanks! Will do. |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:12
Merged, ready for review |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
comment:14
Rebased on 9.1.beta3, needs review |
comment:16
some places say what's the correct one? |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:18
Both |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:20
Patchbot errors on Needs review... |
Branch pushed to git repo; I updated commit sha1. New commits:
|
Dependencies: #29233 |
comment:23
ok |
Reviewer: Dima Pasechnik |
comment:24
Thank you! |
comment:25
|
comment:26
was it a build from scratch, or an incremental one? |
comment:27
Both incremental and after "make distclean" |
Branch pushed to git repo; I updated commit sha1. New commits:
|
comment:29
Thanks for catching this. |
Changed reviewer from Dima Pasechnik to Dima Pasechnik, Volker Braun |
comment:30
OK, it works now. The previous iteration somehow built, but didn't work, as it turned out, sorry. |
This is part of #21707 - "Split
sage-env
into 5".We set up a new
configure
-generated, to-be-source
d shell scriptbuild/bin/sage-build-env-config
to which we move environment variable settings fromsrc/bin/sage-env[-config]
that are only needed for:The new script is used in addition to
src/bin/sage-env
in these two contexts.We add a command
sage --buildsh
, likesage --sh
but using the larger environment.Follow-up:
build/make/install
contains more environment settings that should be reviewed for moving tosage-build-env-config
Depends on #29233
CC: @dimpase @embray @jdemeyer @kiwifb @isuruf
Component: build
Author: Matthias Koeppe
Branch/Commit:
2ab9b09
Reviewer: Dima Pasechnik, Volker Braun
Issue created by migration from https://trac.sagemath.org/ticket/29052
The text was updated successfully, but these errors were encountered: