Update scripts (#52)

fpvandoorn · Oct 9, 2024 · 92592f5 · 92592f5
1 parent 6b486ac
commit 92592f5
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/scripts/mk_all.sh b/scripts/mk_all.sh
diff --git a/scripts/update_mathlib.bat b/scripts/update_mathlib.bat
@@ -1,4 +1,4 @@
 rem Update mathlib and the lean toolchain.
 curl -L https://raw.githubusercontent.com/leanprover-community/mathlib4/master/lean-toolchain -o lean-toolchain
-lake -Kenv=dev update rem The `-Kenv=dev` is making sure we also update doc-gen
+lake -R -Kenv=dev update rem The `-Kenv=dev` is making sure we also update doc-gen
 lake exe cache get
diff --git a/scripts/update_mathlib.sh b/scripts/update_mathlib.sh
@@ -1,4 +1,6 @@
+#!/usr/bin/env bash
+
 # Update mathlib and the lean toolchain.
 curl -L https://raw.githubusercontent.com/leanprover-community/mathlib4/master/lean-toolchain -o lean-toolchain
-lake -Kenv=dev update # The `-Kenv=dev` is making sure we also update doc-gen
+lake -R -Kenv=dev update # The `-R -Kenv=dev` is making sure we also update doc-gen and other dependencies
 lake exe cache get