lustrec-tests/regression_tests/lustre_files/success/automata/CMakeLists.txt @ 02d89bbb
1 |
cmake_minimum_required(VERSION 2.8.4) |
---|---|
2 |
|
3 |
add_subdirectory(with_properties) |
4 |
add_subdirectory(without_properties) |
5 |
add_custom_target(automata COMMAND ${CMAKE_CTEST_COMMAND} -R automata) |