Skip to content

Commit

Permalink
test
Browse files Browse the repository at this point in the history
  • Loading branch information
@stefan-aws
stefan-aws committed Nov 8, 2023
1 parent 74255e9 commit dd4c90a
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions scripts/prep.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,7 @@ VERSION=https://github.com/dafny-lang/dafny/archive/refs/tags/v4.3.0.zip
wget $VERSION
unzip `basename $VERSION`

cd dafny-4.3.0
make exe
mv dafny-4.3.0 dafny
cd dafny
make exe
cd ..

0 comments on commit dd4c90a

Please sign in to comment.