Project

General

Profile

Download (181 Bytes) Statistics
| Branch: | Tag: | Revision:

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

1 02d89bbb bourbouh 
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)