Skip to content

Commit

Permalink
Check sail-arm and sail-riscv in CI, use matrix instead of separate f…
Browse files Browse the repository at this point in the history
…iles
  • Loading branch information
Trolldemorted committed Sep 30, 2020
1 parent 551bca4 commit b481f0a
Show file tree
Hide file tree
Showing 7 changed files with 39 additions and 90 deletions.
39 changes: 39 additions & 0 deletions .github/workflows/build.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,39 @@
name: Sail CI Build

on:
push:
pull_request:
schedule:
- cron: "0 0 * * *"

jobs:
full-test:
strategy:
matrix:
os: [ubuntu-20.04, macOS-latest]
ocaml: [4.06.1, 4.10.0]
runs-on: ${{ matrix.os }}

steps:
- name: Check out repo
uses: actions/checkout@v2
- name: Install deps (linux)
if: matrix.os == 'ubuntu-20.04'
run: sudo apt-get install -y --no-install-recommends build-essential libgmp-dev z3 libz3-dev opam
- name: Install deps (macOS)
if: matrix.os == 'macOS-latest'
run: brew install gpatch gmp z3 pkg-config opam
- name: init opam
run: opam init -y --no-setup --compiler=${{ matrix.ocaml }} --shell=sh
- name: opam config env
run: eval `opam config env`
- name: pin and install sail from git
run: opam pin -y add sail $PWD
- name: test sail installation
run: eval $(opam env) && sail -v

- name: make sail-arm
run: git clone https://github.com/rems-project/sail-arm.git && cd sail-arm/arm-v8.5-a && eval $(opam env) && make

- name: make sail-riscv
run: git clone https://github.com/rems-project/sail-riscv.git && eval $(opam env) && make
16 changes: 0 additions & 16 deletions .github/workflows/macOS_build.yml

This file was deleted.

18 changes: 0 additions & 18 deletions .github/workflows/ubuntu_18_04_build.yml

This file was deleted.

16 changes: 0 additions & 16 deletions .github/workflows/ubuntu_20_04_build.yml

This file was deleted.

16 changes: 0 additions & 16 deletions .github/workflows/ubuntu_20_04_build_latest.yml

This file was deleted.

12 changes: 0 additions & 12 deletions etc/ci_opam_build.sh

This file was deleted.

12 changes: 0 additions & 12 deletions etc/ci_opam_latest_build.sh

This file was deleted.

0 comments on commit b481f0a

Please sign in to comment.