lustrec-tests/regression_tests/lustre_files/success/CMakeLists.txt @ 02d89bbb
1 |
cmake_minimum_required(VERSION 2.8.4) |
---|---|
2 |
|
3 |
add_subdirectory(Stateflow) |
4 |
add_subdirectory(Simulink) |
5 |
add_subdirectory(kind_fmcad08) |
6 |
add_subdirectory(adrien) |
7 |
add_subdirectory(automata) |