Project

General

Profile

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

lustrec-tests/regression_tests/lustre_files/success/kind_fmcad08/large/CMakeLists.txt @ 8aaf9f57

1 fa9e78e5 bourbouh 
cmake_minimum_required(VERSION 2.8.4)
2 

      

      

        3
        
            b8dc00eb
        
        
            bourbouh
        
        
add_subdirectory(BROKEN)


      

      

        4
        
        
        
        
        
add_subdirectory(CEX)


      

      

        5
        
        
        
        
        
add_subdirectory(SAFE)


      

      

        6
        
        
        
        
        
add_subdirectory(TIMEOUT)