back

.github/workflows/audit.yml

@@ -12,6 +12,6 @@ jobs:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
       - run: cp audit.log audit_.log
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny bash scripts/audit.sh
+      - run: DAFNY=dafny/dafny bash scripts/audit.sh
       - run: cat audit.log
       - run: diff audit.log audit_.log

.github/workflows/build_java.yml

@@ -11,5 +11,5 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny TARGET_LANG=java bash scripts/build.sh
+      - run: DAFNY=dafny/dafny TARGET_LANG=java bash scripts/build.sh
       - run: build/java/run.sh

.github/workflows/test_cs.yml

@@ -11,4 +11,4 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny TARGET_LANG=cs bash scripts/test.sh
+      - run: DAFNY=dafny/dafny TARGET_LANG=cs bash scripts/test.sh

.github/workflows/test_java.yml

@@ -11,4 +11,4 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny TARGET_LANG=java bash scripts/test.sh
+      - run: DAFNY=dafny/dafny TARGET_LANG=java bash scripts/test.sh

.github/workflows/verify.yml

@@ -11,4 +11,4 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash scripts/prep.sh
-      - run: DAFNY=dafny-4.3.0/Scripts/dafny bash scripts/verify.sh
+      - run: DAFNY=dafny/dafny bash scripts/verify.sh

scripts/prep.sh

@@ -1,10 +1,6 @@
 #!/bin/bash
 
-VERSION=https://github.com/dafny-lang/dafny/archive/refs/tags/v4.3.0.zip
+VERSION=https://github.com/dafny-lang/dafny/releases/download/v4.3.0/dafny-4.3.0-x64-ubuntu-20.04.zip
 
 wget $VERSION
-unzip `basename $VERSION` 
-
-cd dafny-4.3.0
-make exe
-cd ..
+unzip `basename $VERSION`