Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
src/bin/sage-src-env-config.in: New, sourced in src/bin/sage
Browse files Browse the repository at this point in the history
  • Loading branch information
Matthias Koeppe committed Nov 13, 2020
1 parent d372ecf commit 0140f84
Show file tree
Hide file tree
Showing 4 changed files with 45 additions and 1 deletion.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -130,6 +130,7 @@ src/*.egg-info/
/src/build
/src/Makefile
/src/bin/sage-env-config
/src/bin/sage-src-env-config

# Virtual environments
src/.env
Expand Down
2 changes: 1 addition & 1 deletion configure.ac
Original file line number Diff line number Diff line change
Expand Up @@ -393,7 +393,7 @@ SAGE_SPKG_COLLECT()

dnl AC_CONFIG_HEADERS([config.h])
AC_CONFIG_FILES([build/make/Makefile-auto build/make/Makefile])
AC_CONFIG_FILES([src/bin/sage-env-config build/bin/sage-build-env-config])
AC_CONFIG_FILES([src/bin/sage-env-config src/bin/sage-src-env-config build/bin/sage-build-env-config])

AC_CONFIG_FILES([build/pkgs/sage_conf/src/sage_conf.py build/pkgs/sage_conf/src/setup.cfg])

Expand Down
4 changes: 4 additions & 0 deletions src/bin/sage
Original file line number Diff line number Diff line change
Expand Up @@ -64,6 +64,10 @@ if [ -x "$0-config" ]; then
export SAGE_ROOT=$("$0-config" SAGE_ROOT)
export SAGE_LOCAL=$("$0-config" SAGE_LOCAL)
fi
if [ -f "$0-src-env-config" ]; then
# Not installed script, present only in src/bin/
. "$0-src-env-config" >&2
fi
if [ -x "$0-venv-config" ]; then
# installed by setup.py
export SAGE_VENV=$("$0-venv-config" SAGE_VENV)
Expand Down
39 changes: 39 additions & 0 deletions src/bin/sage-src-env-config.in
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
# -*- shell-script -*- @configure_input@

###########################################################################
#
# Set some environment variables that are needed at the runtime of Sage
# and by its child processes.
#
# This file is only for use when sage is invoked from SAGE_ROOT.
# It is not installed in SAGE_LOCAL.
#
# NOTES:
# - You must *source* this script instead of executing.
# - Use "return" instead of "exit" to signal a failure. Since this
# file is sourced, an "exit" here will actually exit src/bin/sage,
# which is probably not intended.
# - Environment variables that should be available in the Sage environment
# should be exported.
# - This file is only for setting immediate values. Any kind of conditionals
# or computed values are to be set by src/bin/sage-env after sourcing this
# file.
# - Environment variables that are only needed at the time of building
# SPKGs or sagelib should be set in build/bin/sage-build-env-config
# instead.
# - Configuration variables that are only needed by the Sage runtime,
# but not as environment variables, should instead be set in
# build/pkgs/sage_conf/src/sage_conf.py
#
##########################################################################

# SAGE_LOCAL is the installation prefix and can be customized by using
# ./configure --prefix
export SAGE_LOCAL="@prefix@"

# SAGE_VENV is the root of the virtual environment of sagelib.
# Currently, it is identical to SAGE_LOCAL
export SAGE_VENV="@prefix@"

# SAGE_ROOT is the location of the Sage source/build tree.
export SAGE_ROOT="@SAGE_ROOT@"

0 comments on commit 0140f84

Please sign in to comment.