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. --- configure.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'configure.sh') diff --git a/configure.sh b/configure.sh index ed84a7270..d57bcd5d5 100755 --- a/configure.sh +++ b/configure.sh @@ -295,7 +295,9 @@ do --java-bindings) java_bindings=ON;; --no-java-bindings) java_bindings=OFF;; - --all-bindings) python_bindings=ON;; + --all-bindings) + python_bindings=ON + java_bindings=ON;; --valgrind) valgrind=ON;; --no-valgrind) valgrind=OFF;; -- cgit v1.2.3