Improved verify script for use from submodule

dafny-lang · Dec 14, 2023 · 066004f · 066004f
1 parent 2fc7c1c
commit 066004f
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/verify.sh b/verify.sh
@@ -1,16 +1,18 @@
 #!/bin/bash
 
+DIR=`dirname "$0"`
+
 echo Verifying the Dafny code from the lectures
 
-for dfyfile in `ls Lectures/Code/*.dfy`
+for dfyfile in `ls $DIR/Lectures/Code/*.dfy`
 do
     echo '...' Verifying $dfyfile
     dafny verify $dfyfile
 done
 
 echo Verifying the solutions to the exercises
 
-for dfyfile in `ls Exercises/*_solution.dfy`
+for dfyfile in `ls $DIR/Exercises/*_solution.dfy`
 do
     echo '...' Verifying $dfyfile
     dafny verify $dfyfile