tvl-depot/ci/scripts/build-socrates.sh