.config.in

#ifndef CONFIG_H_IN
#define CONFIG_H_IN

// Directory structure of SVF build
#define SVF_ROOT "@CMAKE_CURRENT_SOURCE_DIR@"
#define SVF_BUILD_DIR "@CMAKE_CURRENT_BINARY_DIR@"
#define SVF_INSTALL_DIR "@SVF_INSTALL_ROOT@"
#define SVF_BIN_DIR "@SVF_INSTALL_BIN_DIR@"
#define SVF_LIB_DIR "@SVF_INSTALL_LIB_DIR@"
#define SVF_INCLUDE_DIR "@SVF_INSTALL_INCLUDE_DIR@"
#define SVF_EXTAPI_DIR "@SVF_INSTALL_EXTAPI_DIR@"
#define SVF_EXTAPI_BC "@SVF_INSTALL_EXTAPI_FILE@"

// Build mode used to build SVF
#define SVF_BUILD_TYPE "@CMAKE_BUILD_TYPE@"

// Sanitiser mode used for building SVF
#cmakedefine SVF_SANITIZE "@SVF_SANITIZE@"

// Build options used when building SVF
#cmakedefine SVF_COVERAGE
#cmakedefine SVF_WARN_AS_ERROR
#cmakedefine SVF_EXPORT_DYNAMIC
#cmakedefine SVF_ENABLE_ASSERTIONS

#endif // CONFIG_H_IN