blob: 7f6a80995569da0fd09e1b1b4fbae0279c8f3e83 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
@PACKAGE_INIT@
set(CVC4_BINDINGS_JAVA @BUILD_BINDINGS_JAVA@)
set(CVC4_BINDINGS_PYTHON @BUILD_BINDINGS_PYTHON@)
set(CVC4_BINDINGS_PYTHON_VERSION @BUILD_BINDINGS_PYTHON_VERSION@)
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()
|
