2020-02-13 09:16:53 +01:00
|
|
|
# Syntax reference https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions
|
|
|
|
|
# Environment reference https://help.github.com/en/actions/reference/virtual-environments-for-github-hosted-runners
|
|
|
|
|
name: CI
|
|
|
|
|
|
|
|
|
|
on: [push, pull_request]
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
|
2020-02-20 22:00:14 +01:00
|
|
|
strategy:
|
|
|
|
|
matrix:
|
|
|
|
|
os: [ubuntu-latest, macos-latest]
|
|
|
|
|
fail-fast: true
|
|
|
|
|
|
|
|
|
|
runs-on: ${{ matrix.os }}
|
2020-02-13 09:16:53 +01:00
|
|
|
|
|
|
|
|
steps:
|
2020-02-20 22:00:14 +01:00
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
|
|
|
|
|
- name: Install missing software on ubuntu
|
|
|
|
|
if: matrix.os == 'ubuntu-latest'
|
|
|
|
|
run: |
|
2020-04-07 20:30:10 +02:00
|
|
|
sudo apt-get update
|
2020-02-20 22:00:14 +01:00
|
|
|
sudo apt-get install libxml2-utils
|
|
|
|
|
sudo apt-get install z3 libz3-dev
|
|
|
|
|
|
|
|
|
|
- name: Install missing software on macos
|
|
|
|
|
if: matrix.os == 'macos-latest'
|
|
|
|
|
run: |
|
|
|
|
|
brew install z3
|
|
|
|
|
|
|
|
|
|
- name: Build cppcheck
|
|
|
|
|
run: |
|
|
|
|
|
make -j2 USE_Z3=yes
|
|
|
|
|
|
|
|
|
|
- name: Build test
|
|
|
|
|
run: |
|
|
|
|
|
make -j2 testrunner USE_Z3=yes
|
|
|
|
|
|
|
|
|
|
- name: Test
|
|
|
|
|
run: |
|
|
|
|
|
make -j2 check USE_Z3=yes
|
|
|
|
|
|
|
|
|
|
- name: Validate
|
|
|
|
|
run: |
|
|
|
|
|
make validateCFG
|
|
|
|
|
make validatePlatforms
|
