mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-22 21:36:11 +01:00
db32550898
There are two reasons for this: 1) It is highly unlikely that someone has use for this header, which has no customization points and only provides simplest possible main, and cannot link the static library which also provides a default main implementation. 2) It being a header was causing extra complications with the convenience headers, and our checking script. This would either require special handling in the checking script, or would break user's of the main convenience header. All in all, it is simpler and better in the long term to remove it, than to fix its problems.
22 lines
1.1 KiB
Batchfile
22 lines
1.1 KiB
Batchfile
SETLOCAL EnableDelayedExpansion
|
|
|
|
@REM # Possibilities:
|
|
@REM # Debug build + coverage
|
|
@REM # Debug build + examples
|
|
@REM # Debug build + ---
|
|
@REM # Release build
|
|
if "%CONFIGURATION%"=="Debug" (
|
|
if "%coverage%"=="1" (
|
|
@REM # coverage needs to build the special helper as well as the main
|
|
cmake -Htools/misc -Bbuild-misc -A%PLATFORM% || exit /b !ERRORLEVEL!
|
|
cmake --build build-misc || exit /b !ERRORLEVEL!
|
|
cmake -H. -BBuild -A%PLATFORM% -DCATCH_TEST_USE_WMAIN=%wmain% -DMEMORYCHECK_COMMAND=build-misc\Debug\CoverageHelper.exe -DMEMORYCHECK_COMMAND_OPTIONS=--sep-- -DMEMORYCHECK_TYPE=Valgrind -DCATCH_BUILD_EXAMPLES=%examples% -DCATCH_BUILD_EXTRA_TESTS=%examples% -DCATCH_DEVELOPMENT_BUILD=ON || exit /b !ERRORLEVEL!
|
|
) else (
|
|
@REM # We know that coverage is 0
|
|
cmake -H. -BBuild -A%PLATFORM% -DCATCH_TEST_USE_WMAIN=%wmain% -DCATCH_BUILD_EXAMPLES=%examples% -DCATCH_BUILD_EXTRA_TESTS=%examples% -DCATCH_DEVELOPMENT_BUILD=ON || exit /b !ERRORLEVEL!
|
|
)
|
|
)
|
|
if "%CONFIGURATION%"=="Release" (
|
|
cmake -H. -BBuild -A%PLATFORM% -DCATCH_TEST_USE_WMAIN=%wmain% -DCATCH_DEVELOPMENT_BUILD=ON || exit /b !ERRORLEVEL!
|
|
)
|