svf-lib 1.0.2342 → 1.0.2343
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -64,6 +64,15 @@ set_and_check(SVF_INSTALL_INCLUDEDIR "${PACKAGE_PREFIX_DIR}/include")
|
|
|
64
64
|
set_and_check(SVF_INSTALL_PKGCONFDIR "${PACKAGE_PREFIX_DIR}/lib/pkgconfig")
|
|
65
65
|
set_and_check(SVF_INSTALL_CMAKECONFIGDIR "${PACKAGE_PREFIX_DIR}/lib/cmake/SVF")
|
|
66
66
|
|
|
67
|
+
# If SVF is used directly from a build-from-scratch directory (not installed),
|
|
68
|
+
# append the source include paths (SVF_INCLUDE_PATH and SVF_LLVM_INCLUDE_PATH)
|
|
69
|
+
# to SVF_INSTALL_INCLUDEDIR. This allows users to debug with in-tree headers.
|
|
70
|
+
set(SVF_INCLUDE_PATH "${PACKAGE_PREFIX_DIR}/include/../../svf/include")
|
|
71
|
+
set(SVF_LLVM_INCLUDE_PATH "${PACKAGE_PREFIX_DIR}/include/../../svf-llvm/include")
|
|
72
|
+
if(EXISTS ${SVF_INCLUDE_PATH} AND EXISTS ${SVF_LLVM_INCLUDE_PATH})
|
|
73
|
+
set(SVF_INSTALL_INCLUDEDIR "${SVF_INCLUDE_PATH};${SVF_LLVM_INCLUDE_PATH};${PACKAGE_PREFIX_DIR}/include")
|
|
74
|
+
endif()
|
|
75
|
+
|
|
67
76
|
# For legacy support, also allow the "*_DIR" suffix for the above paths
|
|
68
77
|
set(SVF_INSTALL_BIN_DIR "${SVF_INSTALL_BINDIR}")
|
|
69
78
|
set(SVF_INSTALL_LIB_DIR "${SVF_INSTALL_LIBDIR}")
|