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 /etc | |
| 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 'etc')
| -rwxr-xr-x | etc/ci_opam_build.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/etc/ci_opam_build.sh b/etc/ci_opam_build.sh new file mode 100755 index 00000000..10af3e3c --- /dev/null +++ b/etc/ci_opam_build.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +set -eu + +opam init -y --no-setup --compiler=4.06.1 --shell=sh + +eval `opam config env` + +opam repository -y add rems https://github.com/rems-project/opam-repository.git +opam pin -y add sail . +opam install -y -v sail +sail -v |