lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/large/CMakeLists.txt @ 02d89bbb
1 |
cmake_minimum_required(VERSION 2.8.4) |
---|---|
2 |
|
3 |
add_subdirectory(BROKEN) |
4 |
add_subdirectory(CEX) |
5 |
add_subdirectory(SAFE) |
6 |
add_subdirectory(TIMEOUT) |
7 |
|
8 |
|
9 |
add_custom_target(kind_fmcad08_large COMMAND ${CMAKE_CTEST_COMMAND} -R kind_fmcad08_large) |