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

@PACKAGE_INIT@

if(NOT TARGET CVC4::cvc4)
  include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake)
endif()

if(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