1/*************************************************************/ 2/* Automatically generated, do note edit! */ 3/*************************************************************/ 4#ifndef BTORCONFIG_H_INCLUDED 5#define BTORCONFIG_H_INCLUDED 6 7#define BTOR_CC "@CMAKE_C_COMPILER_ID@ @CMAKE_C_COMPILER_VERSION@" 8#define BTOR_CXX "@CMAKE_CXX_COMPILER_ID@ @CMAKE_CXX_COMPILER_VERSION@" 9#define BTOR_CFLAGS "@CMAKE_C_FLAGS@" 10#define BTOR_CXXFLAGS "@CMAKE_CXX_FLAGS@" 11#define BTOR_OS "@CMAKE_SYSTEM_NAME@ @CMAKE_SYSTEM_VERSION@" 12#define BTOR_COMPILED "@TIME@" 13#define BTOR_SRC_DIR "@CMAKE_CURRENT_SOURCE_DIR@/src/" 14#define BTOR_BIN_DIR "@CMAKE_CURRENT_BINARY_DIR@/bin/" 15#define BTOR_TEST_DIR "@CMAKE_CURRENT_SOURCE_DIR@/test/" 16#define BTOR_LOG_DIR "@CMAKE_CURRENT_BINARY_DIR@/test/" 17#define BTOR_OUT_DIR "@CMAKE_CURRENT_SOURCE_DIR@/test/log/" 18#define BTOR_CONTRIB_DIR "@CMAKE_CURRENT_SOURCE_DIR@/contrib/" 19#define BTOR_RELEASED "@TIME@" 20#define BTOR_VERSION "@VERSION@" 21#define BTOR_GIT_ID "@GIT_BRANCH@@GIT_SHA1@@GIT_DIRTY@" 22 23#endif 24 25