Improve cloning speed of https://github.com/seq-lang/Tapir-LLVM
ghuls opened this issue · 1 comments
ghuls commented
Improve cloning speed of https://github.com/seq-lang/Tapir-LLVM by fetching only commits from 2020 and later.
Alternatively -depth 1could be used.
diff --git a/scripts/deps.sh b/scripts/deps.sh
index c305accc..1af5d9b8 100755
--- a/scripts/deps.sh
+++ b/scripts/deps.sh
@@ -16,7 +16,7 @@ if [ -n "$1" ]; then export JOBS=$1; fi
echo "Using $JOBS cores..."
# Tapir
-git clone -b release_60-release https://github.com/seq-lang/Tapir-LLVM ${SRCDIR}/Tapir-LLVM
+git clone --shallow-since 2020 -b release_60-release https://github.com/seq-lang/Tapir-LLVM ${SRCDIR}/Tapir-LLVM
mkdir -p ${SRCDIR}/Tapir-LLVM/build
cd ${SRCDIR}/Tapir-LLVM/build
cmake .. \