Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / automata / CMakeLists.txt @ 02d89bbb

History | View | Annotate | Download (181 Bytes)

1
cmake_minimum_required(VERSION 2.8.4)
2

    
3
add_subdirectory(with_properties)
4
add_subdirectory(without_properties)
5
add_custom_target(automata COMMAND ${CMAKE_CTEST_COMMAND} -R automata)