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
|
|
12
|
if(LUSTRE_COMPILER)
|
13
|
message(STATUS "Found zustre: ${LUSTRE_COMPILER} ")
|
14
|
else(LUSTRE_COMPILER)
|
15
|
message(FATAL_ERROR "zustre not found")
|
16
|
endif(LUSTRE_COMPILER)
|
17
|
|
18
|
|
19
|
if(JAVA_COMPILE AND EXISTS ${PROJECT_SOURCE_DIR}/modules/XPathParser_lusi.java)
|
20
|
file(COPY ${PROJECT_SOURCE_DIR}/modules/XPathParser_lusi.java ${PROJECT_SOURCE_DIR}/modules/javax.xml-1.3.4.jar DESTINATION ${CMAKE_BINARY_DIR}/modules)
|
21
|
execute_process(#OUTPUT ${CMAKE_BINARY_DIR}/modules/XPathParser_lusi.class
|
22
|
COMMAND ${JAVA_COMPILE} -classpath "'.;javax.xml-1.3.4.jar;'" XPathParser_lusi.java
|
23
|
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules
|
24
|
)
|
25
|
#add_custom_target (XPathParser_lusi ALL
|
26
|
# DEPENDS ${CMAKE_BINARY_DIR}/modules/XPathParser_lusi.class)
|
27
|
else()
|
28
|
message("javac not found")
|
29
|
endif()
|
30
|
|
31
|
if(JAVA_COMPILE AND EXISTS ${PROJECT_SOURCE_DIR}/modules/Generate_inputs_lusi.java)
|
32
|
file(COPY ${PROJECT_SOURCE_DIR}/modules/Generate_inputs_lusi.java DESTINATION ${CMAKE_BINARY_DIR}/modules)
|
33
|
execute_process(#OUTPUT ${CMAKE_BINARY_DIR}/modules/Generate_inputs_lusi.class
|
34
|
COMMAND ${JAVA_COMPILE} Generate_inputs_lusi.java
|
35
|
WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules
|
36
|
)
|
37
|
#add_custom_target (Generate_inputs_lusi ALL
|
38
|
# DEPENDS ${CMAKE_BINARY_DIR}/modules/Generate_inputs_lusi.class)
|
39
|
else()
|
40
|
message("javac not found")
|
41
|
endif()
|
42
|
|
43
|
|
44
|
add_subdirectory(lustre_files)
|
45
|
|
46
|
|