Project

General

Profile

Download (1.55 KB) Statistics
| Branch: | Tag: | Revision:
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 lustre: ${LUSTRE_COMPILER} ")
14
else(LUSTRE_COMPILER)
15
  message(FATAL_ERROR "lustre not found")
16
endif(LUSTRE_COMPILER)
17

    
18

    
19

    
20

    
21
if(JAVA_COMPILE AND EXISTS ${PROJECT_SOURCE_DIR}/modules/XPathParser_lusi.java)
22
	file(COPY ${PROJECT_SOURCE_DIR}/modules/XPathParser_lusi.java ${PROJECT_SOURCE_DIR}/modules/javax.xml-1.3.4.jar  DESTINATION  ${CMAKE_BINARY_DIR}/modules)
23
	execute_process(			COMMAND ${JAVA_COMPILE} -classpath "'.;javax.xml-1.3.4.jar;'" XPathParser_lusi.java 
24
						WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules 
25
						)
26
	#add_custom_target (XPathParser_lusi ALL
27
	#	DEPENDS ${CMAKE_BINARY_DIR}/modules/XPathParser_lusi.class)
28
else()
29
	message("javac not found")
30
endif()
31

    
32
if(JAVA_COMPILE AND EXISTS ${PROJECT_SOURCE_DIR}/modules/Generate_inputs_lusi.java)
33
	file(COPY ${PROJECT_SOURCE_DIR}/modules/Generate_inputs_lusi.java   DESTINATION  ${CMAKE_BINARY_DIR}/modules)
34
	execute_process(#OUTPUT  ${CMAKE_BINARY_DIR}/modules/Generate_inputs_lusi.class 
35
						COMMAND ${JAVA_COMPILE}  Generate_inputs_lusi.java 
36
						WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules 
37
						)
38
	#add_custom_target (Generate_inputs_lusi ALL
39
	#	DEPENDS ${CMAKE_BINARY_DIR}/modules/Generate_inputs_lusi.class)
40
else()
41
	message("javac not found")
42
endif()
43

    
44

    
45
add_subdirectory(lustre_files)
46

    
47
    
(1-1/6)