diff options
| author | Alasdair Armstrong | 2019-12-11 16:35:54 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-12-11 18:19:56 +0000 |
| commit | 0c3ae8f4beea29f524247eea27884b07e0ec238e (patch) | |
| tree | 383ec6336de28cf6a31c38c905874af22ea278ea /.github | |
| parent | b48403b1b91ac355e50e7ede8164c3045b440dc4 (diff) | |
Add github actions to build on macOS and ubuntu
This commit adds two github action to build Sail on macOS and ubuntu (both using the latest version
of each for now). These just build and don't run any tests, as we run those on our own Jenkins
server which is much faster than the github build runners.
I also fixed INSTALL.md to include brew installing pkg-config on macOS as this seems to be required.
From testing on a personal fork it seems quite email happy when it fails. Maybe that's what we want
though.
There's also a windows option but I leave that as future work...
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/macOS_build.yml | 16 | ||||
| -rw-r--r-- | .github/workflows/ubuntu_build.yml | 16 |
2 files changed, 32 insertions, 0 deletions
diff --git a/.github/workflows/macOS_build.yml b/.github/workflows/macOS_build.yml new file mode 100644 index 00000000..ebc97a63 --- /dev/null +++ b/.github/workflows/macOS_build.yml @@ -0,0 +1,16 @@ +name: CI macOS-latest + +on: [push] + +jobs: + build: + + runs-on: macOS-latest + + steps: + - uses: actions/checkout@v1 + - name: Build on macOS + run: | + brew install gpatch gmp z3 pkg-config + brew install opam + etc/ci_opam_build.sh diff --git a/.github/workflows/ubuntu_build.yml b/.github/workflows/ubuntu_build.yml new file mode 100644 index 00000000..bf517113 --- /dev/null +++ b/.github/workflows/ubuntu_build.yml @@ -0,0 +1,16 @@ +name: CI ubuntu-latest + +on: [push] + +jobs: + build: + + runs-on: ubuntu-latest + + steps: + - uses: actions/checkout@v1 + - name: Build on ubuntu + run: | + sudo apt install build-essential libgmp-dev z3 + sudo apt install opam + etc/ci_opam_build.sh |