diff options
author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2021-03-20 05:23:44 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-20 05:23:44 -0500 |
commit | a374f7b577b48908d623cf7b64594f1c98cfb8b7 (patch) | |
tree | 0173b96f4f9ec3c967b3d7d9cf64ed4c1c555d8f /examples | |
parent | bdc92b3bb257134c01c5e4818e97f71cbb66ab52 (diff) |
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.
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) |