Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fixed solver versions #258

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

Fixed solver versions #258

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
51f54f4
CI display errors on command lookups.
kquick Jan 12, 2022
d8d7fc3
CI solver downloads can be noisy so that errors are visible.
kquick Jan 12, 2022
d2c47c5
CI: Disable explicit solver installation; will use nix for solvers.
kquick Jan 12, 2022
84d8b71
[CI] Install nix and configure cachix caching.
kquick Jan 12, 2022
b890c65
[CI] fix cachix install-nix
kquick Jan 12, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions .github/ci.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@ EXT=""
$IS_WIN && EXT=".exe"
mkdir -p "$BIN"

is_exe() { [[ -x "$1/$2$EXT" ]] || command -v "$2" > /dev/null 2>&1; }
is_exe() { [[ -x "$1/$2$EXT" ]] || command -v "$2" }

extract_exe() {
exe="$(cabal v2-exec which "$1$EXT" | tail -1)"
Expand Down Expand Up @@ -46,7 +46,7 @@ install_z3() {
macOS) file="osx-10.14.6.zip" ;;
Windows) file="win.zip" ;;
esac
curl -o z3.zip -sL "https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/z3-$Z3_VERSION-x64-$file"
curl -o z3.zip -L "https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/z3-$Z3_VERSION-x64-$file"

if $IS_WIN; then 7z x -bd z3.zip; else unzip z3.zip; fi
cp z3-*/bin/z3$EXT $BIN/z3$EXT
Expand All @@ -63,7 +63,7 @@ install_cvc4() {
Windows) file="win64-opt.exe" ;;
macOS) file="macos-opt" ;;
esac
curl -o cvc4$EXT -sL "https://github.com/CVC4/CVC4/releases/download/$version/cvc4-$version-$file"
curl -o cvc4$EXT -L "https://github.com/CVC4/CVC4/releases/download/$version/cvc4-$version-$file"

$IS_WIN || chmod +x cvc4$EXT
mv cvc4$EXT "$BIN/cvc4$EXT"
Expand All @@ -77,7 +77,7 @@ install_yices() {
macOS) file="apple-darwin18.7.0-static-gmp.tar.gz" ;;
Windows) file="pc-mingw32-static-gmp.zip" && ext=".zip" ;;
esac
curl -o "yices$ext" -sL "https://yices.csl.sri.com/releases/$YICES_VERSION/yices-$YICES_VERSION-x86_64-$file"
curl -o "yices$ext" -L "https://yices.csl.sri.com/releases/$YICES_VERSION/yices-$YICES_VERSION-x86_64-$file"

if $IS_WIN; then
7z x -bd "yices$ext"
Expand Down
47 changes: 40 additions & 7 deletions .github/workflows/ci.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,7 @@ jobs:
LC_ALL: en_US.UTF-8
TZ: America/Los_Angeles
CI_TEST_LEVEL: "2"
USER: runner

runs-on: ${{ matrix.os }}
strategy:
Expand All @@ -28,6 +29,38 @@ jobs:
with:
submodules: true

- name: Probe Build Environment
run: |
id
echo USER is $USER
uname -a
echo pwd
pwd
echo os-release
cat /etc/os-release
echo attempting sudo
sudo whoami
echo mounts
sudo mount
echo what is in /proc?
sudo ls /proc
echo systemd?
echo systemd
echo exists?
ls /run/systemd
echo OK

- name: Install Nix
uses: kquick/install-nix-action@master
with:
nix_path: nixpkgs=channel:nixos-21.11
install_url: https://releases.nixos.org/nix/nix-2.4/install

- uses: cachix/cachix-action@v10
with:
name: galois
authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'

- uses: haskell/actions/setup@v1
id: setup-haskell
name: Setup Haskell
Expand Down Expand Up @@ -69,13 +102,13 @@ jobs:
run: |
cabal build --only-dependencies macaw-base
cabal build crucible-llvm
- name: Install Solvers
if: runner.os == 'Linux'
run: .github/ci.sh install_system_deps
env:
Z3_VERSION: "4.8.8"
YICES_VERSION: "2.6.2"
CVC4_VERSION: "4.1.8"
# - name: Install Solvers
# if: runner.os == 'Linux'
# run: .github/ci.sh install_system_deps
# env:
# Z3_VERSION: "4.8.8"
# YICES_VERSION: "2.6.2"
# CVC4_VERSION: "4.1.8"

- name: Build macaw-x86
run: cabal build pkg:macaw-x86 pkg:macaw-x86-symbolic
Expand Down