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 /cmake | |
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 'cmake')
-rw-r--r-- | cmake/CVC4Config.cmake.in | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/cmake/CVC4Config.cmake.in b/cmake/CVC4Config.cmake.in index 38cd4ba8d..ac6bccb20 100644 --- a/cmake/CVC4Config.cmake.in +++ b/cmake/CVC4Config.cmake.in @@ -18,7 +18,9 @@ if(NOT TARGET CVC4::cvc4) include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake) endif() -if(CVC4_BINDINGS_JAVA AND NOT TARGET CVC4::cvc4jar) - set_and_check(CVC4_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@") - include(${CMAKE_CURRENT_LIST_DIR}/CVC4JavaTargets.cmake) -endif() +# TODO(project wishue #83): enable these lines +# if(CVC4_BINDINGS_JAVA AND NOT TARGET CVC4::cvc4jar) +# set_and_check(CVC4_JNI_PATH "@PACKAGE_LIBRARY_INSTALL_DIR@") +# include(${CMAKE_CURRENT_LIST_DIR}/CVC4JavaTargets.cmake) +# endif() + |