carl  24.04
Computer ARithmetic Library
CompileInfo.cpp
Go to the documentation of this file.
1 #include "CompileInfo.h"
2 
3 namespace carl {
4 
5 const std::string CompileInfo::SystemName = "Linux";
6 const std::string CompileInfo::SystemVersion = "6.1.0-0.deb11.11-amd64";
7 const std::string CompileInfo::BuildType = "DEBUG";
8 const std::string CompileInfo::CXXCompiler = "/usr/bin/clang++-14";
9 const std::string CompileInfo::CXXCompilerVersion = "14.0.0";
10 const std::string CompileInfo::GitRevisionSHA1 = "";
11 
12 std::ostream& operator<<(std::ostream& os, CMakeOptionPrinter cmop) {
13  auto print = [&os,&cmop](bool advanced, const std::string& type, const std::string& key, const std::string& value) {
14  if (advanced && !cmop.advanced) return;
15  if (type.empty()) return;
16  if (key.empty()) return;
17  if (key[0] == '_') return;
18  if (value.find('\n') == std::string::npos) {
19  os << key << " = " << value << std::endl;
20  } else {
21  os << key << " has multiple lines." << std::endl;
22  }
23  };
24 
25 
26  print(false, "BOOL", "ALLWARNINGS", R"VAR(OFF)VAR");
27  print(true, "FILEPATH", "BIBER_COMPILER", R"VAR(BIBER_COMPILER-NOTFOUND)VAR");
28  print(true, "FILEPATH", "BIBTEX_COMPILER", R"VAR(/usr/bin/bibtex)VAR");
29  print(false, "PATH", "BIN_INSTALL_DIR", R"VAR(/usr/local/lib)VAR");
30  print(true, "UNINITIALIZED", "BLISS_FOUND", R"VAR()VAR");
31  print(true, "PATH", "BLISS_INCLUDE_DIR", R"VAR(BLISS_INCLUDE_DIR-NOTFOUND)VAR");
32  print(true, "FILEPATH", "BLISS_LIBRARY", R"VAR(BLISS_LIBRARY-NOTFOUND)VAR");
33  print(true, "UNINITIALIZED", "BLISS_VERSION", R"VAR(0.74)VAR");
34  print(false, "", "BOOST_COMPONENTS", R"VAR(system;program_options;unit_test_framework;timer;chrono;serialization)VAR");
35  print(false, "", "Boost_FOUND", R"VAR(TRUE)VAR");
36  print(false, "PATH", "Boost_INCLUDE_DIR", R"VAR(/usr/include)VAR");
37  print(false, "", "Boost_USE_DEBUG_RUNTIME", R"VAR(OFF)VAR");
38  print(false, "", "Boost_USE_STATIC_LIBS", R"VAR(OFF)VAR");
39  print(false, "", "Boost_VERSION", R"VAR(1.74.0)VAR");
40  print(false, "", "Boost_VERSION_MAJOR", R"VAR(1)VAR");
41  print(false, "", "Boost_VERSION_MINOR", R"VAR(74)VAR");
42  print(false, "", "Boost_VERSION_PATCH", R"VAR(0)VAR");
43  print(false, "BOOL", "CARL_DEVOPTION_Checkpoints", R"VAR(OFF)VAR");
44  print(false, "BOOL", "CARL_DEVOPTION_Statistics", R"VAR(OFF)VAR");
45  print(false, "", "CLANG_DEFAULT_CXX_STDLIB", R"VAR(libc++)VAR");
46  print(false, "FILEPATH", "CLANG_FORMAT", R"VAR(CLANG_FORMAT-NOTFOUND)VAR");
47  print(false, "STRING", "CLANG_SANITIZER", R"VAR(none)VAR");
48  print(false, "FILEPATH", "CLANG_TIDY", R"VAR(CLANG_TIDY-NOTFOUND)VAR");
49  print(false, "BOOL", "CLANG_TIME_TRACE", R"VAR(OFF)VAR");
50  print(true, "FILEPATH", "CMAKE_ADDR2LINE", R"VAR(/usr/bin/llvm-addr2line-14)VAR");
51  print(true, "FILEPATH", "CMAKE_AR", R"VAR(/usr/bin/llvm-ar-14)VAR");
52  print(false, "", "CMAKE_AUTOGEN_ORIGIN_DEPENDS", R"VAR(ON)VAR");
53  print(false, "", "CMAKE_AUTOMOC_COMPILER_PREDEFINES", R"VAR(ON)VAR");
54  print(false, "", "CMAKE_AUTOMOC_MACRO_NAMES", R"VAR(Q_OBJECT;Q_GADGET;Q_NAMESPACE;Q_NAMESPACE_EXPORT)VAR");
55  print(false, "", "CMAKE_AUTOMOC_PATH_PREFIX", R"VAR(OFF)VAR");
56  print(false, "", "CMAKE_BASE_NAME", R"VAR(clang++-14)VAR");
57  print(false, "", "CMAKE_BINARY_DIR", R"VAR(/builds/ths/smt/carl/build)VAR");
58  print(false, "", "CMAKE_BUILD_TOOL", R"VAR(/usr/bin/gmake)VAR");
59  print(false, "STRING", "CMAKE_BUILD_TYPE", R"VAR(DEBUG)VAR");
60  print(false, "", "CMAKE_BUILD_WITH_INSTALL_RPATH", R"VAR(FALSE)VAR");
61  print(false, "INTERNAL", "CMAKE_CACHEFILE_DIR", R"VAR(/builds/ths/smt/carl/build)VAR");
62  print(false, "INTERNAL", "CMAKE_CACHE_MAJOR_VERSION", R"VAR(3)VAR");
63  print(false, "INTERNAL", "CMAKE_CACHE_MINOR_VERSION", R"VAR(22)VAR");
64  print(false, "INTERNAL", "CMAKE_CACHE_PATCH_VERSION", R"VAR(1)VAR");
65  print(false, "", "CMAKE_CFG_INTDIR", R"VAR(.)VAR");
66  print(true, "BOOL", "CMAKE_COLOR_MAKEFILE", R"VAR(ON)VAR");
67  print(false, "INTERNAL", "CMAKE_COMMAND", R"VAR(/usr/bin/cmake)VAR");
68  print(false, "INTERNAL", "CMAKE_CPACK_COMMAND", R"VAR(/usr/bin/cpack)VAR");
69  print(false, "", "CMAKE_CROSSCOMPILING", R"VAR(FALSE)VAR");
70  print(false, "INTERNAL", "CMAKE_CTEST_COMMAND", R"VAR(/usr/bin/ctest)VAR");
71  print(false, "", "CMAKE_CURRENT_BINARY_DIR", R"VAR(/builds/ths/smt/carl/build/src/carl-common/compile_info)VAR");
72  print(false, "", "CMAKE_CURRENT_LIST_DIR", R"VAR(/builds/ths/smt/carl/src/carl-common/compile_info)VAR");
73  print(false, "", "CMAKE_CURRENT_LIST_FILE", R"VAR(/builds/ths/smt/carl/src/carl-common/compile_info/CMakeLists.txt)VAR");
74  print(false, "", "CMAKE_CURRENT_SOURCE_DIR", R"VAR(/builds/ths/smt/carl/src/carl-common/compile_info)VAR");
75  print(false, "", "CMAKE_CXX11_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++11)VAR");
76  print(false, "", "CMAKE_CXX11_STANDARD_COMPILE_OPTION", R"VAR(-std=c++11)VAR");
77  print(false, "", "CMAKE_CXX11_STANDARD__HAS_FULL_SUPPORT", R"VAR(ON)VAR");
78  print(false, "", "CMAKE_CXX14_COMPILE_FEATURES", R"VAR(cxx_std_14;cxx_aggregate_default_initializers;cxx_attribute_deprecated;cxx_binary_literals;cxx_contextual_conversions;cxx_decltype_auto;cxx_digit_separators;cxx_generic_lambdas;cxx_lambda_init_captures;cxx_relaxed_constexpr;cxx_return_type_deduction;cxx_variable_templates)VAR");
79  print(false, "", "CMAKE_CXX14_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++14)VAR");
80  print(false, "", "CMAKE_CXX14_STANDARD_COMPILE_OPTION", R"VAR(-std=c++14)VAR");
81  print(false, "", "CMAKE_CXX14_STANDARD__HAS_FULL_SUPPORT", R"VAR(ON)VAR");
82  print(false, "", "CMAKE_CXX17_COMPILE_FEATURES", R"VAR(cxx_std_17)VAR");
83  print(false, "", "CMAKE_CXX17_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++17)VAR");
84  print(false, "", "CMAKE_CXX17_STANDARD_COMPILE_OPTION", R"VAR(-std=c++17)VAR");
85  print(false, "", "CMAKE_CXX20_COMPILE_FEATURES", R"VAR(cxx_std_20)VAR");
86  print(false, "", "CMAKE_CXX20_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++20)VAR");
87  print(false, "", "CMAKE_CXX20_STANDARD_COMPILE_OPTION", R"VAR(-std=c++20)VAR");
88  print(false, "", "CMAKE_CXX23_COMPILE_FEATURES", R"VAR(cxx_std_23)VAR");
89  print(false, "", "CMAKE_CXX23_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++2b)VAR");
90  print(false, "", "CMAKE_CXX23_STANDARD_COMPILE_OPTION", R"VAR(-std=c++2b)VAR");
91  print(false, "", "CMAKE_CXX98_COMPILE_FEATURES", R"VAR(cxx_std_98;cxx_template_template_parameters)VAR");
92  print(false, "", "CMAKE_CXX98_EXTENSION_COMPILE_OPTION", R"VAR(-std=gnu++98)VAR");
93  print(false, "", "CMAKE_CXX98_STANDARD_COMPILE_OPTION", R"VAR(-std=c++98)VAR");
94  print(false, "", "CMAKE_CXX98_STANDARD__HAS_FULL_SUPPORT", R"VAR(ON)VAR");
95  print(false, "", "CMAKE_CXX_ABI_COMPILED", R"VAR(TRUE)VAR");
96  print(false, "", "CMAKE_CXX_ARCHIVE_APPEND", R"VAR(<CMAKE_AR> q <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
97  print(false, "", "CMAKE_CXX_ARCHIVE_APPEND_IPO", R"VAR("/usr/bin/llvm-ar-14" r <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
98  print(false, "", "CMAKE_CXX_ARCHIVE_CREATE", R"VAR(<CMAKE_AR> qc <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
99  print(false, "", "CMAKE_CXX_ARCHIVE_CREATE_IPO", R"VAR("/usr/bin/llvm-ar-14" cr <TARGET> <LINK_FLAGS> <OBJECTS>)VAR");
100  print(false, "", "CMAKE_CXX_ARCHIVE_FINISH", R"VAR(<CMAKE_RANLIB> <TARGET>)VAR");
101  print(false, "", "CMAKE_CXX_ARCHIVE_FINISH_IPO", R"VAR("/usr/bin/llvm-ranlib-14" <TARGET>)VAR");
102  print(false, "", "CMAKE_CXX_BYTE_ORDER", R"VAR(LITTLE_ENDIAN)VAR");
103  print(false, "", "CMAKE_CXX_CL_SHOWINCLUDES_PREFIX", R"VAR()VAR");
104  print(true, "FILEPATH", "CMAKE_CXX_COMPILER", R"VAR(/usr/bin/clang++-14)VAR");
105  print(false, "", "CMAKE_CXX_COMPILER_ABI", R"VAR(ELF)VAR");
106  print(true, "FILEPATH", "CMAKE_CXX_COMPILER_AR", R"VAR(/usr/bin/llvm-ar-14)VAR");
107  print(false, "", "CMAKE_CXX_COMPILER_ARG1", R"VAR()VAR");
108  print(false, "", "CMAKE_CXX_COMPILER_ENV_VAR", R"VAR(CXX)VAR");
109  print(false, "", "CMAKE_CXX_COMPILER_FRONTEND_VARIANT", R"VAR(GNU)VAR");
110  print(false, "", "CMAKE_CXX_COMPILER_ID", R"VAR(Clang)VAR");
111  print(false, "", "CMAKE_CXX_COMPILER_ID_RUN", R"VAR(1)VAR");
112  print(false, "", "CMAKE_CXX_COMPILER_LOADED", R"VAR(1)VAR");
113  print(false, "", "CMAKE_CXX_COMPILER_PREDEFINES_COMMAND", R"VAR(/usr/bin/clang++-14;-dM;-E;-c;/usr/share/cmake-3.22/Modules/CMakeCXXCompilerABI.cpp)VAR");
114  print(true, "FILEPATH", "CMAKE_CXX_COMPILER_RANLIB", R"VAR(/usr/bin/llvm-ranlib-14)VAR");
115  print(false, "", "CMAKE_CXX_COMPILER_VERSION", R"VAR(14.0.0)VAR");
116  print(false, "", "CMAKE_CXX_COMPILER_VERSION_INTERNAL", R"VAR()VAR");
117  print(false, "", "CMAKE_CXX_COMPILER_WORKS", R"VAR(TRUE)VAR");
118  print(false, "", "CMAKE_CXX_COMPILER_WRAPPER", R"VAR()VAR");
119  print(false, "", "CMAKE_CXX_COMPILE_OBJECT", R"VAR(<CMAKE_CXX_COMPILER> <DEFINES> <INCLUDES> <FLAGS> -o <OBJECT> -c <SOURCE>)VAR");
120  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_CREATE_PCH", R"VAR(-Xclang;-emit-pch;-Xclang;-include;-Xclang;<PCH_HEADER>;-x;c++-header)VAR");
121  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_EXPLICIT_LANGUAGE", R"VAR(-x;c++)VAR");
122  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_EXTERNAL_TOOLCHAIN", R"VAR(--gcc-toolchain=)VAR");
123  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_INSTANTIATE_TEMPLATES_PCH", R"VAR(-fpch-instantiate-templates)VAR");
124  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_INVALID_PCH", R"VAR(-Winvalid-pch)VAR");
125  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_IPO", R"VAR(-flto=thin)VAR");
126  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_PIC", R"VAR(-fPIC)VAR");
127  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_PIE", R"VAR(-fPIE)VAR");
128  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_SYSROOT", R"VAR(--sysroot=)VAR");
129  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_TARGET", R"VAR(--target=)VAR");
130  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_USE_PCH", R"VAR(-Xclang;-include-pch;-Xclang;<PCH_FILE>;-Xclang;-include;-Xclang;<PCH_HEADER>)VAR");
131  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_VISIBILITY", R"VAR(-fvisibility=)VAR");
132  print(false, "", "CMAKE_CXX_COMPILE_OPTIONS_VISIBILITY_INLINES_HIDDEN", R"VAR(-fvisibility-inlines-hidden)VAR");
133  print(false, "", "CMAKE_CXX_CREATE_ASSEMBLY_SOURCE", R"VAR(<CMAKE_CXX_COMPILER> <DEFINES> <INCLUDES> <FLAGS> -S <SOURCE> -o <ASSEMBLY_SOURCE>)VAR");
134  print(false, "", "CMAKE_CXX_CREATE_PREPROCESSED_SOURCE", R"VAR(<CMAKE_CXX_COMPILER> <DEFINES> <INCLUDES> <FLAGS> -E <SOURCE> > <PREPROCESSED_SOURCE>)VAR");
135  print(false, "", "CMAKE_CXX_CREATE_SHARED_LIBRARY", R"VAR(<CMAKE_CXX_COMPILER> <CMAKE_SHARED_LIBRARY_CXX_FLAGS> <LANGUAGE_COMPILE_FLAGS> <LINK_FLAGS> <CMAKE_SHARED_LIBRARY_CREATE_CXX_FLAGS> <SONAME_FLAG><TARGET_SONAME> -o <TARGET> <OBJECTS> <LINK_LIBRARIES>)VAR");
136  print(false, "", "CMAKE_CXX_CREATE_SHARED_MODULE", R"VAR(<CMAKE_CXX_COMPILER> <CMAKE_SHARED_LIBRARY_CXX_FLAGS> <LANGUAGE_COMPILE_FLAGS> <LINK_FLAGS> <CMAKE_SHARED_LIBRARY_CREATE_CXX_FLAGS> <SONAME_FLAG><TARGET_SONAME> -o <TARGET> <OBJECTS> <LINK_LIBRARIES>)VAR");
137  print(false, "", "CMAKE_CXX_DEPENDS_USE_COMPILER", R"VAR(TRUE)VAR");
138  print(false, "", "CMAKE_CXX_DEPFILE_FORMAT", R"VAR(gcc)VAR");
139  print(false, "", "CMAKE_CXX_EXTENSIONS_COMPUTED_DEFAULT", R"VAR(ON)VAR");
140  print(false, "", "CMAKE_CXX_EXTENSIONS_DEFAULT", R"VAR(ON)VAR");
141  print(true, "STRING", "CMAKE_CXX_FLAGS", R"VAR( -pthread -Wall -Wextra -Wconversion -DDEBUG -ftemplate-backtrace-limit=0)VAR");
142  print(true, "STRING", "CMAKE_CXX_FLAGS_DEBUG", R"VAR(-g -O1)VAR");
143  print(false, "", "CMAKE_CXX_FLAGS_DEBUG_INIT", R"VAR( -g)VAR");
144  print(false, "", "CMAKE_CXX_FLAGS_INIT", R"VAR( )VAR");
145  print(true, "STRING", "CMAKE_CXX_FLAGS_MINSIZEREL", R"VAR(-Os -DNDEBUG)VAR");
146  print(false, "", "CMAKE_CXX_FLAGS_MINSIZEREL_INIT", R"VAR( -Os -DNDEBUG)VAR");
147  print(true, "STRING", "CMAKE_CXX_FLAGS_RELEASE", R"VAR(-O3 -DNDEBUG -O3 -fomit-frame-pointer -msse -msse2 -funroll-loops)VAR");
148  print(false, "", "CMAKE_CXX_FLAGS_RELEASE_INIT", R"VAR( -O3 -DNDEBUG)VAR");
149  print(true, "STRING", "CMAKE_CXX_FLAGS_RELWITHDEBINFO", R"VAR(-O2 -g -DNDEBUG)VAR");
150  print(false, "", "CMAKE_CXX_FLAGS_RELWITHDEBINFO_INIT", R"VAR( -O2 -g -DNDEBUG)VAR");
151  print(false, "", "CMAKE_CXX_IGNORE_EXTENSIONS", R"VAR(inl;h;hpp;HPP;H;o;O;obj;OBJ;def;DEF;rc;RC)VAR");
152  print(false, "", "CMAKE_CXX_IMPLICIT_INCLUDE_DIRECTORIES", R"VAR(/usr/include/c++/12;/usr/include/x86_64-linux-gnu/c++/12;/usr/include/c++/12/backward;/usr/lib/llvm-14/lib/clang/14.0.0/include;/usr/local/include;/usr/include/x86_64-linux-gnu;/usr/include)VAR");
153  print(false, "", "CMAKE_CXX_IMPLICIT_LINK_DIRECTORIES", R"VAR(/usr/lib/gcc/x86_64-linux-gnu/12;/usr/lib64;/lib/x86_64-linux-gnu;/lib64;/usr/lib/x86_64-linux-gnu;/usr/lib/llvm-14/lib;/lib;/usr/lib)VAR");
154  print(false, "", "CMAKE_CXX_IMPLICIT_LINK_FRAMEWORK_DIRECTORIES", R"VAR()VAR");
155  print(false, "", "CMAKE_CXX_IMPLICIT_LINK_LIBRARIES", R"VAR(stdc++;m;gcc_s;gcc;c;gcc_s;gcc)VAR");
156  print(false, "", "CMAKE_CXX_INFORMATION_LOADED", R"VAR(1)VAR");
157  print(false, "", "CMAKE_CXX_LIBRARY_ARCHITECTURE", R"VAR(x86_64-linux-gnu)VAR");
158  print(false, "", "CMAKE_CXX_LINKER_PREFERENCE", R"VAR(30)VAR");
159  print(false, "", "CMAKE_CXX_LINKER_PREFERENCE_PROPAGATES", R"VAR(1)VAR");
160  print(false, "", "CMAKE_CXX_LINKER_WRAPPER_FLAG", R"VAR(-Xlinker; )VAR");
161  print(false, "", "CMAKE_CXX_LINK_EXECUTABLE", R"VAR(<CMAKE_CXX_COMPILER> <FLAGS> <CMAKE_CXX_LINK_FLAGS> <LINK_FLAGS> <OBJECTS> -o <TARGET> <LINK_LIBRARIES>)VAR");
162  print(false, "", "CMAKE_CXX_LINK_OPTIONS_NO_PIE", R"VAR(-no-pie)VAR");
163  print(false, "", "CMAKE_CXX_LINK_OPTIONS_PIE", R"VAR(-fPIE;-pie)VAR");
164  print(false, "", "CMAKE_CXX_LINK_WHAT_YOU_USE_FLAG", R"VAR(LINKER:--no-as-needed)VAR");
165  print(false, "", "CMAKE_CXX_OUTPUT_EXTENSION", R"VAR(.o)VAR");
166  print(false, "", "CMAKE_CXX_PLATFORM_ID", R"VAR(Linux)VAR");
167  print(false, "", "CMAKE_CXX_SIMULATE_ID", R"VAR()VAR");
168  print(false, "", "CMAKE_CXX_SIMULATE_VERSION", R"VAR()VAR");
169  print(false, "", "CMAKE_CXX_SIZEOF_DATA_PTR", R"VAR(8)VAR");
170  print(false, "", "CMAKE_CXX_SOURCE_FILE_EXTENSIONS", R"VAR(C;M;c++;cc;cpp;cxx;m;mm;mpp;CPP;ixx;cppm)VAR");
171  print(false, "", "CMAKE_CXX_STANDARD", R"VAR(20)VAR");
172  print(false, "", "CMAKE_CXX_STANDARD_COMPUTED_DEFAULT", R"VAR(14)VAR");
173  print(false, "", "CMAKE_CXX_STANDARD_DEFAULT", R"VAR(14)VAR");
174  print(false, "", "CMAKE_CXX_STANDARD_REQUIRED", R"VAR(20)VAR");
175  print(false, "", "CMAKE_CXX_VERBOSE_FLAG", R"VAR(-v)VAR");
176  print(false, "", "CMAKE_DEPFILE_FLAGS_CXX", R"VAR(-MD -MT <DEP_TARGET> -MF <DEP_FILE>)VAR");
177  print(false, "", "CMAKE_DISABLE_IN_SOURCE_BUILD", R"VAR(ON)VAR");
178  print(true, "FILEPATH", "CMAKE_DLLTOOL", R"VAR(/usr/bin/llvm-dlltool-14)VAR");
179  print(false, "", "CMAKE_DL_LIBS", R"VAR(dl)VAR");
180  print(false, "", "CMAKE_EFFECTIVE_SYSTEM_NAME", R"VAR(Linux)VAR");
181  print(false, "INTERNAL", "CMAKE_EXECUTABLE_FORMAT", R"VAR(ELF)VAR");
182  print(false, "", "CMAKE_EXECUTABLE_RPATH_LINK_CXX_FLAG", R"VAR(-Wl,-rpath-link,)VAR");
183  print(false, "", "CMAKE_EXECUTABLE_RUNTIME_CXX_FLAG", R"VAR(-Wl,-rpath,)VAR");
184  print(false, "", "CMAKE_EXECUTABLE_RUNTIME_CXX_FLAG_SEP", R"VAR(:)VAR");
185  print(false, "", "CMAKE_EXECUTABLE_SUFFIX", R"VAR()VAR");
186  print(false, "", "CMAKE_EXE_EXPORTS_CXX_FLAG", R"VAR(-Wl,--export-dynamic)VAR");
187  print(false, "", "CMAKE_EXE_EXPORTS_C_FLAG", R"VAR(-Wl,--export-dynamic)VAR");
188  print(true, "STRING", "CMAKE_EXE_LINKER_FLAGS", R"VAR()VAR");
189  print(true, "STRING", "CMAKE_EXE_LINKER_FLAGS_DEBUG", R"VAR()VAR");
190  print(false, "", "CMAKE_EXE_LINKER_FLAGS_INIT", R"VAR( )VAR");
191  print(true, "STRING", "CMAKE_EXE_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
192  print(true, "STRING", "CMAKE_EXE_LINKER_FLAGS_RELEASE", R"VAR()VAR");
193  print(true, "STRING", "CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
194  print(false, "", "CMAKE_EXE_LINK_DYNAMIC_CXX_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
195  print(false, "", "CMAKE_EXE_LINK_DYNAMIC_C_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
196  print(false, "", "CMAKE_EXE_LINK_STATIC_CXX_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
197  print(false, "", "CMAKE_EXE_LINK_STATIC_C_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
198  print(true, "BOOL", "CMAKE_EXPORT_COMPILE_COMMANDS", R"VAR(ON)VAR");
199  print(false, "INTERNAL", "CMAKE_EXTRA_GENERATOR", R"VAR()VAR");
200  print(false, "", "CMAKE_FILES_DIRECTORY", R"VAR(/CMakeFiles)VAR");
201  print(false, "", "CMAKE_FIND_FRAMEWORK", R"VAR(LAST)VAR");
202  print(false, "", "CMAKE_FIND_LIBRARY_PREFIXES", R"VAR(lib)VAR");
203  print(false, "", "CMAKE_FIND_LIBRARY_SUFFIXES", R"VAR(.so;.a)VAR");
204  print(false, "INTERNAL", "CMAKE_GENERATOR", R"VAR(Unix Makefiles)VAR");
205  print(false, "INTERNAL", "CMAKE_GENERATOR_INSTANCE", R"VAR()VAR");
206  print(false, "INTERNAL", "CMAKE_GENERATOR_PLATFORM", R"VAR()VAR");
207  print(false, "INTERNAL", "CMAKE_GENERATOR_TOOLSET", R"VAR()VAR");
208  print(false, "INTERNAL", "CMAKE_HAVE_LIBC_PTHREAD", R"VAR(1)VAR");
209  print(false, "INTERNAL", "CMAKE_HAVE_PTHREAD_H", R"VAR(1)VAR");
210  print(false, "", "CMAKE_HAVE_THREADS_LIBRARY", R"VAR(1)VAR");
211  print(false, "INTERNAL", "CMAKE_HOME_DIRECTORY", R"VAR(/builds/ths/smt/carl)VAR");
212  print(false, "", "CMAKE_HOST_SYSTEM", R"VAR(Linux-6.1.0-0.deb11.11-amd64)VAR");
213  print(false, "", "CMAKE_HOST_SYSTEM_NAME", R"VAR(Linux)VAR");
214  print(false, "", "CMAKE_HOST_SYSTEM_PROCESSOR", R"VAR(x86_64)VAR");
215  print(false, "", "CMAKE_HOST_SYSTEM_VERSION", R"VAR(6.1.0-0.deb11.11-amd64)VAR");
216  print(false, "", "CMAKE_HOST_UNIX", R"VAR(1)VAR");
217  print(false, "", "CMAKE_INCLUDE_FLAG_C", R"VAR(-I)VAR");
218  print(false, "", "CMAKE_INCLUDE_FLAG_CXX", R"VAR(-I)VAR");
219  print(false, "", "CMAKE_INCLUDE_SYSTEM_FLAG_CXX", R"VAR(-isystem )VAR");
220  print(true, "PATH", "CMAKE_INSTALL_BINDIR", R"VAR(bin)VAR");
221  print(true, "PATH", "CMAKE_INSTALL_DATADIR", R"VAR()VAR");
222  print(true, "PATH", "CMAKE_INSTALL_DATAROOTDIR", R"VAR(share)VAR");
223  print(false, "", "CMAKE_INSTALL_DEFAULT_COMPONENT_NAME", R"VAR(Unspecified)VAR");
224  print(false, "PATH", "CMAKE_INSTALL_DIR", R"VAR(/usr/local/lib/cmake/carl)VAR");
225  print(true, "PATH", "CMAKE_INSTALL_DOCDIR", R"VAR()VAR");
226  print(true, "PATH", "CMAKE_INSTALL_INCLUDEDIR", R"VAR(include)VAR");
227  print(true, "PATH", "CMAKE_INSTALL_INFODIR", R"VAR()VAR");
228  print(true, "PATH", "CMAKE_INSTALL_LIBDIR", R"VAR(lib)VAR");
229  print(true, "PATH", "CMAKE_INSTALL_LIBEXECDIR", R"VAR(libexec)VAR");
230  print(true, "PATH", "CMAKE_INSTALL_LOCALEDIR", R"VAR()VAR");
231  print(true, "PATH", "CMAKE_INSTALL_LOCALSTATEDIR", R"VAR(var)VAR");
232  print(true, "PATH", "CMAKE_INSTALL_MANDIR", R"VAR()VAR");
233  print(true, "PATH", "CMAKE_INSTALL_OLDINCLUDEDIR", R"VAR(/usr/include)VAR");
234  print(false, "PATH", "CMAKE_INSTALL_PREFIX", R"VAR(/usr/local)VAR");
235  print(false, "", "CMAKE_INSTALL_RPATH", R"VAR(/usr/local/lib)VAR");
236  print(false, "", "CMAKE_INSTALL_RPATH_USE_LINK_PATH", R"VAR(TRUE)VAR");
237  print(true, "PATH", "CMAKE_INSTALL_RUNSTATEDIR", R"VAR()VAR");
238  print(true, "PATH", "CMAKE_INSTALL_SBINDIR", R"VAR(sbin)VAR");
239  print(true, "PATH", "CMAKE_INSTALL_SHAREDSTATEDIR", R"VAR(com)VAR");
240  print(false, "INTERNAL", "CMAKE_INSTALL_SO_NO_EXE", R"VAR(1)VAR");
241  print(true, "PATH", "CMAKE_INSTALL_SYSCONFDIR", R"VAR(etc)VAR");
242  print(false, "", "CMAKE_INTERNAL_PLATFORM_ABI", R"VAR(ELF)VAR");
243  print(false, "", "CMAKE_LIBRARY_ARCHITECTURE", R"VAR(x86_64-linux-gnu)VAR");
244  print(false, "", "CMAKE_LIBRARY_ARCHITECTURE_REGEX", R"VAR([a-z0-9_]+(-[a-z0-9_]+)?-linux-gnu[a-z0-9_]*)VAR");
245  print(false, "", "CMAKE_LIBRARY_PATH_FLAG", R"VAR(-L)VAR");
246  print(false, "", "CMAKE_LIBRARY_PATH_TERMINATOR", R"VAR()VAR");
247  print(true, "FILEPATH", "CMAKE_LINKER", R"VAR(/usr/bin/ld)VAR");
248  print(false, "", "CMAKE_LINK_LIBRARY_FLAG", R"VAR(-l)VAR");
249  print(false, "", "CMAKE_LINK_LIBRARY_SUFFIX", R"VAR()VAR");
250  print(false, "", "CMAKE_LINK_WHAT_YOU_USE_CHECK", R"VAR(ldd;-u;-r)VAR");
251  print(false, "", "CMAKE_MAJOR_VERSION", R"VAR(3)VAR");
252  print(true, "FILEPATH", "CMAKE_MAKE_PROGRAM", R"VAR($(MAKE))VAR");
253  print(false, "", "CMAKE_MATCH_0", R"VAR()VAR");
254  print(false, "", "CMAKE_MATCH_1", R"VAR()VAR");
255  print(false, "", "CMAKE_MATCH_2", R"VAR()VAR");
256  print(false, "", "CMAKE_MATCH_3", R"VAR()VAR");
257  print(false, "", "CMAKE_MATCH_4", R"VAR()VAR");
258  print(false, "", "CMAKE_MATCH_COUNT", R"VAR(0)VAR");
259  print(false, "", "CMAKE_MINIMUM_REQUIRED_VERSION", R"VAR(3.7)VAR");
260  print(false, "", "CMAKE_MINOR_VERSION", R"VAR(22)VAR");
261  print(true, "STRING", "CMAKE_MODULE_LINKER_FLAGS", R"VAR()VAR");
262  print(true, "STRING", "CMAKE_MODULE_LINKER_FLAGS_DEBUG", R"VAR()VAR");
263  print(false, "", "CMAKE_MODULE_LINKER_FLAGS_INIT", R"VAR( )VAR");
264  print(true, "STRING", "CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
265  print(true, "STRING", "CMAKE_MODULE_LINKER_FLAGS_RELEASE", R"VAR()VAR");
266  print(true, "STRING", "CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
267  print(false, "", "CMAKE_MODULE_PATH", R"VAR(/builds/ths/smt/carl/cmake)VAR");
268  print(false, "", "CMAKE_MT", R"VAR()VAR");
269  print(true, "FILEPATH", "CMAKE_NM", R"VAR(/usr/bin/llvm-nm-14)VAR");
270  print(false, "INTERNAL", "CMAKE_NUMBER_OF_MAKEFILES", R"VAR(34)VAR");
271  print(true, "FILEPATH", "CMAKE_OBJCOPY", R"VAR(/usr/bin/llvm-objcopy-14)VAR");
272  print(true, "FILEPATH", "CMAKE_OBJDUMP", R"VAR(/usr/bin/llvm-objdump-14)VAR");
273  print(false, "", "CMAKE_PARENT_LIST_FILE", R"VAR(/builds/ths/smt/carl/src/carl-common/compile_info/CMakeLists.txt)VAR");
274  print(false, "", "CMAKE_PATCH_VERSION", R"VAR(1)VAR");
275  print(false, "", "CMAKE_PCH_EXTENSION", R"VAR(.pch)VAR");
276  print(false, "", "CMAKE_PCH_PROLOGUE", R"VAR(#pragma clang system_header)VAR");
277  print(false, "", "CMAKE_PLATFORM_IMPLICIT_LINK_DIRECTORIES", R"VAR(/lib;/lib32;/lib64;/usr/lib;/usr/lib32;/usr/lib64)VAR");
278  print(false, "", "CMAKE_PLATFORM_INFO_DIR", R"VAR(/builds/ths/smt/carl/build/CMakeFiles/3.22.1)VAR");
279  print(false, "INTERNAL", "CMAKE_PLATFORM_INFO_INITIALIZED", R"VAR(1)VAR");
280  print(false, "", "CMAKE_PLATFORM_USES_PATH_WHEN_NO_SONAME", R"VAR(1)VAR");
281  print(false, "", "CMAKE_POSITION_INDEPENDENT_CODE", R"VAR(ON)VAR");
282  print(false, "STATIC", "CMAKE_PROJECT_DESCRIPTION", R"VAR()VAR");
283  print(false, "STATIC", "CMAKE_PROJECT_HOMEPAGE_URL", R"VAR()VAR");
284  print(false, "STATIC", "CMAKE_PROJECT_NAME", R"VAR(carl)VAR");
285  print(true, "FILEPATH", "CMAKE_RANLIB", R"VAR(/usr/bin/llvm-ranlib-14)VAR");
286  print(true, "FILEPATH", "CMAKE_READELF", R"VAR(/usr/bin/llvm-readelf-14)VAR");
287  print(false, "INTERNAL", "CMAKE_ROOT", R"VAR(/usr/share/cmake-3.22)VAR");
288  print(false, "", "CMAKE_SHARED_LIBRARY_CREATE_CXX_FLAGS", R"VAR(-shared)VAR");
289  print(false, "", "CMAKE_SHARED_LIBRARY_CREATE_C_FLAGS", R"VAR(-shared)VAR");
290  print(false, "", "CMAKE_SHARED_LIBRARY_CXX_FLAGS", R"VAR(-fPIC)VAR");
291  print(false, "", "CMAKE_SHARED_LIBRARY_C_FLAGS", R"VAR()VAR");
292  print(false, "", "CMAKE_SHARED_LIBRARY_LINK_CXX_FLAGS", R"VAR(-rdynamic)VAR");
293  print(false, "", "CMAKE_SHARED_LIBRARY_LINK_C_FLAGS", R"VAR()VAR");
294  print(false, "", "CMAKE_SHARED_LIBRARY_LINK_DYNAMIC_CXX_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
295  print(false, "", "CMAKE_SHARED_LIBRARY_LINK_DYNAMIC_C_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
296  print(false, "", "CMAKE_SHARED_LIBRARY_LINK_STATIC_CXX_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
297  print(false, "", "CMAKE_SHARED_LIBRARY_LINK_STATIC_C_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
298  print(false, "", "CMAKE_SHARED_LIBRARY_PREFIX", R"VAR(lib)VAR");
299  print(false, "", "CMAKE_SHARED_LIBRARY_RPATH_LINK_CXX_FLAG", R"VAR(-Wl,-rpath-link,)VAR");
300  print(false, "", "CMAKE_SHARED_LIBRARY_RPATH_LINK_C_FLAG", R"VAR(-Wl,-rpath-link,)VAR");
301  print(false, "", "CMAKE_SHARED_LIBRARY_RPATH_ORIGIN_TOKEN", R"VAR($ORIGIN)VAR");
302  print(false, "", "CMAKE_SHARED_LIBRARY_RUNTIME_CXX_FLAG", R"VAR(-Wl,-rpath,)VAR");
303  print(false, "", "CMAKE_SHARED_LIBRARY_RUNTIME_CXX_FLAG_SEP", R"VAR(:)VAR");
304  print(false, "", "CMAKE_SHARED_LIBRARY_RUNTIME_C_FLAG", R"VAR(-Wl,-rpath,)VAR");
305  print(false, "", "CMAKE_SHARED_LIBRARY_RUNTIME_C_FLAG_SEP", R"VAR(:)VAR");
306  print(false, "", "CMAKE_SHARED_LIBRARY_SONAME_CXX_FLAG", R"VAR(-Wl,-soname,)VAR");
307  print(false, "", "CMAKE_SHARED_LIBRARY_SONAME_C_FLAG", R"VAR(-Wl,-soname,)VAR");
308  print(false, "", "CMAKE_SHARED_LIBRARY_SUFFIX", R"VAR(.so)VAR");
309  print(true, "STRING", "CMAKE_SHARED_LINKER_FLAGS", R"VAR()VAR");
310  print(true, "STRING", "CMAKE_SHARED_LINKER_FLAGS_DEBUG", R"VAR()VAR");
311  print(false, "", "CMAKE_SHARED_LINKER_FLAGS_INIT", R"VAR( )VAR");
312  print(true, "STRING", "CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
313  print(true, "STRING", "CMAKE_SHARED_LINKER_FLAGS_RELEASE", R"VAR()VAR");
314  print(true, "STRING", "CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
315  print(false, "", "CMAKE_SHARED_MODULE_CREATE_CXX_FLAGS", R"VAR(-shared)VAR");
316  print(false, "", "CMAKE_SHARED_MODULE_CXX_FLAGS", R"VAR(-fPIC)VAR");
317  print(false, "", "CMAKE_SHARED_MODULE_LINK_DYNAMIC_CXX_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
318  print(false, "", "CMAKE_SHARED_MODULE_LINK_DYNAMIC_C_FLAGS", R"VAR(-Wl,-Bdynamic)VAR");
319  print(false, "", "CMAKE_SHARED_MODULE_LINK_STATIC_CXX_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
320  print(false, "", "CMAKE_SHARED_MODULE_LINK_STATIC_C_FLAGS", R"VAR(-Wl,-Bstatic)VAR");
321  print(false, "", "CMAKE_SHARED_MODULE_PREFIX", R"VAR(lib)VAR");
322  print(false, "", "CMAKE_SHARED_MODULE_SUFFIX", R"VAR(.so)VAR");
323  print(false, "", "CMAKE_SIZEOF_VOID_P", R"VAR(8)VAR");
324  print(false, "", "CMAKE_SKIP_BUILD_RPATH", R"VAR(FALSE)VAR");
325  print(true, "BOOL", "CMAKE_SKIP_INSTALL_RPATH", R"VAR(NO)VAR");
326  print(true, "BOOL", "CMAKE_SKIP_RPATH", R"VAR(NO)VAR");
327  print(false, "", "CMAKE_SOURCE_DIR", R"VAR(/builds/ths/smt/carl)VAR");
328  print(false, "", "CMAKE_STATIC_LIBRARY_PREFIX", R"VAR(lib)VAR");
329  print(false, "", "CMAKE_STATIC_LIBRARY_SUFFIX", R"VAR(.a)VAR");
330  print(true, "STRING", "CMAKE_STATIC_LINKER_FLAGS", R"VAR()VAR");
331  print(true, "STRING", "CMAKE_STATIC_LINKER_FLAGS_DEBUG", R"VAR()VAR");
332  print(true, "STRING", "CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL", R"VAR()VAR");
333  print(true, "STRING", "CMAKE_STATIC_LINKER_FLAGS_RELEASE", R"VAR()VAR");
334  print(true, "STRING", "CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO", R"VAR()VAR");
335  print(true, "FILEPATH", "CMAKE_STRIP", R"VAR(/usr/bin/llvm-strip-14)VAR");
336  print(false, "", "CMAKE_SYSTEM", R"VAR(Linux-6.1.0-0.deb11.11-amd64)VAR");
337  print(false, "", "CMAKE_SYSTEM_INCLUDE_PATH", R"VAR(/usr/include/X11)VAR");
338  print(false, "", "CMAKE_SYSTEM_INFO_FILE", R"VAR(Platform/Linux)VAR");
339  print(false, "", "CMAKE_SYSTEM_LIBRARY_PATH", R"VAR(/usr/lib/X11)VAR");
340  print(false, "", "CMAKE_SYSTEM_LOADED", R"VAR(1)VAR");
341  print(false, "", "CMAKE_SYSTEM_NAME", R"VAR(Linux)VAR");
342  print(false, "", "CMAKE_SYSTEM_PREFIX_PATH", R"VAR(/usr/local;/usr;/;/usr;/usr/local;/usr/X11R6;/usr/pkg;/opt)VAR");
343  print(false, "", "CMAKE_SYSTEM_PROCESSOR", R"VAR(x86_64)VAR");
344  print(false, "", "CMAKE_SYSTEM_SPECIFIC_INFORMATION_LOADED", R"VAR(1)VAR");
345  print(false, "", "CMAKE_SYSTEM_SPECIFIC_INITIALIZE_LOADED", R"VAR(1)VAR");
346  print(false, "", "CMAKE_SYSTEM_VERSION", R"VAR(6.1.0-0.deb11.11-amd64)VAR");
347  print(false, "", "CMAKE_TESTING_ENABLED", R"VAR(1)VAR");
348  print(false, "", "CMAKE_THREAD_LIBS_INIT", R"VAR()VAR");
349  print(false, "", "CMAKE_TWEAK_VERSION", R"VAR(0)VAR");
350  print(false, "INTERNAL", "CMAKE_UNAME", R"VAR(/usr/bin/uname)VAR");
351  print(false, "", "CMAKE_USE_PTHREADS_INIT", R"VAR(1)VAR");
352  print(true, "BOOL", "CMAKE_VERBOSE_MAKEFILE", R"VAR(FALSE)VAR");
353  print(false, "", "CMAKE_VERSION", R"VAR(3.22.1)VAR");
354  print(true, "UNINITIALIZED", "COCOA_FOUND", R"VAR(TRUE)VAR");
355  print(false, "", "COCOA_FOUND_SYSTEM", R"VAR(FALSE)VAR");
356  print(true, "PATH", "COCOA_INCLUDE_DIR", R"VAR(COCOA_INCLUDE_DIR-NOTFOUND)VAR");
357  print(true, "FILEPATH", "COCOA_SHARED", R"VAR(COCOA_SHARED-NOTFOUND)VAR");
358  print(true, "FILEPATH", "COCOA_STATIC", R"VAR(COCOA_STATIC-NOTFOUND)VAR");
359  print(true, "UNINITIALIZED", "COCOA_VERSION", R"VAR(0.99800)VAR");
360  print(false, "BOOL", "COVERAGE", R"VAR(OFF)VAR");
361  print(false, "", "CPATH", R"VAR()VAR");
362  print(false, "", "DEF_INSTALL_CMAKE_DIR", R"VAR(lib/cmake/carl)VAR");
363  print(false, "BOOL", "DEVELOPER", R"VAR(ON)VAR");
364  print(false, "", "DOT", R"VAR(/usr/bin/dot)VAR");
365  print(false, "", "DOXYGEN", R"VAR(/usr/bin/doxygen)VAR");
366  print(true, "FILEPATH", "DOXYGEN_DOT_EXECUTABLE", R"VAR(/usr/bin/dot)VAR");
367  print(false, "", "DOXYGEN_DOT_FOUND", R"VAR(YES)VAR");
368  print(false, "", "DOXYGEN_DOT_PATH", R"VAR(/usr/bin)VAR");
369  print(true, "FILEPATH", "DOXYGEN_EXECUTABLE", R"VAR(/usr/bin/doxygen)VAR");
370  print(false, "", "DOXYGEN_FIND_QUIETLY", R"VAR(TRUE)VAR");
371  print(false, "", "DOXYGEN_FOUND", R"VAR(YES)VAR");
372  print(false, "", "DOXYGEN_VERSION", R"VAR(1.9.1)VAR");
373  print(true, "FILEPATH", "DVIPDF_CONVERTER", R"VAR(/usr/bin/dvipdfm)VAR");
374  print(true, "FILEPATH", "DVIPS_CONVERTER", R"VAR(/usr/bin/dvips)VAR");
375  print(false, "", "DYNAMIC_EXT", R"VAR(.so)VAR");
376  print(false, "", "Doxygen_FOUND", R"VAR(TRUE)VAR");
377  print(false, "", "Doxygen_dot_FOUND", R"VAR(TRUE)VAR");
378  print(false, "", "Doxygen_doxygen_FOUND", R"VAR(TRUE)VAR");
379  print(false, "", "EIGEN3_FOUND", R"VAR(FALSE)VAR");
380  print(true, "PATH", "EIGEN3_INCLUDE_DIR", R"VAR(EIGEN3_INCLUDE_DIR-NOTFOUND)VAR");
381  print(false, "", "EIGEN3_VERSION", R"VAR(3.4.0)VAR");
382  print(false, "BOOL", "ENABLE_PACKAGING", R"VAR(OFF)VAR");
383  print(false, "PATH", "EXECUTABLE_OUTPUT_PATH", R"VAR(/builds/ths/smt/carl/build/bin)VAR");
384  print(false, "", "EXPORTED_OPTIONS", R"VAR(LOGGING;CARL_DEVOPTION_Statistics;FORCE_SHIPPED_RESOURCES;FORCE_SHIPPED_GMP;USE_LIBPOLY;USE_GINAC;USE_CLN_NUMBERS;USE_COCOA;USE_BLISS;USE_MPFR_FLOAT;THREAD_SAFE)VAR");
385  print(false, "BOOL", "EXPORT_TO_CMAKE", R"VAR(ON)VAR");
386  print(false, "INTERNAL", "FIND_PACKAGE_MESSAGE_DETAILS_LATEX", R"VAR([/usr/bin/latex][cfound components: PDFLATEX BIBTEX ][v()])VAR");
387  print(false, "BOOL", "FORCE_SHIPPED_GMP", R"VAR(OFF)VAR");
388  print(false, "BOOL", "FORCE_SHIPPED_RESOURCES", R"VAR(OFF)VAR");
389  print(true, "UNINITIALIZED", "GBCORE_STATIC", R"VAR()VAR");
390  print(true, "UNINITIALIZED", "GBENCHMARK_FOUND", R"VAR(TRUE)VAR");
391  print(false, "", "GBENCHMARK_VERSION", R"VAR(1.7.1)VAR");
392  print(true, "UNINITIALIZED", "GBMAIN_STATIC", R"VAR()VAR");
393  print(true, "FILEPATH", "GIT_EXECUTABLE", R"VAR(/usr/bin/git)VAR");
394  print(true, "UNINITIALIZED", "GMPXX_FOUND", R"VAR(TRUE)VAR");
395  print(true, "PATH", "GMPXX_INCLUDE_DIR", R"VAR(/usr/include)VAR");
396  print(true, "UNINITIALIZED", "GMP_FOUND", R"VAR(TRUE)VAR");
397  print(true, "PATH", "GMP_INCLUDE_DIR", R"VAR(GMP_INCLUDE_DIR-NOTFOUND)VAR");
398  print(false, "", "GMP_LIB", R"VAR(/usr/lib/x86_64-linux-gnu/libgmp.so)VAR");
399  print(true, "FILEPATH", "GMP_LIBRARY", R"VAR(/usr/lib/x86_64-linux-gnu/libgmp.a)VAR");
400  print(false, "", "GMP_LIBRARY_DIR", R"VAR(/usr/lib/x86_64-linux-gnu)VAR");
401  print(false, "", "GMP_LIB_ARG", R"VAR(--with-libgmp=/usr/lib/x86_64-linux-gnu/libgmp.a)VAR");
402  print(false, "", "GMP_LIB_PATH", R"VAR(/usr/lib/x86_64-linux-gnu)VAR");
403  print(true, "UNINITIALIZED", "GMP_VERSION", R"VAR(6.2.1)VAR");
404  print(false, "", "GTEST_FOUND", R"VAR(TRUE)VAR");
405  print(true, "PATH", "GTEST_INCLUDE_DIR", R"VAR(/usr/include)VAR");
406  print(true, "FILEPATH", "GTEST_LIB", R"VAR(/usr/lib/x86_64-linux-gnu/libgtest.a)VAR");
407  print(true, "FILEPATH", "GTEST_MAIN_LIBRARIES", R"VAR(/usr/lib/x86_64-linux-gnu/libgtest_main.a)VAR");
408  print(false, "", "GTEST_VERSION", R"VAR(1.12.1)VAR");
409  print(false, "", "GTEST_ZIPHASH", R"VAR(973e464e8936d4b79bb24f27b058aaef4150b06e)VAR");
410  print(false, "", "GTest_FOUND_SYSTEM", R"VAR(TRUE)VAR");
411  print(true, "FILEPATH", "HTLATEX_COMPILER", R"VAR(/usr/bin/htlatex)VAR");
412  print(false, "PATH", "INCLUDE_INSTALL_DIR", R"VAR(/usr/local/include)VAR");
413  print(false, "", "INSTALL_DIR", R"VAR(/builds/ths/smt/carl/build/resources)VAR");
414  print(true, "FILEPATH", "LATEX2HTML_CONVERTER", R"VAR(LATEX2HTML_CONVERTER-NOTFOUND)VAR");
415  print(true, "FILEPATH", "LATEX_COMPILER", R"VAR(/usr/bin/latex)VAR");
416  print(false, "", "LIBNAME", R"VAR(BLISS)VAR");
417  print(true, "UNINITIALIZED", "LIBPOLY_FOUND", R"VAR(TRUE)VAR");
418  print(false, "", "LIBPOLY_FOUND_SYSTEM", R"VAR(FALSE)VAR");
419  print(true, "PATH", "LIBPOLY_INCLUDE_DIR", R"VAR(/builds/ths/smt/carl/build/resources/include)VAR");
420  print(true, "FILEPATH", "LIBPOLY_SHARED", R"VAR(/builds/ths/smt/carl/build/resources/lib/libpoly.so)VAR");
421  print(true, "FILEPATH", "LIBPOLY_STATIC", R"VAR(/builds/ths/smt/carl/build/resources/lib/libpoly.a)VAR");
422  print(false, "", "LIBPOLY_VERSION", R"VAR(0.1.11)VAR");
423  print(false, "", "LIBRARY_PATH", R"VAR()VAR");
424  print(false, "", "LIB_FILESYSTEM", R"VAR(stdc++fs)VAR");
425  print(false, "PATH", "LIB_INSTALL_DIR", R"VAR(/usr/local/lib)VAR");
426  print(false, "BOOL", "LOGGING", R"VAR(OFF)VAR");
427  print(false, "BOOL", "LOGGING_DISABLE_INEFFICIENT", R"VAR(OFF)VAR");
428  print(true, "FILEPATH", "LUALATEX_COMPILER", R"VAR(/usr/bin/lualatex)VAR");
429  print(true, "FILEPATH", "MAKEINDEX_COMPILER", R"VAR(/usr/bin/makeindex)VAR");
430  print(true, "FILEPATH", "PDFLATEX_COMPILER", R"VAR(/usr/bin/pdflatex)VAR");
431  print(true, "FILEPATH", "PDFTOPS_CONVERTER", R"VAR(PDFTOPS_CONVERTER-NOTFOUND)VAR");
432  print(false, "", "PROJECT_BINARY_DIR", R"VAR(/builds/ths/smt/carl/build)VAR");
433  print(false, "", "PROJECT_DESCRIPTION", R"VAR(Computer ARithmetic Library)VAR");
434  print(false, "", "PROJECT_FULLNAME", R"VAR(carl)VAR");
435  print(false, "", "PROJECT_HOMEPAGE_URL", R"VAR()VAR");
436  print(false, "", "PROJECT_IS_TOP_LEVEL", R"VAR(ON)VAR");
437  print(false, "", "PROJECT_NAME", R"VAR(carl)VAR");
438  print(false, "", "PROJECT_SOURCE_DIR", R"VAR(/builds/ths/smt/carl)VAR");
439  print(false, "", "PROJECT_VERSION", R"VAR(24.04)VAR");
440  print(false, "", "PROJECT_VERSION_FULL", R"VAR(24.04)VAR");
441  print(false, "", "PROJECT_VERSION_LIB", R"VAR(24.04)VAR");
442  print(false, "", "PROJECT_VERSION_MAJOR", R"VAR(24)VAR");
443  print(false, "", "PROJECT_VERSION_MINOR", R"VAR(04)VAR");
444  print(true, "FILEPATH", "PS2PDF_CONVERTER", R"VAR(/usr/bin/ps2pdf14)VAR");
445  print(false, "", "PTHREAD_C_CXX_TEST_SOURCE", R"VAR(#include <pthread.h>
446 
447 static void* test_func(void* data)
448 {
449  return data;
450 }
451 
452 int main(void)
453 {
454  pthread_t thread;
455  pthread_create(&thread, NULL, test_func, NULL);
456  pthread_detach(thread);
457  pthread_cancel(thread);
458  pthread_join(thread, NULL);
459  pthread_atfork(NULL, NULL, NULL);
460  pthread_exit(NULL);
461 
462  return 0;
463 }
464 )VAR");
465  print(false, "", "RUN_CONFIGURE", R"VAR(ON)VAR");
466  print(false, "", "STATIC_EXT", R"VAR(.a)VAR");
467  print(false, "", "THREADS_FOUND", R"VAR(TRUE)VAR");
468  print(false, "BOOL", "THREAD_SAFE", R"VAR(OFF)VAR");
469  print(false, "STATIC", "TestCommon_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;GTESTCORE_STATIC;general;GTESTMAIN_STATIC;general;pthread;general;dl;)VAR");
470  print(false, "", "Threads_FOUND", R"VAR(TRUE)VAR");
471  print(false, "", "UNIX", R"VAR(1)VAR");
472  print(false, "BOOL", "USE_BLISS", R"VAR(ON)VAR");
473  print(false, "BOOL", "USE_CLN_NUMBERS", R"VAR(OFF)VAR");
474  print(false, "BOOL", "USE_COCOA", R"VAR(ON)VAR");
475  print(false, "BOOL", "USE_GINAC", R"VAR(OFF)VAR");
476  print(false, "BOOL", "USE_LIBPOLY", R"VAR(ON)VAR");
477  print(false, "BOOL", "USE_MPFR_FLOAT", R"VAR(OFF)VAR");
478  print(true, "FILEPATH", "XELATEX_COMPILER", R"VAR(XELATEX_COMPILER-NOTFOUND)VAR");
479  print(true, "FILEPATH", "XINDY_COMPILER", R"VAR(XINDY_COMPILER-NOTFOUND)VAR");
480  print(false, "", "appleClangPolicy", R"VAR(NEW)VAR");
481  print(false, "STATIC", "carl-arith-shared_LIB_DEPENDS", R"VAR(general;carl-common-shared;general;carl-logging-shared;general;GMPXX_SHARED;general;GMP_SHARED;general;Boost_system_SHARED;general;dl;general;stdc++fs;general;pthread;general;COCOA_SHARED;general;Boost_system_SHARED;general;LIBPOLY_SHARED;)VAR");
482  print(false, "STATIC", "carl-arith-static_LIB_DEPENDS", R"VAR(general;carl-common-static;general;carl-logging-static;general;GMPXX_STATIC;general;GMP_STATIC;general;Boost_system_STATIC;general;dl;general;stdc++fs;general;pthread;general;COCOA_STATIC;general;Boost_system_STATIC;general;LIBPOLY_STATIC;)VAR");
483  print(false, "STATIC", "carl-common-shared_LIB_DEPENDS", R"VAR(general;Boost_system_SHARED;general;dl;general;stdc++fs;general;pthread;)VAR");
484  print(false, "STATIC", "carl-common-static_LIB_DEPENDS", R"VAR(general;Boost_system_STATIC;general;dl;general;stdc++fs;general;pthread;)VAR");
485  print(false, "STATIC", "carl-covering-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;)VAR");
486  print(false, "STATIC", "carl-covering-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;)VAR");
487  print(false, "STATIC", "carl-extpolys-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;)VAR");
488  print(false, "STATIC", "carl-extpolys-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;)VAR");
489  print(false, "STATIC", "carl-formula-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;BLISS_SHARED;)VAR");
490  print(false, "STATIC", "carl-formula-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;BLISS_STATIC;)VAR");
491  print(false, "STATIC", "carl-io-shared_LIB_DEPENDS", R"VAR(general;carl-arith-shared;general;carl-formula-shared;)VAR");
492  print(false, "STATIC", "carl-io-static_LIB_DEPENDS", R"VAR(general;carl-arith-static;general;carl-formula-static;)VAR");
493  print(false, "STATIC", "carl-logging-shared_LIB_DEPENDS", R"VAR(general;carl-common-shared;)VAR");
494  print(false, "STATIC", "carl-logging-static_LIB_DEPENDS", R"VAR(general;carl-common-static;)VAR");
495  print(false, "STATIC", "carl-settings-shared_LIB_DEPENDS", R"VAR(general;Boost_program_options_SHARED;general;stdc++fs;)VAR");
496  print(false, "STATIC", "carl-settings-static_LIB_DEPENDS", R"VAR(general;Boost_program_options_STATIC;general;stdc++fs;)VAR");
497  print(false, "STATIC", "carl-statistics-shared_LIB_DEPENDS", R"VAR(general;carl-common-shared;)VAR");
498  print(false, "STATIC", "carl-statistics-static_LIB_DEPENDS", R"VAR(general;carl-common-static;)VAR");
499  print(false, "STATIC", "carl_BINARY_DIR", R"VAR(/builds/ths/smt/carl/build)VAR");
500  print(false, "", "carl_DESCRIPTION", R"VAR()VAR");
501  print(false, "", "carl_HOMEPAGE_URL", R"VAR()VAR");
502  print(false, "STATIC", "carl_IS_TOP_LEVEL", R"VAR(ON)VAR");
503  print(false, "", "carl_LIBRARIES_DYNAMIC", R"VAR(pthread;dl)VAR");
504  print(false, "STATIC", "carl_SOURCE_DIR", R"VAR(/builds/ths/smt/carl)VAR");
505  print(false, "", "component", R"VAR()VAR");
506  print(false, "", "install_dir", R"VAR(/builds/ths/smt/carl/build/resources)VAR");
507  print(false, "", "lang", R"VAR()VAR");
508  print(false, "", "p", R"VAR()VAR");
509  print(false, "", "type", R"VAR()VAR");
510  print(false, "", "var", R"VAR(CMAKE_INSTALL_DIR)VAR");
511 
512  return os;
513 }
514 
515 }
carl
carl is the main namespace for the library.
carl::operator<<
std::ostream & operator<<(std::ostream &os, const BasicConstraint< Poly > &c)
Prints the given constraint on the given stream.
Definition: BasicConstraint.h:150
carl::vs::detail::print
void print(CaseDistinction< Poly > &_substitutionResults)
Prints the given disjunction of conjunction of constraints.
carl::CompileInfo::GitRevisionSHA1
static const std::string GitRevisionSHA1
Definition: CompileInfo.h:21
carl::CompileInfo::CXXCompiler
static const std::string CXXCompiler
Definition: CompileInfo.h:19
carl::CompileInfo::SystemVersion
static const std::string SystemVersion
Definition: CompileInfo.h:17
carl::CompileInfo::BuildType
static const std::string BuildType
Definition: CompileInfo.h:18
carl::CompileInfo::CXXCompilerVersion
static const std::string CXXCompilerVersion
Definition: CompileInfo.h:20
carl::CompileInfo::SystemName
static const std::string SystemName
Definition: CompileInfo.h:16