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
|
|
|
|
cmake -Hmisc -Bbuild-misc -A%PLATFORM%
|
|
|
|
cmake --build build-misc
|
|
|
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DMEMORYCHECK_COMMAND=build-misc\Debug\CoverageHelper.exe -DMEMORYCHECK_COMMAND_OPTIONS=--sep-- -DMEMORYCHECK_TYPE=Valgrind
|
|
|
|
) else (
|
|
|
|
@REM # We know that coverage is 0
|
|
|
|
if "%examples%"=="1" (
|
|
|
|
@REM # Examples live off the single header, so it needs to be regenerated
|
|
|
|
python scripts\generateSingleHeader.py
|
2018-08-31 11:46:31 +02:00
|
|
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DCATCH_BUILD_EXAMPLES=ON -DCATCH_BUILD_EXTRA_TESTS=ON
|
2018-03-06 18:33:18 +01:00
|
|
|
) else (
|
|
|
|
@REM # This is just a plain debug build
|
|
|
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain%
|
|
|
|
)
|
|
|
|
)
|
2017-12-03 13:03:52 +01:00
|
|
|
)
|
|
|
|
if "%CONFIGURATION%"=="Release" (
|
|
|
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain%
|
|
|
|
)
|