version: '{build}' clone_depth: 10 matrix: fast_finish: true environment: matrix: - VisualStudioVersion: 12.0 platform: x64 configuration: Debug vcvarsall_platform: x64 PlatformToolset: v120 MYQTDIR: C:\Qt\5.6\msvc2013_64 - VisualStudioVersion: 12.0 platform: x64 configuration: Release vcvarsall_platform: x64 PlatformToolset: v120 # FIXME: These are disabled for now. They were broken by ae8653612802b41b70424ec9a5eefe8a1178f6d1 # - VisualStudioVersion: 14.0 # platform: x64 # configuration: Debug # vcvarsall_platform: x64 # PlatformToolset: v140 # MYQTDIR: C:\Qt\5.11\msvc2015_64 # That platform causes frequent errors on appveyor due to an unknown infrastructure failure # - VisualStudioVersion: 14.0 # platform: x64 # configuration: Release # vcvarsall_platform: x64 # PlatformToolset: v140 install: - curl -fsSL https://github.com/Z3Prover/z3/releases/download/z3-4.8.9/z3-4.8.9-%platform%-win.zip -o z3-4.8.9-win.zip - 7z x z3-4.8.9-win.zip -oexternals -r -y - move externals\z3-4.8.9-%platform%-win externals\z3 build_script: - ECHO Building %configuration% %platform% with MSVC %VisualStudioVersion% using %PlatformToolset% PlatformToolset - 'CALL "C:\Program Files (x86)\Microsoft Visual Studio %VisualStudioVersion%\VC\vcvarsall.bat" %vcvarsall_platform%' # Visual studio project.. - mkdir vsbuild - cd vsbuild - cmake -DBUILD_TESTS=ON -DCTEST_TIMEOUT=240 .. - cmake --build . --target check --config %configuration% - cd .. # the following builds are Debug ones so do not perform them in Release jobs - 'IF "%configuration%" == "Release" exit /b 0' # use all available processes for nmake - set CL=/MP # cmake.. - mkdir build - cd build - cmake -DBUILD_TESTS=ON -G"NMake Makefiles" .. - nmake - copy bin\cppcheck.exe .. - cd .. # build gui.. - ECHO MYQTDIR=%MYQTDIR% - 'IF defined MYQTDIR cd gui' - 'IF defined MYQTDIR set QTDIR=%MYQTDIR%' - 'IF defined MYQTDIR set PATH=%PATH%;%QTDIR%\bin' - 'IF defined MYQTDIR %QTDIR%\bin\qmake' - 'IF defined MYQTDIR nmake' - 'IF defined MYQTDIR cd ..' test_script: - build\bin\testrunner.exe -q - IF EXIST bin\debug\testrunner.exe bin\debug\testrunner.exe -q - IF EXIST bin\testrunner.exe bin\testrunner.exe -q