From a374f7b577b48908d623cf7b64594f1c98cfb8b7 Mon Sep 17 00:00:00 2001
From: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date: Sat, 20 Mar 2021 05:23:44 -0500
Subject: Generate cvc/Kind.java for the java API (#6143)

PR changes:

Refactor python/genkinds.py by separating parsing from file generation.
Add java/genkinds.py to generate file Kind.java.
Enable java API in ./configure.sh with "under development" warning.
---
 examples/CMakeLists.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'examples/CMakeLists.txt')

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)
-- 
cgit v1.2.3