AppVeyor: Do not build gui for now because of missing z3 library

This commit is contained in:
Daniel Marjamäki 2020-02-09 11:22:49 +01:00
parent 4d58d9fc87
commit 58465e6254
1 changed files with 6 additions and 6 deletions

View File

@ -71,12 +71,12 @@ build_script:
- copy bin\cppcheck.exe ..
- cd ..
# build gui..
- ECHO MYQTDIR=%MYQTDIR%
- 'IF defined MYQTDIR cd gui'
- 'IF defined MYQTDIR set QTDIR=%MYQTDIR%'
- 'IF defined MYQTDIR %QTDIR%\bin\qmake'
- 'IF defined MYQTDIR nmake'
- 'IF defined MYQTDIR cd ..'
#- ECHO MYQTDIR=%MYQTDIR%
#- 'IF defined MYQTDIR cd gui'
#- 'IF defined MYQTDIR set QTDIR=%MYQTDIR%'
#- 'IF defined MYQTDIR %QTDIR%\bin\qmake'
#- 'IF defined MYQTDIR nmake'
#- 'IF defined MYQTDIR cd ..'
test_script:
- build\bin\testrunner.exe -q