diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-26 15:34:58 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-09-26 15:34:58 -0700 |
commit | bd866bbf75606663315c15ce4f28862e99b70cbd (patch) | |
tree | 8ef70ba013d0408072c2d73548c56a6881bf5457 /test/java | |
parent | 79e866c5150a1d8e4d613f1673bfbf33eb157653 (diff) |
cmake: Fix test target dependency issues. (#2540)
Diffstat (limited to 'test/java')
-rw-r--r-- | test/java/CMakeLists.txt | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/test/java/CMakeLists.txt b/test/java/CMakeLists.txt index 27042559a..b6f0d035a 100644 --- a/test/java/CMakeLists.txt +++ b/test/java/CMakeLists.txt @@ -10,16 +10,18 @@ set(java_test_src_files LinearArith.java ) -add_jar(cvc4javatests +add_jar(build-javatests SOURCES ${java_test_src_files} INCLUDE_JARS ${CMAKE_BINARY_DIR}/src/bindings/java/CVC4.jar ${JUnit_JAR} + OUTPUT_NAME javatests ) -add_dependencies(cvc4javatests cvc4jar) +add_dependencies(build-javatests cvc4jar) +add_dependencies(check build-javatests) # Add java tests to ctest -set(classpath "${CMAKE_CURRENT_BINARY_DIR}/cvc4javatests.jar") +set(classpath "${CMAKE_CURRENT_BINARY_DIR}/javatests.jar") set(classpath "${classpath}:${CMAKE_BINARY_DIR}/src/bindings/java/CVC4.jar") set(classpath "${classpath}:${JUnit_JAR}:${JUnit_JAR_DEPS}") |