1 2 3 4 5
@PACKAGE_INIT@ if(NOT TARGET CVC4::cvc4) include(${CMAKE_CURRENT_LIST_DIR}/CVC4Targets.cmake) endif()