Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / CMakeLists.txt @ 01b56d34

History | View | Annotate | Download (335 Bytes)

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)