add archive & counterexamples to update.sh

leanprover-community · Jun 5, 2023 · 4db5aed · 4db5aed
1 parent 34bb822
commit 4db5aed
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/update.sh b/update.sh
@@ -22,9 +22,11 @@ sed -i.bak '
 rm lakefile.lean.bak
 lake update
 
-rm -rf Mathbin
-curl -qsSL https://github.com/leanprover-community/mathport/releases/download/$tag/mathlib3-synport.tar.gz \
-  | tar xz
+rm -rf Mathbin Archive Counterexamples
+for lib in mathlib3 archive counterexamples; do
+  curl -qsSL https://github.com/leanprover-community/mathport/releases/download/$tag/$lib-synport.tar.gz \
+    | tar xz
+done
 
 lake print-paths
 cp build/lib/upstream-rev .