From 0c3ae8f4beea29f524247eea27884b07e0ec238e Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 11 Dec 2019 16:35:54 +0000
Subject: 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...
---
 INSTALL.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'INSTALL.md')

diff --git a/INSTALL.md b/INSTALL.md
index e96c80b6..8707ecca 100644
--- a/INSTALL.md
+++ b/INSTALL.md
@@ -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:
 ```
-- 
cgit v1.2.3