diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-29 12:01:05 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-29 12:01:05 -0700 |
commit | 8c60d62977799b0b34b49199cee7955391943dfb (patch) | |
tree | ce33ecf97ed49027647aaeade14ebadffc2f0652 | |
parent | 7388a1ae91370b45a542bed44176bd4eb4c05bd8 (diff) |
fix
-rw-r--r-- | examples/CMakeLists.txt | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 87c14a7a6..4d0570b76 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -77,14 +77,15 @@ if(TARGET CVC4::cvc4jar) add_jar(SimpleVC SimpleVC.java INCLUDE_JARS "${CVC4_JAR}") - add_test( - NAME java/SimpleVC - COMMAND - ${Java_JAVA_EXECUTABLE} - -cp "${CVC4_JAR}:${CMAKE_BINARY_DIR}/SimpleVC.jar" - -Djava.library.path=${CVC4_JNI_PATH} - SimpleVC - ) + ## disabled until bindings for the new API are in place (issue #2284) + # add_test( + # NAME java/SimpleVC + # COMMAND + # ${Java_JAVA_EXECUTABLE} + # -cp "${CVC4_JAR}:${CMAKE_BINARY_DIR}/SimpleVC.jar" + # -Djava.library.path=${CVC4_JNI_PATH} + # SimpleVC + # ) add_subdirectory(api/java) endif() |