|
1
|
cmake_minimum_required(VERSION 2.8.4)
|
|
2
|
project (lustrec-tests)
|
|
3
|
include( CTest )
|
|
4
|
include(FindJava)
|
|
5
|
|
|
6
|
|
|
7
|
set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/modules)
|
|
8
|
include(./modules/Lustre_compile.cmake)
|
|
9
|
include(./modules/Zustre_compile.cmake)
|
|
10
|
include(./modules/helpfull_functions.cmake)
|
|
11
|
include(./modules/strategies.cmake)
|
|
12
|
|
|
13
|
if(LUSTRE_COMPILER)
|
|
14
|
message(STATUS "Found lustre: ${LUSTRE_COMPILER} ")
|
|
15
|
else(LUSTRE_COMPILER)
|
|
16
|
message(FATAL_ERROR "lustre not found")
|
|
17
|
endif(LUSTRE_COMPILER)
|
|
18
|
|
|
19
|
|
|
20
|
if(ZUSTRE_COMPILER)
|
|
21
|
message(STATUS "Found zustre: ${ZUSTRE_COMPILER} ")
|
|
22
|
else(ZUSTRE_COMPILER)
|
|
23
|
message(FATAL_ERROR "zustre not found")
|
|
24
|
endif(ZUSTRE_COMPILER)
|
|
25
|
|
|
26
|
|
|
27
|
if(JAVA_COMPILE AND EXISTS ${PROJECT_SOURCE_DIR}/modules/XPathParser_lusi.java)
|
|
28
|
file(COPY ${PROJECT_SOURCE_DIR}/modules/XPathParser_lusi.java ${PROJECT_SOURCE_DIR}/modules/javax.xml-1.3.4.jar DESTINATION ${CMAKE_BINARY_DIR}/modules)
|
|
29
|
execute_process( COMMAND ${JAVA_COMPILE} -classpath "'.;javax.xml-1.3.4.jar;'" XPathParser_lusi.java
|
|
30
|
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules
|
|
31
|
)
|
|
32
|
#add_custom_target (XPathParser_lusi ALL
|
|
33
|
# DEPENDS ${CMAKE_BINARY_DIR}/modules/XPathParser_lusi.class)
|
|
34
|
else()
|
|
35
|
message("javac not found")
|
|
36
|
endif()
|
|
37
|
|
|
38
|
if(JAVA_COMPILE AND EXISTS ${PROJECT_SOURCE_DIR}/modules/Generate_inputs_lusi.java)
|
|
39
|
file(COPY ${PROJECT_SOURCE_DIR}/modules/Generate_inputs_lusi.java DESTINATION ${CMAKE_BINARY_DIR}/modules)
|
|
40
|
execute_process(#OUTPUT ${CMAKE_BINARY_DIR}/modules/Generate_inputs_lusi.class
|
|
41
|
COMMAND ${JAVA_COMPILE} Generate_inputs_lusi.java
|
|
42
|
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules
|
|
43
|
)
|
|
44
|
#add_custom_target (Generate_inputs_lusi ALL
|
|
45
|
# DEPENDS ${CMAKE_BINARY_DIR}/modules/Generate_inputs_lusi.class)
|
|
46
|
else()
|
|
47
|
message("javac not found")
|
|
48
|
endif()
|
|
49
|
|
|
50
|
|
|
51
|
if(JAVA_COMPILE AND EXISTS ${PROJECT_SOURCE_DIR}/modules/compare_lustrec_outputs.java)
|
|
52
|
file(COPY ${PROJECT_SOURCE_DIR}/modules/compare_lustrec_outputs.java DESTINATION ${CMAKE_BINARY_DIR}/modules)
|
|
53
|
execute_process(
|
|
54
|
COMMAND ${JAVA_COMPILE} compare_lustrec_outputs.java
|
|
55
|
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules
|
|
56
|
)
|
|
57
|
else()
|
|
58
|
message("javac not found")
|
|
59
|
endif()
|
|
60
|
|
|
61
|
|
|
62
|
add_subdirectory(lustre_files)
|
|
63
|
|
|
64
|
|