Release environment script uses dependencies in local filesystem

This commit is contained in:
Jose Gracia 2024-11-13 11:32:20 +01:00
parent 39e57ffc46
commit c158ff4327

View file

@ -55,13 +55,12 @@ HLRS_SOFTWARE_STACK_RELEASE_VERSION__USER=$(canonize_tag $arg_tag)
HLRS_OPT_PREFIX__USER=$(create_dir $arg_prefix) HLRS_OPT_PREFIX__USER=$(create_dir $arg_prefix)
# Define various repo locations # Define various repo locations
_HLRS_SPACK_PLUMBING_REPO=file://$HOME/spack-test/dummy_repo/release_root.git _HLRS_SPACK_PLUMBING=$(dirname $(dirname $0))
# bootstrap environment variables # bootstrap environment variables
# (using [bash process substitution](https://tldp.org/LDP/abs/html/process-sub.html)) source $_HLRS_SPACK_PLUMBING/envs/00_base_prefix.env
source <(curl $_HLRS_SPACK_PLUMBING_REPO/hlrs-plumbing/envs/00_base_prefix.env) source $_HLRS_SPACK_PLUMBING/envs/01_release_root.env
source <(curl $_HLRS_SPACK_PLUMBING_REPO/hlrs-plumbing/envs/01_release_root.env) source $_HLRS_SPACK_PLUMBING/envs/02_hlrs_spack_root.env
source <(curl $_HLRS_SPACK_PLUMBING_REPO/hlrs-plumbing/envs/02_hlrs_spack_root.env)
# destination for output script # destination for output script
destination=$HLRS_SOFTWARE_STACK_RELEASE_ROOT/setup-release-variables.env destination=$HLRS_SOFTWARE_STACK_RELEASE_ROOT/setup-release-variables.env
@ -74,3 +73,7 @@ echo "export HLRS_SOFTWARE_STACK_HLRS_SPACK_ROOT=${HLRS_SOFTWARE_STACK_HLRS_SPAC
echo "export HLRS_SOFTWARE_STACK_SPACK_INSTALL_TREE=${HLRS_SOFTWARE_STACK_SPACK_INSTALL_TREE}" >> $destination echo "export HLRS_SOFTWARE_STACK_SPACK_INSTALL_TREE=${HLRS_SOFTWARE_STACK_SPACK_INSTALL_TREE}" >> $destination
echo "export HLRS_SOFTWARE_STACK_RELEASE_VERSION=${HLRS_SOFTWARE_STACK_RELEASE_VERSION}" >> $destination echo "export HLRS_SOFTWARE_STACK_RELEASE_VERSION=${HLRS_SOFTWARE_STACK_RELEASE_VERSION}" >> $destination
echo "export HLRS_SOFTWARE_STACK_RELEASE_ROOT=${HLRS_SOFTWARE_STACK_RELEASE_ROOT}" >> $destination echo "export HLRS_SOFTWARE_STACK_RELEASE_ROOT=${HLRS_SOFTWARE_STACK_RELEASE_ROOT}" >> $destination
# report back to user
echo "### Done"
echo "### $destination"