# This is the CMakeCache file. # For build in directory: /home/mdasoh/src/hdl_tools/cvc5/build # It was generated by CMake: /usr/bin/cmake # You can edit this file to change values found and used by cmake. # If you do not want to change any of the values, simply exit the editor. # If you do want to change a value, simply edit, save, and exit the editor. # The syntax for the file is as follows: # KEY:TYPE=VALUE # KEY is the name of a variable in the cache. # TYPE is a hint to GUIs for the type of VALUE, DO NOT EDIT TYPE!. # VALUE is the current value for the KEY. ######################## # EXTERNAL cache entries ######################## //run ANTLR3 ANTLR3_COMMAND:STRING=/usr/bin/java;-cp;/home/mdasoh/src/hdl_tools/cvc5/build/deps/share/java/antlr-3.4-complete.jar;org.antlr.Tool //Path to a file. ANTLR3_INCLUDE_DIR:PATH=ANTLR3_INCLUDE_DIR-NOTFOUND //Path to a file. ANTLR3_JAR:FILEPATH=ANTLR3_JAR-NOTFOUND //Path to a library. ANTLR3_LIBRARIES:FILEPATH=ANTLR3_LIBRARIES-NOTFOUND //Build Java bindings based on new C++ API BUILD_BINDINGS_JAVA:BOOL=OFF //Build Python bindings based on new C++ API BUILD_BINDINGS_PYTHON:BOOL=OFF //Build Api documentation BUILD_DOCS:BOOL=OFF //Build shared libraries and binary BUILD_SHARED_LIBS:BOOL=ON //Path to a program. CMAKE_ADDR2LINE:FILEPATH=/usr/bin/addr2line //Path to a program. CMAKE_AR:FILEPATH=/usr/bin/ar //Options are: Production;Debug;Testing;Competition CMAKE_BUILD_TYPE:STRING=Production //Enable/Disable color output during build. CMAKE_COLOR_MAKEFILE:BOOL=ON //CXX compiler CMAKE_CXX_COMPILER:FILEPATH=/usr/bin/c++ //A wrapper around 'ar' adding the appropriate '--plugin' option // for the GCC compiler CMAKE_CXX_COMPILER_AR:FILEPATH=/usr/bin/gcc-ar-8 //A wrapper around 'ranlib' adding the appropriate '--plugin' option // for the GCC compiler CMAKE_CXX_COMPILER_RANLIB:FILEPATH=/usr/bin/gcc-ranlib-8 //Flags used by the CXX compiler during all build types. CMAKE_CXX_FLAGS:STRING= //Flags used by the CXX compiler during DEBUG builds. CMAKE_CXX_FLAGS_DEBUG:STRING=-g //Flags used by the CXX compiler during MINSIZEREL builds. CMAKE_CXX_FLAGS_MINSIZEREL:STRING=-Os -DNDEBUG //Flags used by the CXX compiler during RELEASE builds. CMAKE_CXX_FLAGS_RELEASE:STRING=-O3 -DNDEBUG //Flags used by the CXX compiler during RELWITHDEBINFO builds. CMAKE_CXX_FLAGS_RELWITHDEBINFO:STRING=-O2 -g -DNDEBUG //C compiler CMAKE_C_COMPILER:FILEPATH=/usr/bin/cc //A wrapper around 'ar' adding the appropriate '--plugin' option // for the GCC compiler CMAKE_C_COMPILER_AR:FILEPATH=/usr/bin/gcc-ar-8 //A wrapper around 'ranlib' adding the appropriate '--plugin' option // for the GCC compiler CMAKE_C_COMPILER_RANLIB:FILEPATH=/usr/bin/gcc-ranlib-8 //Flags used by the C compiler during all build types. CMAKE_C_FLAGS:STRING= //Flags used by the C compiler during DEBUG builds. CMAKE_C_FLAGS_DEBUG:STRING=-g //Flags used by the C compiler during MINSIZEREL builds. CMAKE_C_FLAGS_MINSIZEREL:STRING=-Os -DNDEBUG //Flags used by the C compiler during RELEASE builds. CMAKE_C_FLAGS_RELEASE:STRING=-O3 -DNDEBUG //Flags used by the C compiler during RELWITHDEBINFO builds. CMAKE_C_FLAGS_RELWITHDEBINFO:STRING=-O2 -g -DNDEBUG //Path to a program. CMAKE_DLLTOOL:FILEPATH=CMAKE_DLLTOOL-NOTFOUND //Flags used by the linker during all build types. CMAKE_EXE_LINKER_FLAGS:STRING= //Flags used by the linker during DEBUG builds. CMAKE_EXE_LINKER_FLAGS_DEBUG:STRING= //Flags used by the linker during MINSIZEREL builds. CMAKE_EXE_LINKER_FLAGS_MINSIZEREL:STRING= //Flags used by the linker during RELEASE builds. CMAKE_EXE_LINKER_FLAGS_RELEASE:STRING= //Flags used by the linker during RELWITHDEBINFO builds. CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO:STRING= //Enable/Disable output of compile commands during generation. CMAKE_EXPORT_COMPILE_COMMANDS:BOOL= //User executables (bin) CMAKE_INSTALL_BINDIR:PATH=bin //Read-only architecture-independent data (DATAROOTDIR) CMAKE_INSTALL_DATADIR:PATH= //Read-only architecture-independent data root (share) CMAKE_INSTALL_DATAROOTDIR:PATH=share //Documentation root (DATAROOTDIR/doc/PROJECT_NAME) CMAKE_INSTALL_DOCDIR:PATH= //C header files (include) CMAKE_INSTALL_INCLUDEDIR:PATH=include //Info documentation (DATAROOTDIR/info) CMAKE_INSTALL_INFODIR:PATH= //Object code libraries (lib) CMAKE_INSTALL_LIBDIR:PATH=lib //Program executables (libexec) CMAKE_INSTALL_LIBEXECDIR:PATH=libexec //Locale-dependent data (DATAROOTDIR/locale) CMAKE_INSTALL_LOCALEDIR:PATH= //Modifiable single-machine data (var) CMAKE_INSTALL_LOCALSTATEDIR:PATH=var //Man documentation (DATAROOTDIR/man) CMAKE_INSTALL_MANDIR:PATH= //C header files for non-gcc (/usr/include) CMAKE_INSTALL_OLDINCLUDEDIR:PATH=/usr/include //Install path prefix, prepended onto install directories. CMAKE_INSTALL_PREFIX:PATH=/usr/local //Run-time variable data (LOCALSTATEDIR/run) CMAKE_INSTALL_RUNSTATEDIR:PATH= //System admin executables (sbin) CMAKE_INSTALL_SBINDIR:PATH=sbin //Modifiable architecture-independent data (com) CMAKE_INSTALL_SHAREDSTATEDIR:PATH=com //Read-only single-machine data (etc) CMAKE_INSTALL_SYSCONFDIR:PATH=etc //Path to a program. CMAKE_LINKER:FILEPATH=/usr/bin/ld //Path to a program. CMAKE_MAKE_PROGRAM:FILEPATH=/usr/bin/make //Flags used by the linker during the creation of modules during // all build types. CMAKE_MODULE_LINKER_FLAGS:STRING= //Flags used by the linker during the creation of modules during // DEBUG builds. CMAKE_MODULE_LINKER_FLAGS_DEBUG:STRING= //Flags used by the linker during the creation of modules during // MINSIZEREL builds. CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL:STRING= //Flags used by the linker during the creation of modules during // RELEASE builds. CMAKE_MODULE_LINKER_FLAGS_RELEASE:STRING= //Flags used by the linker during the creation of modules during // RELWITHDEBINFO builds. CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO:STRING= //Path to a program. CMAKE_NM:FILEPATH=/usr/bin/nm //Path to a program. CMAKE_OBJCOPY:FILEPATH=/usr/bin/objcopy //Path to a program. CMAKE_OBJDUMP:FILEPATH=/usr/bin/objdump //No help, variable specified on the command line. CMAKE_PREFIX_PATH:UNINITIALIZED= //Value Computed by CMake CMAKE_PROJECT_DESCRIPTION:STATIC= //Value Computed by CMake CMAKE_PROJECT_HOMEPAGE_URL:STATIC= //Value Computed by CMake CMAKE_PROJECT_NAME:STATIC=cvc5 //Path to a program. CMAKE_RANLIB:FILEPATH=/usr/bin/ranlib //Path to a program. CMAKE_READELF:FILEPATH=/usr/bin/readelf //Flags used by the linker during the creation of shared libraries // during all build types. CMAKE_SHARED_LINKER_FLAGS:STRING= //Flags used by the linker during the creation of shared libraries // during DEBUG builds. CMAKE_SHARED_LINKER_FLAGS_DEBUG:STRING= //Flags used by the linker during the creation of shared libraries // during MINSIZEREL builds. CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL:STRING= //Flags used by the linker during the creation of shared libraries // during RELEASE builds. CMAKE_SHARED_LINKER_FLAGS_RELEASE:STRING= //Flags used by the linker during the creation of shared libraries // during RELWITHDEBINFO builds. CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO:STRING= //If set, runtime paths are not added when installing shared libraries, // but are added when building. CMAKE_SKIP_INSTALL_RPATH:BOOL=NO //If set, runtime paths are not added when using shared libraries. CMAKE_SKIP_RPATH:BOOL=NO //Flags used by the linker during the creation of static libraries // during all build types. CMAKE_STATIC_LINKER_FLAGS:STRING= //Flags used by the linker during the creation of static libraries // during DEBUG builds. CMAKE_STATIC_LINKER_FLAGS_DEBUG:STRING= //Flags used by the linker during the creation of static libraries // during MINSIZEREL builds. CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL:STRING= //Flags used by the linker during the creation of static libraries // during RELEASE builds. CMAKE_STATIC_LINKER_FLAGS_RELEASE:STRING= //Flags used by the linker during the creation of static libraries // during RELWITHDEBINFO builds. CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO:STRING= //Path to a program. CMAKE_STRIP:FILEPATH=/usr/bin/strip //If this value is on, makefiles will be generated without the // .SILENT directive, and all commands will be echoed to the console // during the make. This is useful for debugging only. With Visual // Studio IDE projects all commands are done without /nologo. CMAKE_VERBOSE_MAKEFILE:BOOL=FALSE //Path to a file. CaDiCaL_INCLUDE_DIR:PATH=CaDiCaL_INCLUDE_DIR-NOTFOUND //Path to a library. CaDiCaL_LIBRARIES:FILEPATH=CaDiCaL_LIBRARIES-NOTFOUND //Enable ASAN build ENABLE_ASAN:STRING=IGNORE //Enable assertions ENABLE_ASSERTIONS:STRING=IGNORE //Enable automatic download of dependencies ENABLE_AUTO_DOWNLOAD:STRING=ON //Enable dependencies known to give best performance ENABLE_BEST:BOOL=OFF //Enable optimizations for incremental SMT-COMP tracks ENABLE_COMP_INC_TRACK:STRING=IGNORE //Enable support for gcov coverage testing ENABLE_COVERAGE:BOOL=OFF //Enable the debug context memory manager ENABLE_DEBUG_CONTEXT_MM:BOOL=OFF //Enable debug symbols ENABLE_DEBUG_SYMBOLS:STRING=IGNORE //Enable GPL dependencies ENABLE_GPL:BOOL=OFF //Enable interprocedural optimization ENABLE_IPO:STRING=IGNORE //Suppress ALL non-result output ENABLE_MUZZLE:STRING=IGNORE //Enable support for gprof profiling ENABLE_PROFILING:BOOL=OFF //Enable statistics ENABLE_STATISTICS:STRING=IGNORE //Enable tracing ENABLE_TRACING:STRING=IGNORE //Enable TSan build ENABLE_TSAN:STRING=IGNORE //Enable UBSan build ENABLE_UBSAN:STRING=IGNORE //Enable unit testing ENABLE_UNIT_TESTING:STRING=IGNORE //Enable valgrind instrumentation ENABLE_VALGRIND:STRING=IGNORE //Git command line client GIT_EXECUTABLE:FILEPATH=/usr/bin/git //Set GLPK install directory GLPK_DIR:STRING= //Path to a file. GMPXX_INCLUDE_DIR:PATH=/usr/include //Path to a library. GMPXX_LIBRARIES:FILEPATH=/usr/lib/x86_64-linux-gnu/libgmpxx.so //Path to a file. GMP_INCLUDE_DIR:PATH=/usr/include/x86_64-linux-gnu //Path to a library. GMP_LIBRARIES:FILEPATH=/usr/lib/x86_64-linux-gnu/libgmp.so //Path to a program. IWYU_PATH:FILEPATH=IWYU_PATH-NOTFOUND //Path to a program. Java_IDLJ_EXECUTABLE:FILEPATH=Java_IDLJ_EXECUTABLE-NOTFOUND //Path to a program. Java_JARSIGNER_EXECUTABLE:FILEPATH=Java_JARSIGNER_EXECUTABLE-NOTFOUND //Path to a program. Java_JAR_EXECUTABLE:FILEPATH=Java_JAR_EXECUTABLE-NOTFOUND //Path to a program. Java_JAVAC_EXECUTABLE:FILEPATH=Java_JAVAC_EXECUTABLE-NOTFOUND //Path to a program. Java_JAVADOC_EXECUTABLE:FILEPATH=Java_JAVADOC_EXECUTABLE-NOTFOUND //Path to a program. Java_JAVAH_EXECUTABLE:FILEPATH=Java_JAVAH_EXECUTABLE-NOTFOUND //Path to a program. Java_JAVA_EXECUTABLE:FILEPATH=/usr/bin/java //Program prefix on make install PROGRAM_PREFIX:STRING= //Path to a program. PYTHON_EXECUTABLE:FILEPATH=/usr/bin/python3 //Path to a library. PolyXX_LIBRARIES:FILEPATH=PolyXX_LIBRARIES-NOTFOUND //Path to a file. Poly_INCLUDE_DIR:PATH=Poly_INCLUDE_DIR-NOTFOUND //Path to a library. Poly_LIBRARIES:FILEPATH=Poly_LIBRARIES-NOTFOUND //Path to a program. ProcessorCount_cmd_nproc:FILEPATH=/usr/bin/nproc //Path to a program. ProcessorCount_cmd_sysctl:FILEPATH=/usr/sbin/sysctl //Link against static system libraries (enabled by default for // static builds) STATIC_BINARY:STRING=IGNORE //Path to a file. SymFPU_INCLUDE_DIR:PATH=SymFPU_INCLUDE_DIR-NOTFOUND //Use CLN instead of GMP USE_CLN:STRING=IGNORE //Use CoCoALib for further polynomial operations USE_COCOA:BOOL=OFF //Use CryptoMiniSat SAT solver USE_CRYPTOMINISAT:STRING=IGNORE //Use Editline for better interactive support USE_EDITLINE:STRING=IGNORE //Use GLPK simplex solver USE_GLPK:STRING=IGNORE //Use Kissat SAT solver USE_KISSAT:STRING=IGNORE //Use LibPoly for polynomial arithmetic USE_POLY:BOOL=ON //Value Computed by CMake cvc5_BINARY_DIR:STATIC=/home/mdasoh/src/hdl_tools/cvc5/build //Dependencies for the target cvc5_LIB_DEPENDS:STATIC=general;GMP;general;CaDiCaL;general;Polyxx; //Value Computed by CMake cvc5_SOURCE_DIR:STATIC=/home/mdasoh/src/hdl_tools/cvc5 //Dependencies for the target cvc5parser_LIB_DEPENDS:STATIC=general;cvc5;general;ANTLR3; //Dependencies for the target main-test_LIB_DEPENDS:STATIC=general;cvc5;general;cvc5parser;general;Polyxx; ######################## # INTERNAL cache entries ######################## //ADVANCED property for variable: ANTLR3_COMMAND ANTLR3_COMMAND-ADVANCED:INTERNAL=1 //ADVANCED property for variable: ANTLR3_INCLUDE_DIR ANTLR3_INCLUDE_DIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: ANTLR3_JAR ANTLR3_JAR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: ANTLR3_LIBRARIES ANTLR3_LIBRARIES-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_ADDR2LINE CMAKE_ADDR2LINE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_AR CMAKE_AR-ADVANCED:INTERNAL=1 //STRINGS property for variable: CMAKE_BUILD_TYPE CMAKE_BUILD_TYPE-STRINGS:INTERNAL=Production;Debug;Testing;Competition //This is the directory where this CMakeCache.txt was created CMAKE_CACHEFILE_DIR:INTERNAL=/home/mdasoh/src/hdl_tools/cvc5/build //Major version of cmake used to create the current loaded cache CMAKE_CACHE_MAJOR_VERSION:INTERNAL=3 //Minor version of cmake used to create the current loaded cache CMAKE_CACHE_MINOR_VERSION:INTERNAL=18 //Patch version of cmake used to create the current loaded cache CMAKE_CACHE_PATCH_VERSION:INTERNAL=4 //ADVANCED property for variable: CMAKE_COLOR_MAKEFILE CMAKE_COLOR_MAKEFILE-ADVANCED:INTERNAL=1 //Path to CMake executable. CMAKE_COMMAND:INTERNAL=/usr/bin/cmake //Path to cpack program executable. CMAKE_CPACK_COMMAND:INTERNAL=/usr/bin/cpack //Path to ctest program executable. CMAKE_CTEST_COMMAND:INTERNAL=/usr/bin/ctest //ADVANCED property for variable: CMAKE_CXX_COMPILER CMAKE_CXX_COMPILER-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_CXX_COMPILER_AR CMAKE_CXX_COMPILER_AR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_CXX_COMPILER_RANLIB CMAKE_CXX_COMPILER_RANLIB-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_CXX_FLAGS CMAKE_CXX_FLAGS-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_CXX_FLAGS_DEBUG CMAKE_CXX_FLAGS_DEBUG-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_CXX_FLAGS_MINSIZEREL CMAKE_CXX_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_CXX_FLAGS_RELEASE CMAKE_CXX_FLAGS_RELEASE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_CXX_FLAGS_RELWITHDEBINFO CMAKE_CXX_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_COMPILER CMAKE_C_COMPILER-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_COMPILER_AR CMAKE_C_COMPILER_AR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_COMPILER_RANLIB CMAKE_C_COMPILER_RANLIB-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_FLAGS CMAKE_C_FLAGS-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_FLAGS_DEBUG CMAKE_C_FLAGS_DEBUG-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_FLAGS_MINSIZEREL CMAKE_C_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_FLAGS_RELEASE CMAKE_C_FLAGS_RELEASE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_C_FLAGS_RELWITHDEBINFO CMAKE_C_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_DLLTOOL CMAKE_DLLTOOL-ADVANCED:INTERNAL=1 //Executable file format CMAKE_EXECUTABLE_FORMAT:INTERNAL=ELF //ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS CMAKE_EXE_LINKER_FLAGS-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_DEBUG CMAKE_EXE_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_MINSIZEREL CMAKE_EXE_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_RELEASE CMAKE_EXE_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO CMAKE_EXE_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_EXPORT_COMPILE_COMMANDS CMAKE_EXPORT_COMPILE_COMMANDS-ADVANCED:INTERNAL=1 //Name of external makefile project generator. CMAKE_EXTRA_GENERATOR:INTERNAL= //Name of generator. CMAKE_GENERATOR:INTERNAL=Unix Makefiles //Generator instance identifier. CMAKE_GENERATOR_INSTANCE:INTERNAL= //Name of generator platform. CMAKE_GENERATOR_PLATFORM:INTERNAL= //Name of generator toolset. CMAKE_GENERATOR_TOOLSET:INTERNAL= //Source directory with the top level CMakeLists.txt file for this // project CMAKE_HOME_DIRECTORY:INTERNAL=/home/mdasoh/src/hdl_tools/cvc5 //ADVANCED property for variable: CMAKE_INSTALL_BINDIR CMAKE_INSTALL_BINDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_DATADIR CMAKE_INSTALL_DATADIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_DATAROOTDIR CMAKE_INSTALL_DATAROOTDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_DOCDIR CMAKE_INSTALL_DOCDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_INCLUDEDIR CMAKE_INSTALL_INCLUDEDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_INFODIR CMAKE_INSTALL_INFODIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_LIBDIR CMAKE_INSTALL_LIBDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_LIBEXECDIR CMAKE_INSTALL_LIBEXECDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_LOCALEDIR CMAKE_INSTALL_LOCALEDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_LOCALSTATEDIR CMAKE_INSTALL_LOCALSTATEDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_MANDIR CMAKE_INSTALL_MANDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_OLDINCLUDEDIR CMAKE_INSTALL_OLDINCLUDEDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_RUNSTATEDIR CMAKE_INSTALL_RUNSTATEDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_SBINDIR CMAKE_INSTALL_SBINDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_SHAREDSTATEDIR CMAKE_INSTALL_SHAREDSTATEDIR-ADVANCED:INTERNAL=1 //Install .so files without execute permission. CMAKE_INSTALL_SO_NO_EXE:INTERNAL=1 //ADVANCED property for variable: CMAKE_INSTALL_SYSCONFDIR CMAKE_INSTALL_SYSCONFDIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_LINKER CMAKE_LINKER-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_MAKE_PROGRAM CMAKE_MAKE_PROGRAM-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS CMAKE_MODULE_LINKER_FLAGS-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_DEBUG CMAKE_MODULE_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL CMAKE_MODULE_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_RELEASE CMAKE_MODULE_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO CMAKE_MODULE_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_NM CMAKE_NM-ADVANCED:INTERNAL=1 //number of local generators CMAKE_NUMBER_OF_MAKEFILES:INTERNAL=15 //ADVANCED property for variable: CMAKE_OBJCOPY CMAKE_OBJCOPY-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_OBJDUMP CMAKE_OBJDUMP-ADVANCED:INTERNAL=1 //Platform information initialized CMAKE_PLATFORM_INFO_INITIALIZED:INTERNAL=1 //ADVANCED property for variable: CMAKE_RANLIB CMAKE_RANLIB-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_READELF CMAKE_READELF-ADVANCED:INTERNAL=1 //Path to CMake installation. CMAKE_ROOT:INTERNAL=/usr/share/cmake-3.18 //ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS CMAKE_SHARED_LINKER_FLAGS-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_DEBUG CMAKE_SHARED_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL CMAKE_SHARED_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_RELEASE CMAKE_SHARED_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO CMAKE_SHARED_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_SKIP_INSTALL_RPATH CMAKE_SKIP_INSTALL_RPATH-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_SKIP_RPATH CMAKE_SKIP_RPATH-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS CMAKE_STATIC_LINKER_FLAGS-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_DEBUG CMAKE_STATIC_LINKER_FLAGS_DEBUG-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL CMAKE_STATIC_LINKER_FLAGS_MINSIZEREL-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_RELEASE CMAKE_STATIC_LINKER_FLAGS_RELEASE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO CMAKE_STATIC_LINKER_FLAGS_RELWITHDEBINFO-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CMAKE_STRIP CMAKE_STRIP-ADVANCED:INTERNAL=1 //uname command CMAKE_UNAME:INTERNAL=/usr/bin/uname //ADVANCED property for variable: CMAKE_VERBOSE_MAKEFILE CMAKE_VERBOSE_MAKEFILE-ADVANCED:INTERNAL=1 //Compiler support for a deprecated attribute COMPILER_HAS_DEPRECATED:INTERNAL=1 //Test COMPILER_HAS_DEPRECATED_ATTR COMPILER_HAS_DEPRECATED_ATTR:INTERNAL=1 //Test COMPILER_HAS_HIDDEN_INLINE_VISIBILITY COMPILER_HAS_HIDDEN_INLINE_VISIBILITY:INTERNAL=1 //Test COMPILER_HAS_HIDDEN_VISIBILITY COMPILER_HAS_HIDDEN_VISIBILITY:INTERNAL=1 //Test CVC5_NEED_HASH_UINT64_T_OVERLOAD CVC5_NEED_HASH_UINT64_T_OVERLOAD:INTERNAL= //Test CVC5_NEED_INT64_T_OVERLOADS CVC5_NEED_INT64_T_OVERLOADS:INTERNAL= //ADVANCED property for variable: CaDiCaL_INCLUDE_DIR CaDiCaL_INCLUDE_DIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: CaDiCaL_LIBRARIES CaDiCaL_LIBRARIES-ADVANCED:INTERNAL=1 //STRINGS property for variable: ENABLE_ASAN ENABLE_ASAN-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_ASSERTIONS ENABLE_ASSERTIONS-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_AUTO_DOWNLOAD ENABLE_AUTO_DOWNLOAD-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_COMP_INC_TRACK ENABLE_COMP_INC_TRACK-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_DEBUG_SYMBOLS ENABLE_DEBUG_SYMBOLS-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_IPO ENABLE_IPO-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_MUZZLE ENABLE_MUZZLE-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_STATISTICS ENABLE_STATISTICS-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_TRACING ENABLE_TRACING-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_TSAN ENABLE_TSAN-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_UBSAN ENABLE_UBSAN-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_UNIT_TESTING ENABLE_UNIT_TESTING-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: ENABLE_VALGRIND ENABLE_VALGRIND-STRINGS:INTERNAL=IGNORE;ON;OFF //Details about finding Git FIND_PACKAGE_MESSAGE_DETAILS_Git:INTERNAL=[/usr/bin/git][v2.20.1()] //Details about finding Java FIND_PACKAGE_MESSAGE_DETAILS_Java:INTERNAL=[/usr/bin/java][cfound components: Runtime ][v11.0.16()] //Details about finding PythonInterp FIND_PACKAGE_MESSAGE_DETAILS_PythonInterp:INTERNAL=[/usr/bin/python3][v3.7.3(3)] //ADVANCED property for variable: GIT_EXECUTABLE GIT_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: GMP_INCLUDE_DIR GMP_INCLUDE_DIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: GMP_LIBRARIES GMP_LIBRARIES-ADVANCED:INTERNAL=1 //Result of TRY_COMPILE GMP_USABLE:INTERNAL=TRUE //Have symbol clock_gettime HAVE_CLOCK_GETTIME:INTERNAL=1 //Test HAVE_CXX_FLAGWall HAVE_CXX_FLAGWall:INTERNAL=1 //Test HAVE_CXX_FLAGWerror HAVE_CXX_FLAGWerror:INTERNAL=1 //Test HAVE_CXX_FLAG_O3 HAVE_CXX_FLAG_O3:INTERNAL=1 //Test HAVE_CXX_FLAG_Wall HAVE_CXX_FLAG_Wall:INTERNAL=1 //Test HAVE_CXX_FLAG_Wclass_memaccess HAVE_CXX_FLAG_Wclass_memaccess:INTERNAL=1 //Test HAVE_CXX_FLAG_Wimplicit_fallthrough HAVE_CXX_FLAG_Wimplicit_fallthrough:INTERNAL=1 //Test HAVE_CXX_FLAG_Wnon_virtual_dtor HAVE_CXX_FLAG_Wnon_virtual_dtor:INTERNAL=1 //Test HAVE_CXX_FLAG_Wshadow HAVE_CXX_FLAG_Wshadow:INTERNAL=1 //Test HAVE_CXX_FLAG_Wsuggest_override HAVE_CXX_FLAG_Wsuggest_override:INTERNAL=1 //Test HAVE_CXX_FLAG_Wunused_private_field HAVE_CXX_FLAG_Wunused_private_field:INTERNAL= //Test HAVE_CXX_FLAG_fno_extern_tls_init HAVE_CXX_FLAG_fno_extern_tls_init:INTERNAL=1 //Test HAVE_C_FLAG_O3 HAVE_C_FLAG_O3:INTERNAL=1 //Test HAVE_C_FLAG_Wall HAVE_C_FLAG_Wall:INTERNAL=1 //Test HAVE_C_FLAG_Wimplicit_fallthrough HAVE_C_FLAG_Wimplicit_fallthrough:INTERNAL=1 //Test HAVE_C_FLAG_Wshadow HAVE_C_FLAG_Wshadow:INTERNAL=1 //Test HAVE_C_FLAG_Wunused_private_field HAVE_C_FLAG_Wunused_private_field:INTERNAL= //Test HAVE_C_FLAG_fexceptions HAVE_C_FLAG_fexceptions:INTERNAL=1 //Have symbol optreset HAVE_DECL_OPTRESET:INTERNAL= //Have include ext/stdio_filebuf.h HAVE_EXT_STDIO_FILEBUF_H:INTERNAL=1 //Have symbol ffs HAVE_FFS:INTERNAL=1 //Have symbol setitimer HAVE_SETITIMER:INTERNAL=1 //Have symbol sigaltstack HAVE_SIGALTSTACK:INTERNAL=1 //Have symbol strerror_r HAVE_STRERROR_R:INTERNAL=1 //Have symbol strtok_r HAVE_STRTOK_R:INTERNAL=1 //Have include sys/wait.h HAVE_SYS_WAIT_H:INTERNAL=1 //Have include unistd.h HAVE_UNISTD_H:INTERNAL=1 //Have symbol getc_unlocked HAVE_UNLOCKED_IO:INTERNAL= //ADVANCED property for variable: Java_IDLJ_EXECUTABLE Java_IDLJ_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Java_JARSIGNER_EXECUTABLE Java_JARSIGNER_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Java_JAR_EXECUTABLE Java_JAR_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Java_JAVAC_EXECUTABLE Java_JAVAC_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Java_JAVADOC_EXECUTABLE Java_JAVADOC_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Java_JAVAH_EXECUTABLE Java_JAVAH_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Java_JAVA_EXECUTABLE Java_JAVA_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: PYTHON_EXECUTABLE PYTHON_EXECUTABLE-ADVANCED:INTERNAL=1 //ADVANCED property for variable: PolyXX_LIBRARIES PolyXX_LIBRARIES-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Poly_INCLUDE_DIR Poly_INCLUDE_DIR-ADVANCED:INTERNAL=1 //ADVANCED property for variable: Poly_LIBRARIES Poly_LIBRARIES-ADVANCED:INTERNAL=1 //ADVANCED property for variable: ProcessorCount_cmd_nproc ProcessorCount_cmd_nproc-ADVANCED:INTERNAL=1 //ADVANCED property for variable: ProcessorCount_cmd_sysctl ProcessorCount_cmd_sysctl-ADVANCED:INTERNAL=1 //STRINGS property for variable: STATIC_BINARY STATIC_BINARY-STRINGS:INTERNAL=IGNORE;ON;OFF //Test STRERROR_R_CHAR_P STRERROR_R_CHAR_P:INTERNAL= //ADVANCED property for variable: SymFPU_INCLUDE_DIR SymFPU_INCLUDE_DIR-ADVANCED:INTERNAL=1 //STRINGS property for variable: USE_CLN USE_CLN-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: USE_CRYPTOMINISAT USE_CRYPTOMINISAT-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: USE_EDITLINE USE_EDITLINE-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: USE_GLPK USE_GLPK-STRINGS:INTERNAL=IGNORE;ON;OFF //STRINGS property for variable: USE_KISSAT USE_KISSAT-STRINGS:INTERNAL=IGNORE;ON;OFF //CMAKE_INSTALL_PREFIX during last run _GNUInstallDirs_LAST_CMAKE_INSTALL_PREFIX:INTERNAL=/usr/local