-
-
Notifications
You must be signed in to change notification settings - Fork 598
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
Provided a default value for SAGE_ROOT that can be overridden by an environment variable or configuration file #39885
base: develop
Are you sure you want to change the base?
Conversation
…nvironment variable or configuration file
Documentation preview for this PR (built with commit 83e10d2; changes) is ready! 🎉 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks!
The fallback
Line 7 in 871ba9d
conf_data.set('SAGE_ROOT', meson.current_source_dir() / '..' / '..') |
src/sage/env.py
Outdated
@@ -192,7 +192,8 @@ def var(key: str, *fallbacks: Optional[str], force: bool = False) -> Optional[st | |||
SAGE_SPKG_INST = var("SAGE_SPKG_INST", join(SAGE_LOCAL, "var", "lib", "sage", "installed")) # deprecated | |||
|
|||
# source tree of the Sage distribution | |||
SAGE_ROOT = var("SAGE_ROOT") # no fallback for SAGE_ROOT | |||
DEFAULT_SAGE_ROOT = "" |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think you can simply inline this variable.
As mentioned in #39870 (comment),
the variables are assigned the wrong fallback (involving |
@antonio-rojas @tobiasdiez thanks for your help, I had applied the changes please review |
Co-authored-by: Antonio Rojas <[email protected]>
I still think that |
This PR fixes #39870
added following code to
env.py
to ensure that
SAGE_ROOT
is not hardcoded and can be dynamically set or overridden📝 Checklist
⌛ Dependencies