File indexing completed on 2025-12-15 09:23:41
0001
0002 set -e
0003 set -u
0004
0005 _spack_version=${SPACK_VERSION:-develop}
0006
0007 _spack_folder=$1
0008
0009 if [ ! -d "${_spack_folder}" ]; then
0010 echo "Cloning spack"
0011 time git clone -c feature.manyFiles=true https://github.com/spack/spack.git "${_spack_folder}"
0012 pushd "${_spack_folder}" > /dev/null
0013 echo "Checking out spack version ${_spack_version}"
0014 time git checkout "${_spack_version}"
0015 git config user.name 'CI'
0016 git config user.email '<>'
0017 popd > /dev/null
0018 else
0019 echo "Using cached spack at ${_spack_folder}"
0020 fi