diff options
Diffstat (limited to 'examples')
| -rw-r--r-- | examples/CMakeLists.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt index 7022aa674..4f7f1332f 100644 --- a/examples/CMakeLists.txt +++ b/examples/CMakeLists.txt @@ -96,8 +96,8 @@ if(TARGET CVC4::cvc4jar) # -Djava.library.path=${CVC4_JNI_PATH} # SimpleVC # ) - - add_subdirectory(api/java) + # TODO(project wishue #83): enable java examples + # add_subdirectory(api/java) endif() if(CVC4_BINDINGS_PYTHON) |