diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-12 09:15:04 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 89042eec4f63f0aebd3e540dbca5e01714d152b4 (patch) | |
| tree | 748d4d337f265daa0e8110cd7032eb7618e00f9d /test/system | |
| parent | 479aebfc657eb9bc90fad550f51ec3b3d2efec76 (diff) | |
cmake: Added target check
Targets 'check', 'units', 'systemtests' and 'regress' are now run in
parallel with the number of available cores by default. This can be
overriden by passing ARGS=-jN.
Diffstat (limited to 'test/system')
| -rw-r--r-- | test/system/CMakeLists.txt | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/test/system/CMakeLists.txt b/test/system/CMakeLists.txt index faaf53ae4..01b4a384d 100644 --- a/test/system/CMakeLists.txt +++ b/test/system/CMakeLists.txt @@ -3,7 +3,12 @@ include_directories(${PROJECT_SOURCE_DIR}/src) include_directories(${PROJECT_SOURCE_DIR}/src/include) include_directories(${CMAKE_BINARY_DIR}/src) -add_custom_target(systemtests COMMAND ctest --output-on-failure -L "system" $(ARGS)) +#-----------------------------------------------------------------------------# +# Add target 'systemtests', builds and runs +# > system tests + +add_custom_target(systemtests + COMMAND ctest --output-on-failure -L "system" -j${NTHREADS} $(ARGS)) set(CVC4_SYSTEM_TEST_FLAGS -D__BUILDING_CVC4_SYSTEM_TEST -D__STDC_LIMIT_MACROS -D__STDC_FORMAT_MACROS) |