lustrec-tests/regression_tests/lustre_files/success/CMakeLists.txt @ b03d5034
| 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)
|
| 14 |
add_subdirectory(machine_types) |