Project

General

Profile

« Previous | Next » 

Revision 02d89bbb

Added by Hamza Bourbouh about 8 years ago

add automata folder to tests

View differences:

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