From 3350f7f058947f3046d896f636a273b67e715c9f Mon Sep 17 00:00:00 2001 From: Matthias Koeppe Date: Sat, 16 Dec 2023 15:48:35 -0800 Subject: [PATCH] sage.env, sage.misc.package: Use SAGE_LOCAL_SPKG_INST to avoid clash with SAGE_SPKG_INST set by sage-spkg --- src/bin/sage-env | 2 +- src/sage/env.py | 3 ++- src/sage/misc/package.py | 4 ++-- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/src/bin/sage-env b/src/bin/sage-env index 29b96c3c895..8fcfda48fb6 100644 --- a/src/bin/sage-env +++ b/src/bin/sage-env @@ -228,7 +228,7 @@ fi # depending on SAGE_ROOT and SAGE_LOCAL which are already defined. if [ -n "$SAGE_LOCAL" ]; then export SAGE_SHARE="$SAGE_LOCAL/share" - export SAGE_SPKG_INST="$SAGE_LOCAL/var/lib/sage/installed" + export SAGE_SPKG_INST="$SAGE_LOCAL/var/lib/sage/installed" # deprecated fi if [ -n "$SAGE_SHARE" ]; then export SAGE_DOC="$SAGE_SHARE/doc/sage" diff --git a/src/sage/env.py b/src/sage/env.py index a221f33bb82..70a08bc00fd 100644 --- a/src/sage/env.py +++ b/src/sage/env.py @@ -177,7 +177,8 @@ def var(key: str, *fallbacks: Optional[str], force: bool = False) -> Optional[st SAGE_LOCAL = var("SAGE_LOCAL", SAGE_VENV) SAGE_SHARE = var("SAGE_SHARE", join(SAGE_LOCAL, "share")) SAGE_DOC = var("SAGE_DOC", join(SAGE_SHARE, "doc", "sage")) -SAGE_SPKG_INST = var("SAGE_SPKG_INST", join(SAGE_LOCAL, "var", "lib", "sage", "installed")) +SAGE_LOCAL_SPKG_INST = var("SAGE_LOCAL_SPKG_INST", join(SAGE_LOCAL, "var", "lib", "sage", "installed")) +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 diff --git a/src/sage/misc/package.py b/src/sage/misc/package.py index dcae7d0c0fc..cbc36ea65b9 100644 --- a/src/sage/misc/package.py +++ b/src/sage/misc/package.py @@ -390,7 +390,7 @@ def _spkg_inst_dirs(): """ Generator for the installation manifest directories as resolved paths. - It yields first ``SAGE_SPKG_INST``, then ``SAGE_VENV_SPKG_INST``, + It yields first ``SAGE_LOCAL_SPKG_INST``, then ``SAGE_VENV_SPKG_INST``, if defined; but it both resolve to the same directory, it only yields one element. @@ -402,7 +402,7 @@ def _spkg_inst_dirs(): """ last_inst_dir = None - for inst_dir in (sage.env.SAGE_SPKG_INST, sage.env.SAGE_VENV_SPKG_INST): + for inst_dir in (sage.env.SAGE_LOCAL_SPKG_INST, sage.env.SAGE_VENV_SPKG_INST): if inst_dir: inst_dir = Path(inst_dir).resolve() if inst_dir.is_dir() and inst_dir != last_inst_dir: