mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-25 06:46:10 +01:00
Simplify the Appveyor configuration batch script
This commit is contained in:
parent
bcfa9b1775
commit
1e98c820bb
@ -8,6 +8,8 @@ cmake_minimum_required( VERSION 3.0 )
|
|||||||
|
|
||||||
project( CatchExamples CXX )
|
project( CatchExamples CXX )
|
||||||
|
|
||||||
|
message( STATUS "Examples included" )
|
||||||
|
|
||||||
# define folders used:
|
# define folders used:
|
||||||
|
|
||||||
set( EXAMPLES_DIR ${CATCH_DIR}/examples )
|
set( EXAMPLES_DIR ${CATCH_DIR}/examples )
|
||||||
|
@ -13,14 +13,8 @@ if "%CONFIGURATION%"=="Debug" (
|
|||||||
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!
|
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!
|
||||||
) else (
|
) else (
|
||||||
@REM # We know that coverage is 0
|
@REM # We know that coverage is 0
|
||||||
if "%examples%"=="1" (
|
python scripts\generateSingleHeader.py || exit /b !ERRORLEVEL!
|
||||||
@REM # Examples live off the single header, so it needs to be regenerated
|
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DCATCH_BUILD_EXAMPLES=%examples% -DCATCH_BUILD_EXTRA_TESTS=%examples% || exit /b !ERRORLEVEL!
|
||||||
python scripts\generateSingleHeader.py || exit /b !ERRORLEVEL!
|
|
||||||
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% -DCATCH_BUILD_EXAMPLES=ON -DCATCH_BUILD_EXTRA_TESTS=ON || exit /b !ERRORLEVEL!
|
|
||||||
) else (
|
|
||||||
@REM # This is just a plain debug build
|
|
||||||
cmake -H. -BBuild -A%PLATFORM% -DUSE_WMAIN=%wmain% || exit /b !ERRORLEVEL!
|
|
||||||
)
|
|
||||||
)
|
)
|
||||||
)
|
)
|
||||||
if "%CONFIGURATION%"=="Release" (
|
if "%CONFIGURATION%"=="Release" (
|
||||||
|
Loading…
Reference in New Issue
Block a user