-
Notifications
You must be signed in to change notification settings - Fork 112
75 lines (60 loc) · 1.75 KB
/
build.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
name: Build matrix
on: [push, workflow_dispatch]
env:
OPAMVERBOSE: 1
jobs:
build:
strategy:
matrix:
version: [4.08.1, 5.0.0]
os: [ubuntu-latest, macOS-latest]
include:
- os: macos-13
version: 4.08.1
exclude:
- os: macos-latest
version: 4.08.1
runs-on: ${{ matrix.os }}
steps:
- uses: actions/checkout@v3
- name: System dependencies (ubuntu)
if: startsWith(matrix.os, 'ubuntu')
run: |
sudo apt install build-essential libgmp-dev z3 cvc4 opam
- name: System dependencies (macOS)
if: startsWith(matrix.os, 'macOS')
run: |
brew install gpatch gmp z3 pkg-config lzlib zlib opam
- name: Restore cached opam
id: cache-opam-restore
uses: actions/cache/restore@v3
with:
path: ~/.opam
key: ${{ matrix.os }}-${{ matrix.version }}
- name: Setup opam
if: steps.cache-opam-restore.outputs.cache-hit != 'true'
run: |
opam init --yes --no-setup --shell=sh --compiler=${{ matrix.version }}
- name: Save cached opam
if: steps.cache-opam-restore.outputs.cache-hit != 'true'
id: cache-opam-save
uses: actions/cache/save@v3
with:
path: ~/.opam
key: ${{ steps.cache-opam-restore.outputs.cache-primary-key }}
- name: Install Sail
run: |
eval $(opam env)
opam pin --yes --no-action add .
opam install sail --yes
- name: Test Sail
run: |
eval $(opam env)
etc/ci_core_tests.sh
build-docker:
runs-on: "ubuntu-latest"
steps:
- uses: actions/checkout@v3
- name: Build Dockerfile.nightly
run: |
docker build . -t sail -f ./Dockerfile.nightly --no-cache --progress plain