cosmetics

haslab · Jun 14, 2024 · 952cca6 · 952cca6
1 parent f0d870d
commit 952cca6
Showing 1 changed file with 11 additions and 3 deletions.
diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml
@@ -20,8 +20,9 @@ jobs:
         opam update
         opam install why3.1.7.2
         # install both alt-ergo 2.4.2 and alt-ergo 2.5.3
-        opam install alt-ergo.2.4.2
         # install both eprover-2.6 and eprover-3.0
+        # probably not the best way to do this but, it works for now
+        opam install alt-ergo.2.4.2
         opam install eprover.2.6
         eval $(opam env)
         cp $(which alt-ergo) $(which alt-ergo)-2.4.2
@@ -45,10 +46,17 @@ jobs:
         z3folder=${Z3_URL##*/}
         unzip $z3folder
         mv ${z3folder%.*}/bin/z3 /usr/local/bin
-    - name: test installation
+    - name: debug info about installed tools
       run: |
         eval $(opam env)
-        tools=(why3 alt-ergo-2.4.2 alt-ergo-2.5.3 eprover-2.6 eprover-3.0 z3 cvc4 cvc5)
+        tools=(why3
+               alt-ergo-2.4.2
+               alt-ergo-2.5.3
+               eprover-2.6
+               eprover-3.0
+               z3
+               cvc4
+               cvc5)
         for tool in ${tools[@]}; do
           cmd="which ${tool}"
           echo $cmd