add_custom_target(check-dyn DEPENDS awalidyn COMMAND ${CMAKE_CTEST_COMMAND} COMMENT "Launching test suite for 'dyn' layer")

foreach(VAL accessible automaton determinize derivation eval output eps filter heap json minimize traits view factories)

  include_directories("${CMAKE_CURRENT_SOURCE_DIR}/../../..")
  # ${CMAKE_CURRENT_SOURCE_DIR} equals  <smth>/awali/dyn/tests and we want to
  # include <smth>

  add_executable(test-${VAL} test-${VAL}.cc )
  target_link_libraries(test-${VAL} dl)
  target_link_libraries(test-${VAL} awalidyn)

  add_test(build-${VAL} "${CMAKE_COMMAND}" --build ${CMAKE_BINARY_DIR} --target test-${VAL})

  add_test(${VAL} ./test-${VAL})


  set_tests_properties(${VAL} PROPERTIES DEPENDS test-${VAL})

endforeach(VAL)

add_dependencies(check check-dyn)

# set_tests_properties(accessible PROPERTIES DEPENDS b-context)

add_dependencies(check-dyn  
  lal_char_b-accessible
  lal_char_b-automaton
  lal_char_b-context
  lal_char_b-derivation
  lal_char_b-determinize
  lal_char_b-factories
  lal_char_b_lal_char_b-are-equivalent
  lal_char_b_lal_char_b-product
  lal_char_b-minimize
  lal_char_b-output
  lal_char_b-proper
  lal_char_b-quotient
  lal_char_b-ratexp
  lal_char_b-transpose
  lal_char_f2-context
  lal_char_q-context
  lal_char_q-output
  lal_char_q-ratexp
  lal_char_r-context
  lal_char_z-context
  lal_char_z-determinize
  lal_char_z-eval
  lal_char_zmin-context
  lal_char_z-quotient
  lal_char_z-singleproduct
  lan-lal_char-_b-context
  lan-lal_char-_b-ratexp
  lan-lal_char-_f2-context
  lan-lal_char-_q-context
  lan-lal_char-_r-context
  lan-lal_char-_z-context
  lan-lal_char-_zmin-context
  lat-lan-lal_char-_lal_char-_b-context
)
