summaryrefslogtreecommitdiff
path: root/cmake/CVC4Config.cmake.in
blob: f60e99736bcca22364d0ab9683f5bde41a8de18f (plain) 
1
2
3
4
5
6
7
8
9
10
11
12

@PACKAGE_INIT@

set(CVC4_BINDINGS_JAVA @BUILD_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