1 2 3 4 5 6 7 8 9 10 11 12
@PACKAGE_INIT@ set(CVC4_BINDINGS_JAVA @BUILD_SWIG_BINDINGS_JAVA@) 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()