Trying Lean4 install

dafny-lang · Apr 25, 2024 · 3f04539 · 3f04539
1 parent c4710bf
commit 3f04539
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/prep.sh b/scripts/prep.sh
@@ -9,8 +9,8 @@ pushd SampCert
 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 leanprover/lean4:v4.7.0
-cp $HOME/.elan/bin/* ./
-lake build VMC
+ls $HOME/.elan/bin/lake
+$HOME/.elan/bin/lake build VMC
 popd