Trying Lean4 install

dafny-lang · Apr 25, 2024 · aff71e7 · aff71e7
1 parent 893f7f6
commit aff71e7
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/scripts/prep.sh b/scripts/prep.sh
@@ -3,4 +3,10 @@
 VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0-x64-ubuntu-20.04.zip
 
 wget $VERSION
-unzip `basename $VERSION` 
+unzip `basename $VERSION` 
+
+set -o pipefail
+curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz
+./elan-init -y --default-toolchain none
+echo "$HOME/.elan/bin" >> $GITHUB_PATH
+