summaryrefslogtreecommitdiff
path: root/cmake/CVC4Config.cmake.in
blob: 0047cc0ecb6257b865db8ae9476a7488eb902c72 (plain) 
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()
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback