diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-24 15:11:03 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | cdac01abe2bff167a82f749c8bf7a2d2bcd69498 (patch) | |
tree | 2c5dc25760e2227a48f51c669ace2029c1ef16a3 /test/java/CMakeLists.txt | |
parent | f0260ef80ee8020e6f5ee7cace54be0a568236f0 (diff) |
cmake: Compile Java tests and add to ctest if Java bindings are enabled.
Diffstat (limited to 'test/java/CMakeLists.txt')
-rw-r--r-- | test/java/CMakeLists.txt | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/java/CMakeLists.txt b/test/java/CMakeLists.txt index e69de29bb..0139c5672 100644 --- a/test/java/CMakeLists.txt +++ b/test/java/CMakeLists.txt @@ -0,0 +1,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() |