forked from kind2-mc/kind2
-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add GitHub CI workflow for kind2-mcil
- Loading branch information
1 parent
6b7e107
commit 09c904c
Showing
1 changed file
with
55 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,55 @@ | ||
|
||
name: Kind2-MCIL CI | ||
|
||
on: | ||
pull_request: | ||
branches: [ mcil ] | ||
push: | ||
branches: [ mcil ] | ||
|
||
jobs: | ||
kind2-build: | ||
strategy: | ||
matrix: | ||
ocaml-version: [ 4.09.1 ] | ||
os: [ ubuntu-20.04, macos-11 ] | ||
include: | ||
- os: macos-11 | ||
pkg_update: brew update | ||
- os: ubuntu-20.04 | ||
pkg_update: sudo apt-get update -y | ||
|
||
runs-on: ${{ matrix.os }} | ||
|
||
steps: | ||
- name: Checkout code | ||
uses: actions/checkout@v2 | ||
|
||
#- name: Update package information | ||
# run: ${{ matrix.pkg_update }} | ||
|
||
- name: Set up OCaml ${{ matrix.ocaml-version }} | ||
uses: ocaml/setup-ocaml@v2 | ||
with: | ||
ocaml-compiler: ${{ matrix.ocaml-version }} | ||
|
||
- name: Pin MCIL version of Dolmen packages | ||
run: | | ||
opam pin -y add dolmen https://github.com/daniel-larraz/dolmen.git#mcil | ||
opam pin -y add dolmen_type https://github.com/daniel-larraz/dolmen.git#mcil | ||
opam pin -y add dolmen_loop https://github.com/daniel-larraz/dolmen.git#mcil | ||
- name: Install Kind2-MCIL OCaml dependencies | ||
run: opam install -y . --deps-only | ||
|
||
- name: Build all binaries | ||
run: opam exec make | ||
|
||
- name: Rename cmc binary | ||
run: mv bin/cmc bin/kind2-mcil | ||
|
||
- name: Upload kind2-mcil artifact | ||
uses: actions/upload-artifact@v2 | ||
with: | ||
name: kind2-mcil-${{ matrix.os }} | ||
path: bin/kind2-mcil |