added makefile job to why2-test workflow

This commit is contained in:
Václav Šmejkal 2022-05-21 15:13:49 +02:00
parent eb145bdc13
commit 63f2aefe7e

View File

@ -6,7 +6,7 @@ on:
workflow_dispatch:
jobs:
test-why2:
test-why2-script:
runs-on: ${{ matrix.os }}
strategy:
@ -51,5 +51,47 @@ jobs:
- name: Test Lib
run: ./${{ matrix.output }}
- name: Test App
run: ${{ matrix.app }}
test-why2-makefile:
runs-on: ${{ matrix.os }}
strategy:
matrix:
os: [ ubuntu-latest ]
include:
- os: ubuntu-latest
output: out/why2-test
configure: configure.sh
app: why2
steps:
- name: Checkout repository
uses: actions/checkout@v2
with:
ref: development
- if: matrix.os == 'ubuntu-latest'
name: Update packages
run: |
sudo apt update
sudo apt upgrade
- name: Permissions
run: chmod +x ${{ matrix.configure }}
- name: Praparating
run: sudo ./${{ matrix.configure }}
- name: Install WHY2
run: sudo make install
- name: Build WHY2 Test
run: make test
- name: Test Lib
run: ./${{ matrix.output }}
- name: Test App
run: ${{ matrix.app }}