add_custom_target(check-cora DEPENDS copy-cora-tests cora cora-tester COMMAND ${CMAKE_CTEST_COMMAND} COMMENT "Launching test suite for 'cora' layer")

add_custom_target(copy-cora-tests COMMAND ${CMAKE_COMMAND} -E copy_directory "${CMAKE_CURRENT_SOURCE_DIR}" "${CMAKE_CURRENT_BINARY_DIR}")

FILE(STRINGS "${CMAKE_CURRENT_SOURCE_DIR}/test-list.txt" count LIMIT_COUNT 1)

FOREACH(i RANGE 1 ${count})
  add_test(NAME cora-${i}
           COMMAND "${CMAKE_CURRENT_BINARY_DIR}/../extras/cora-tester"
                   "${CMAKE_CURRENT_BINARY_DIR}/../cora"
                   "${CMAKE_CURRENT_SOURCE_DIR}/test-list.txt"
                   "${i}"
           WORKING_DIRECTORY "${CMAKE_CURRENT_BINARY_DIR}"
  )

ENDFOREACH(i)

# This allows tests to mostly run in parallel.
# To generate this list 
# `make cleanlib && make check-cora` and look at `~/.awali/otf`
add_dependencies(check-cora
  lal_char_b-automaton    lal_char_b_lal_char_b-are-equivalent
  lal_char_b-context      lal_char_b-output
  lal_char_b-derivation   lal_char_b-standard
  lal_char_b-determinize
)

add_dependencies(check check-cora)

