From 43f5ee545411367da95ace2131a0e1c4af3edec6 Mon Sep 17 00:00:00 2001
From: jtristan <trjohnb@amazon.com>
Date: Wed, 24 Apr 2024 10:03:28 -0400
Subject: [PATCH] changed elan install

---
 .github/workflows/build_java.yml | 6 ++++++
 scripts/prep.sh                  | 1 -
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_java.yml b/.github/workflows/build_java.yml
index 0138e326..b2f484e8 100644
--- a/.github/workflows/build_java.yml
+++ b/.github/workflows/build_java.yml
@@ -9,6 +9,12 @@ jobs:
   build-java:
     runs-on: ubuntu-latest
     steps:
+      - name: install elan
+        run: |
+          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
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
       - run: DAFNY=dafny/dafny TARGET_LANG=java bash scripts/build.sh
diff --git a/scripts/prep.sh b/scripts/prep.sh
index 38ac278a..fa48ac1a 100755
--- a/scripts/prep.sh
+++ b/scripts/prep.sh
@@ -5,4 +5,3 @@ VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.4.0/dafny-4.4.0
 wget $VERSION
 unzip `basename $VERSION` 
 
-curl https://raw.githubusercontent.com/leanprover/elan/master/elan-init.sh -sSf -y | sh