# Determine number of threads available, used to configure (default) parallel
# execution of custom test targets (can be overriden with ARGS=-jN).
include(ProcessorCount)
ProcessorCount(NTHREADS)
if(NTHREADS EQUAL 0)
  set(NTHREADS 1)
endif()

#-----------------------------------------------------------------------------#
# Add subdirectories

add_subdirectory(regress)
add_subdirectory(system EXCLUDE_FROM_ALL)

if(BUILD_BINDINGS_JAVA)
  add_subdirectory(java)
endif()

if(ENABLE_UNIT_TESTING)
  add_subdirectory(unit EXCLUDE_FROM_ALL)
endif()

#-----------------------------------------------------------------------------#
# Add target 'check', builds and runs
# > unit tests
# > regression tests of levels 0 and 1
# > system tests

add_custom_target(check
  COMMAND ctest --output-on-failure -LE "regress[2-4]" -j${NTHREADS} $(ARGS)
  DEPENDS units regress systemtests)
if(BUILD_BINDINGS_JAVA)
  add_dependencies(check cvc4javatests)
endif()