2018-09-08 19:36:42 +02:00
|
|
|
SETLOCAL EnableDelayedExpansion
|
2018-03-06 18:33:18 +01:00
|
|
|
|
|
|
|
@REM # Possibilities:
|
|
|
|
@REM # Debug build + coverage
|
|
|
|
@REM # Debug build + examples
|
|
|
|
@REM # Debug build + ---
|
|
|
|
@REM # Release build
|
2017-12-03 13:03:52 +01:00
|
|
|
if "%CONFIGURATION%"=="Debug" (
|
2018-03-06 18:33:18 +01:00
|
|
|
if "%coverage%"=="1" (
|
|
|
|
@REM # coverage needs to build the special helper as well as the main
|
2019-12-06 11:40:53 +01:00
|
|
|
cmake -Htools/misc -Bbuild-misc -A%PLATFORM% || exit /b !ERRORLEVEL!
|
2018-09-08 19:36:42 +02:00
|
|
|
cmake --build build-misc || exit /b !ERRORLEVEL!
|
|
|
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DMEMORYCHECK_COMMAND=build-misc\Debug\CoverageHelper.exe -DMEMORYCHECK_COMMAND_OPTIONS=--sep-- -DMEMORYCHECK_TYPE=Valgrind || exit /b !ERRORLEVEL! || exit /b !ERRORLEVEL!
|
2018-03-06 18:33:18 +01:00
|
|
|
) else (
|
|
|
|
@REM # We know that coverage is 0
|
2018-09-08 20:15:51 +02:00
|
|
|
python scripts\generateSingleHeader.py || exit /b !ERRORLEVEL!
|
|
|
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DCATCH_BUILD_EXAMPLES=%examples% -DCATCH_BUILD_EXTRA_TESTS=%examples% || exit /b !ERRORLEVEL!
|
2018-03-06 18:33:18 +01:00
|
|
|
)
|
2017-12-03 13:03:52 +01:00
|
|
|
)
|
|
|
|
if "%CONFIGURATION%"=="Release" (
|
2018-09-08 19:36:42 +02:00
|
|
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% || exit /b !ERRORLEVEL!
|
2017-12-03 13:03:52 +01:00
|
|
|
)
|