GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-23 22:27:25 +03:00
Code Issues Projects Releases Wiki Activity

add back in cvc4 support for pipeline

Browse Source
This commit is contained in:
Jared Weakly 2020-06-05 08:57:21 -07:00
parent 656b746cbd
commit ac8f4c88de
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.github/ci.sh vendored
View File

@ -53,8 +53,7 @@ install_cvc4() {
case "$RUNNER_OS" in
Linux) file="x86_64-linux-opt" ;;
Windows) file="win64-opt.exe" ;;
# macOS) brew tap cvc4/cvc4 && brew install cvc4/cvc4/cvc4 && return ;;
macOS) return ;; # the brew tap takes 15 minutes to install
macOS) brew tap cvc4/cvc4 && brew install cvc4/cvc4/cvc4 && return ;;
esac
curl -o cvc4$EXT -sL "https://github.com/CVC4/CVC4/releases/download/1.7/cvc4-$version-$file"
$IS_WIN || chmod +x cvc4$EXT
@ -99,8 +98,7 @@ install_system_deps() {
wait
export PATH=$PWD/$BIN:$PATH
echo "::add-path::$PWD/$BIN"
# is_exe "$BIN" z3 && is_exe "$BIN" cvc4 && is_exe "$BIN" yices
is_exe "$BIN" z3 && is_exe "$BIN" yices
is_exe "$BIN" z3 && is_exe "$BIN" cvc4 && is_exe "$BIN" yices
}
test_dist() {