From a374f7b577b48908d623cf7b64594f1c98cfb8b7 Mon Sep 17 00:00:00 2001 From: mudathirmahgoub 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. --- CMakeLists.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'CMakeLists.txt') diff --git a/CMakeLists.txt b/CMakeLists.txt index 843fc16c1..1bbe6d288 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -565,8 +565,8 @@ if(BUILD_BINDINGS_PYTHON) endif() if(BUILD_BINDINGS_JAVA) - message(FATAL_ERROR - "Java bindings for the new API are not implemented yet.") + add_subdirectory(src/api/java) + message(WARNING "Java API is currently under development.") endif() #-----------------------------------------------------------------------------# -- cgit v1.2.3