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 /INSTALL.md | |
| 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 'INSTALL.md')
| -rw-r--r-- | INSTALL.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ sudo apt-get install build-essential libgmp-dev z3 ``` or MacOS homebrew: ``` -brew install gmp z3 +brew install gmp z3 pkg-config ``` Finally, install sail and its dependencies: ``` |