---
version: 2.0
jobs:
build:
machine:
image: ubuntu-2004:202107-02
steps:
- run: sudo apt-get update && sudo apt-get install -y curl git ssh unzip wget libtinfo-dev gcc make
- add_ssh_keys
- run:
name: Install z3
command: |
wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.7/z3-4.8.7-x64-ubuntu-16.04.zip
unzip z3-4.8.7-x64-ubuntu-16.04.zip
rm -f z3-4.8.7-x64-ubuntu-16.04.zip
sudo cp z3-4.8.7-x64-ubuntu-16.04/bin/libz3.a /usr/local/lib
sudo cp z3-4.8.7-x64-ubuntu-16.04/bin/z3 /usr/local/bin
sudo cp z3-4.8.7-x64-ubuntu-16.04/include/* /usr/local/include
rm -rf z3-4.8.7-x64-ubuntu-16.04
z3 --version
- checkout
- restore_cache:
keys:
- stack-cache-v1-{{ checksum "stack.yaml" }}-{{ checksum "liquid-fixpoint.cabal" }}
- stack-cache-v1-{{ checksum "stack.yaml" }}
- run:
name: Dependencies
command: |
wget -qO- https://get.haskellstack.org/ | sudo sh
stack --no-terminal setup
stack --no-terminal build -j2 liquid-fixpoint --only-dependencies --test --no-run-tests
- save_cache:
key: stack-cache-v1-{{ checksum "stack.yaml" }}-{{ checksum "liquid-fixpoint.cabal" }}
paths:
- ~/.stack
- ./.stack-work
- run:
name: Compile
command : |
stack --no-terminal build -j2 liquid-fixpoint --flag liquid-fixpoint:devel --test --no-run-tests
- run:
name: Test
command: |
mkdir -p /tmp/junit
stack --no-terminal test -j2 liquid-fixpoint:test --flag liquid-fixpoint:devel --test-arguments="--xml=/tmp/junit/main-test-results.xml":
stack --no-terminal haddock --flag liquid-fixpoint:devel --test --no-run-tests --no-haddock-deps --haddock-arguments="--no-print-missing-docs"
# mkdir -p $CIRCLE_TEST_REPORTS/tasty
# cp -r tests/logs/cur $CIRCLE_TEST_REPORTS/tasty/log
- run:
name: Dist
command: stack --no-terminal sdist