lustrec-tests/regression_tests/lustre_files/success/CMakeLists.txt @ cc6eda98
| 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)
|
| 8 |
add_subdirectory(clocks)
|
| 9 |
add_subdirectory(lego_robot)
|
| 10 |
add_subdirectory(linear_ctl)
|
| 11 |
add_subdirectory(mpfr)
|
| 12 |
add_subdirectory(lusic)
|
| 13 |
add_subdirectory(safety)]]
|