diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-15 00:03:27 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | a8c0ae49ee9c04327b1a8d538a0cdae746616d5b (patch) | |
| tree | eb242b3977b56e83bfcc6099d5f666d7ea1a7a4b /test | |
| parent | 01c979407390b88641aaf6fbd0307fd6d10a8dcb (diff) | |
cmake: Disable unit tests if assertions are not enabled.
Diffstat (limited to 'test')
| -rw-r--r-- | test/CMakeLists.txt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 64fa378ff..e1205faa0 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -28,7 +28,10 @@ endif() add_custom_target(check COMMAND ctest --output-on-failure -LE "regress[2-4]" -j${NTHREADS} $(ARGS) - DEPENDS units regress systemtests) + DEPENDS regress systemtests) if(BUILD_BINDINGS_JAVA) add_dependencies(check cvc4javatests) endif() +if(ENABLE_UNIT_TESTING) + add_dependencies(check units) +endif() |