############################################################################### # Top contributors (to current version): # Aina Niemetz, Mathias Preiner, Yoni Zohar # # This file is part of the cvc5 project. # # Copyright (c) 2009-2021 by the authors listed in the file AUTHORS # in the top-level source directory and their institutional affiliations. # All rights reserved. See the file COPYING in the top-level source # directory for licensing information. # ############################################################################# # # The build system configuration. ## # Add target 'check', builds and runs # > unit tests # > regression tests of levels 0 and 1 # > api tests add_custom_target(build-tests) # Note: Do not add custom targets for running tests (regress, apitests, # units) as dependencies to other run targets. This will result in executing # tests multiple times. For example, if check would depend on regress it would # first run the command of the regress target (i.e., run all regression tests) # and afterwards run the command specified for the check target. # Dependencies of check are added in the corresponding subdirectories. add_custom_target(check COMMAND ctest --output-on-failure -LE "regress[3-4]" -j${CTEST_NTHREADS} $$ARGS DEPENDS build-tests) #-----------------------------------------------------------------------------# # Add subdirectories if (NOT BUILD_LIB_ONLY) add_subdirectory(regress) endif() add_subdirectory(api EXCLUDE_FROM_ALL) if(ENABLE_UNIT_TESTING) add_subdirectory(unit EXCLUDE_FROM_ALL) if(BUILD_SWIG_BINDINGS_JAVA) add_subdirectory(java) endif() endif() # add Python bindings tests if building with Python bindings if (BUILD_BINDINGS_PYTHON) add_subdirectory(python) endif()