UNPKG

svf-tools

Version:

* <b>[TypeClone](https://github.com/SVF-tools/SVF/wiki/TypeClone) published in our [ECOOP paper](https://yuleisui.github.io/publications/ecoop20.pdf) is now available in SVF </b> * <b>SVF now uses a single script for its build. Just type [`source ./build.

47 lines (40 loc) 1.44 kB
/** * SVF instance configuration header * * WARNING: This file is automatically generated; changes will be overwritten! * */ #ifndef SVF_CONFIG_H_IN #define SVF_CONFIG_H_IN // Expose base properties of this SVF instance #define SVF_VERSION "@SVF_VERSION@" #define SVF_BUILD_TYPE "@SVF_BUILD_TYPE@" #define SVF_C_STANDARD "@CMAKE_C_STANDARD@" #define SVF_CXX_STANDARD "@CMAKE_CXX_STANDARD@" #cmakedefine01 SVF_SHARED_LIBS #cmakedefine01 SVF_C_EXTENSIONS #cmakedefine01 SVF_CXX_EXTENSIONS #cmakedefine01 SVF_C_STANDARD_REQUIRED #cmakedefine01 SVF_CXX_STANDARD_REQUIRED // Expose configurable build options for this SVF instance #cmakedefine01 SVF_NO_EH #cmakedefine01 SVF_NO_RTTI #cmakedefine01 SVF_USE_PIC #cmakedefine01 SVF_USE_LTO #cmakedefine01 SVF_USE_LLD #cmakedefine01 SVF_COVERAGE #cmakedefine01 SVF_DEBUG_INFO #cmakedefine01 SVF_WARN_AS_ERROR #cmakedefine01 SVF_EXPORT_DYNAMIC #cmakedefine01 SVF_ENABLE_ASSERTIONS #cmakedefine SVF_SANITIZE "@SVF_SANITIZE@" // Expose the source/build locations of this SVF instance; only for legacy // use-cases; should not be used directly by end users! #define SVF_BUILD_EXTAPI_BC "@SVF_BUILD_EXTAPI_BC@" #define SVF_SOURCE_DIR "@SVF_SOURCE_DIR@" #define SVF_BUILD_DIR "@SVF_BUILD_DIR@" // Define fallback for installed extapi.bc location to build tree's extapi.bc #ifndef SVF_INSTALL_EXTAPI_BC # define SVF_INSTALL_EXTAPI_BC SVF_BUILD_EXTAPI_BC #endif #endif // SVF_CONFIG_H_IN