.config.cmake.in

@PACKAGE_INIT@

set_and_check(SVF_INSTALL_ROOT "@PACKAGE_SVF_INSTALL_ROOT@")
set_and_check(SVF_INSTALL_BIN_DIR "@PACKAGE_SVF_INSTALL_BIN_DIR@")
set_and_check(SVF_INSTALL_LIB_DIR "@PACKAGE_SVF_INSTALL_LIB_DIR@")

set(SVF_INCLUDE_PATH "@PACKAGE_SVF_INSTALL_ROOT@/../svf/include")
set(SVF_LLVM_INCLUDE_PATH "@PACKAGE_SVF_INSTALL_ROOT@/../svf-llvm/include")

if(EXISTS ${SVF_INCLUDE_PATH} AND EXISTS ${SVF_LLVM_INCLUDE_PATH})
    set(SVF_INSTALL_INCLUDE_DIR "${SVF_INCLUDE_PATH};${SVF_LLVM_INCLUDE_PATH};@PACKAGE_SVF_INSTALL_INCLUDE_DIR@")
else()
    set_and_check(SVF_INSTALL_INCLUDE_DIR "@PACKAGE_SVF_INSTALL_INCLUDE_DIR@")
endif()

message(STATUS "SVF_INSTALL_INCLUDE_DIR is set to: ${SVF_INSTALL_INCLUDE_DIR}")

set_and_check(SVF_INSTALL_EXTAPI_DIR "@PACKAGE_SVF_INSTALL_EXTAPI_DIR@")
set_and_check(SVF_INSTALL_EXTAPI_FILE "@PACKAGE_SVF_INSTALL_EXTAPI_FILE@")

set(SVF_SANITIZE "@SVF_SANITIZE@")

set(SVF_COVERAGE "@SVF_COVERAGE@")
set(SVF_WARN_AS_ERROR "@SVF_WARN_AS_ERROR@")
set(SVF_EXPORT_DYNAMIC "@SVF_EXPORT_DYNAMIC@")
set(SVF_ENABLE_ASSERTIONS "@SVF_ENABLE_ASSERTIONS@")

set(SVF_BUILD_TYPE "@CMAKE_BUILD_TYPE@")
set(SVF_CXX_STANDARD "@CMAKE_CXX_STANDARD@")

set(SVF_ENABLE_RTTI "@SVF_ENABLE_RTTI@")
set(SVF_ENABLE_EXCEPTIONS "@SVF_ENABLE_EXCEPTIONS@")