Revision 02d89bbb
Added by Hamza Bourbouh about 8 years ago
regression_tests/CMakeLists.txt | ||
---|---|---|
7 | 7 |
set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/modules) |
8 | 8 |
include(./modules/Lustre_compile.cmake) |
9 | 9 |
include(./modules/Zustre_compile.cmake) |
10 |
|
|
10 |
include(./modules/helpfull_functions.cmake) |
|
11 | 11 |
|
12 | 12 |
if(LUSTRE_COMPILER) |
13 | 13 |
message(STATUS "Found zustre: ${LUSTRE_COMPILER} ") |
Also available in: Unified diff
add automata folder to tests