diff --git a/.github/workflows/set-up-environment.yml b/.github/workflows/set-up-environment.yml index 1a96e88..d4d0a0b 100644 --- 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