/*************************************************************/
/* Automatically generated, do note edit!                    */
/*************************************************************/
#ifndef BTORCONFIG_H_INCLUDED
#define BTORCONFIG_H_INCLUDED

#define BTOR_CC          "@CMAKE_C_COMPILER_ID@ @CMAKE_C_COMPILER_VERSION@"
#define BTOR_CXX         "@CMAKE_CXX_COMPILER_ID@ @CMAKE_CXX_COMPILER_VERSION@"
#define BTOR_CFLAGS      "@CMAKE_C_FLAGS@"
#define BTOR_CXXFLAGS    "@CMAKE_CXX_FLAGS@"
#define BTOR_OS          "@CMAKE_SYSTEM_NAME@ @CMAKE_SYSTEM_VERSION@"
#define BTOR_COMPILED    "@TIME@"
#define BTOR_SRC_DIR     "@CMAKE_CURRENT_SOURCE_DIR@/src/"
#define BTOR_BIN_DIR     "@CMAKE_CURRENT_BINARY_DIR@/bin/"
#define BTOR_TEST_DIR    "@CMAKE_CURRENT_SOURCE_DIR@/test/"
#define BTOR_LOG_DIR     "@CMAKE_CURRENT_BINARY_DIR@/test/"
#define BTOR_OUT_DIR     "@CMAKE_CURRENT_SOURCE_DIR@/test/log/"
#define BTOR_CONTRIB_DIR "@CMAKE_CURRENT_SOURCE_DIR@/contrib/"
#define BTOR_RELEASED    "@TIME@"
#define BTOR_VERSION     "@VERSION@"
#define BTOR_GIT_ID      "@GIT_BRANCH@@GIT_SHA1@@GIT_DIRTY@"

#endif

