blob: 0139c5672c36c5a0d953fed1d8f6fefcba7f346d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
find_package(Java REQUIRED)
find_package(JUnit REQUIRED)
include(UseJava)
set(java_test_src_files
BitVectors.java
BitVectorsAndArrays.java
Combination.java
HelloWorld.java
LinearArith.java
)
add_jar(cvc4javatests
SOURCES ${java_test_src_files}
INCLUDE_JARS
${CMAKE_BINARY_DIR}/src/bindings/java/CVC4.jar
${JUnit_JAR}
)
add_dependencies(cvc4javatests cvc4jar)
# Add java tests to ctest
set(classpath "${CMAKE_CURRENT_BINARY_DIR}/cvc4javatests.jar")
set(classpath "${classpath}:${CMAKE_BINARY_DIR}/src/bindings/java/CVC4.jar")
set(classpath "${classpath}:${JUnit_JAR}:${JUnit_JAR_DEPS}")
foreach(src_file ${java_test_src_files})
string(REPLACE ".java" "" name ${src_file})
add_test(
NAME ${name}
COMMAND
java
-Djava.library.path=${CMAKE_BINARY_DIR}/src/bindings/java/
-cp ${classpath}
org.junit.runner.JUnitCore
${name}
)
set_tests_properties(${name} PROPERTIES LABELS "java")
endforeach()
|