CI: Build GUI on ubuntu (#2626)

This commit is contained in:
amai2012 2020-05-03 10:10:39 +02:00 committed by GitHub
parent c702046cce
commit e0be3f6f1b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 1 deletions

View File

@ -28,6 +28,12 @@ jobs:
if: matrix.os == 'macos-latest'
run: |
brew install z3
- name: Install Qt
if: matrix.os == 'ubuntu-latest'
uses: jurplel/install-qt-action@v2
with:
modules: 'qtcharts'
- name: Build cppcheck
run: |
@ -37,7 +43,7 @@ jobs:
run: |
make -j2 testrunner USE_Z3=yes HAVE_RULES=yes
- name: Test
- name: Run test
run: |
make -j2 check USE_Z3=yes HAVE_RULES=yes
@ -45,3 +51,10 @@ jobs:
run: |
make validateCFG
make validatePlatforms
- name: Build GUI on ubuntu
if: matrix.os == 'ubuntu-latest'
run: |
pushd gui
qmake HAVE_QCHART=yes
make -j2