Back again after some more fettling. I've managed to get the following command to now run without errors:
./install_cp2k_toolchain.sh --mpi-mode=openmpi \
--libint-lmax=7
I've then followed the instructions at the end of that run top copy the arch files to the main arch directory, source the recommended file, and then run:
make -j 16 ARCH=local VERSION="ssmp sdbg psmp pdbg"
from the top level directory. That fails almost straight away with:
/mmfs1/shared_apps/packages/src/cp2k-2025.2/exts/Makefile.inc:2: *** "No DBCSR submodule available, please run 'git submodule update --init --recursive'". Stop.
It looks like I could fix that simply by running the recommended command, but DBCSR was already built as part of the toolchain - I can see files in both ./tools/toolchain/build/dbcsr-2.8.0 and ./tools/toolchain/install/dbcsr-2.8.0, and there's no sign of errors in the log files under ./tools/toolchain/build/dbcsr-2.8.0/build-cpu. So the fact that the Makefile is looking in the wrong place for dbcsr suggests something went wrong with the build?