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