diff options
| -rw-r--r-- | .github/workflows/macOS_build.yml | 16 | ||||
| -rw-r--r-- | .github/workflows/ubuntu_build.yml | 16 | ||||
| -rw-r--r-- | INSTALL.md | 2 | ||||
| -rw-r--r-- | README.md | 3 | ||||
| -rwxr-xr-x | etc/ci_opam_build.sh | 12 |
5 files changed, 48 insertions, 1 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 @@ -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: ``` @@ -1,6 +1,9 @@ The Sail ISA specification language =================================== + + + Overview ======== 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 |