Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / large / src / CMakeLists.txt @ fa9e78e5

History | View | Annotate | Download (135 Bytes)

1
cmake_minimum_required(VERSION 2.8.4)
2

    
3
add_subdirectory(BROKEN)
4
add_subdirectory(CEX)
5
add_subdirectory(SAFE)
6
add_subdirectory(TIMEOUT)