From 3f874c895f263483a91005cbd5bf74ae687b8c34 Mon Sep 17 00:00:00 2001 From: Aaron Tomb Date: Tue, 14 Sep 2021 16:44:34 -0700 Subject: [PATCH] Make solver package version configurable --- .github/ci.sh | 2 +- .github/workflows/ci.yml | 4 +--- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/.github/ci.sh b/.github/ci.sh index f1f6fc06a..4ee077f0c 100755 --- a/.github/ci.sh +++ b/.github/ci.sh @@ -57,7 +57,7 @@ build() { } install_system_deps() { - (cd $BIN && curl -o bins.zip -sL "https://github.com/GaloisInc/what4-solvers/releases/download/snapshot-20210914/$BIN_ZIP_FILE" && unzip -o bins.zip && rm bins.zip) + (cd $BIN && curl -o bins.zip -sL "https://github.com/GaloisInc/what4-solvers/releases/download/$SOLVER_PKG_VERSION/$BIN_ZIP_FILE" && unzip -o bins.zip && rm bins.zip) chmod +x $BIN/* cp $BIN/yices_smt2$EXT $BIN/yices-smt2$EXT export PATH=$BIN:$PATH diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 57e045f55..126478796 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,9 +9,7 @@ on: workflow_dispatch: env: - Z3_VERSION: "4.8.10" - CVC4_VERSION: "4.1.8" - YICES_VERSION: "2.6.2" + SOLVER_PKG_VERSION: "snapshot-20210914" jobs: config: