tox.ini (local): Add environment variables to skip system package installs and other steps, add mechanism for a local interactive shell #31216
Description
(from #31064)
We add the following to the local-... environments:
- an environment variable that can be passed to tox to skip system package installs, directly reusing a previously set up system
SKIP_SYSTEM_PKG_INSTALL=yes tox -e local-homebrew-macos-standard -- config.status
SKIP_SYSTEM_PKG_INSTALL=yes tox -e local-homebrew-macos-standard -- config.status
This can save time and also give developers more control for experiments with system packages.
- a target that gives an interactive shell in the tox environment:
tox -e local-homebrew-macos-standard -- bash
tox -e local-direct -- bash
SKIP_SYSTEM_PKG_INSTALL=yes SKIP_BOOTSTRAP=1 SKIP_CONFIGURE=1 tox -e local-homebrew-macos-standard -- bash
Depends on #30944
CC: @tobiasdiez @kliem @dimpase
Component: porting
Author: Matthias Koeppe
Branch/Commit: 2d84b5a
Reviewer: Tobias Diez
Issue created by migration from https://trac.sagemath.org/ticket/31216