CMakeCache.txt

CMakeCache.txt (text/plain), 25.75 KB, created by Toralf Förster on 2019-07-15 18:19:53 UTC

# This is the CMakeCache file.
# For build in directory: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_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
########################

//Set ABC install directory
ABC_DIR:STRING=

//Path to a program.
ANTLR_BINARY:FILEPATH=/usr/bin/antlr3

//Set ANTLR3 install directory
ANTLR_DIR:STRING=

//Path to a file.
ANTLR_INCLUDE_DIR:PATH=/usr/include

//Path to a library.
ANTLR_LIBRARIES:FILEPATH=/usr/lib64/libantlr3c.so

//Build Java bindings
BUILD_BINDINGS_JAVA:BOOL=OFF

//Build Python bindings
BUILD_BINDINGS_PYTHON:BOOL=OFF

BUILD_SHARED_LIBS:STRING=ON

//The directory containing a CMake configuration file for Boost.
Boost_DIR:PATH=Boost_DIR-NOTFOUND

//Path to a file.
Boost_INCLUDE_DIR:PATH=/usr/include

//Set CaDiCaL install directory
CADICAL_DIR:STRING=

//Path to a file.
CLN_INCLUDE_DIR:PATH=/usr/include

//Path to a library.
CLN_LIBRARIES:FILEPATH=/usr/lib64/libcln.so

//Archive manager
CMAKE_AR:FILEPATH=/usr/bin/x86_64-pc-linux-gnu-ar

//ASM-ATT compile command
CMAKE_ASM-ATT_COMPILE_OBJECT:STRING=<CMAKE_ASM-ATT_COMPILER> <DEFINES> <INCLUDES>  -DNDEBUG <FLAGS> -o <OBJECT> -c -x assembler <SOURCE>

//ASM-ATT link flags
CMAKE_ASM-ATT_LINK_FLAGS:STRING=-nostdlib

//ASM compile command
CMAKE_ASM_COMPILE_OBJECT:STRING=<CMAKE_ASM_COMPILER> <DEFINES> <INCLUDES>  -DNDEBUG <FLAGS> -o <OBJECT> -c <SOURCE>

//Choose the type of build, options are: None Debug Release RelWithDebInfo
// MinSizeRel ...
CMAKE_BUILD_TYPE:STRING=Gentoo

//pretty colors during make
CMAKE_COLOR_MAKEFILE:BOOL=OFF

//A wrapper around 'ar' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_CXX_COMPILER_AR:FILEPATH=/usr/bin/gcc-ar

//A wrapper around 'ranlib' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_CXX_COMPILER_RANLIB:FILEPATH=/usr/bin/gcc-ranlib

//C++ compile command
CMAKE_CXX_COMPILE_OBJECT:STRING=<CMAKE_CXX_COMPILER> <DEFINES> <INCLUDES>  -DNDEBUG <FLAGS> -o <OBJECT> -c <SOURCE>

//Flags used by the CXX compiler during all build types.
CMAKE_CXX_FLAGS:STRING=-O2 -pipe -march=native

//Flags used by the CXX compiler during DEBUG builds.
CMAKE_CXX_FLAGS_DEBUG:STRING=-g

//Flags used by the CXX compiler during GENTOO builds.
CMAKE_CXX_FLAGS_GENTOO:STRING=

//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

//A wrapper around 'ar' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_C_COMPILER_AR:FILEPATH=/usr/bin/gcc-ar

//A wrapper around 'ranlib' adding the appropriate '--plugin' option
// for the GCC compiler
CMAKE_C_COMPILER_RANLIB:FILEPATH=/usr/bin/gcc-ranlib

//C compile command
CMAKE_C_COMPILE_OBJECT:STRING=<CMAKE_C_COMPILER> <DEFINES> <INCLUDES>  -DNDEBUG <FLAGS> -o <OBJECT> -c <SOURCE>

//Flags used by the C compiler during all build types.
CMAKE_C_FLAGS:STRING=-O2 -pipe -march=native

//Flags used by the C compiler during DEBUG builds.
CMAKE_C_FLAGS_DEBUG:STRING=-g

//Flags used by the C compiler during GENTOO builds.
CMAKE_C_FLAGS_GENTOO:STRING=

//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

//Flags used by the linker during all build types.
CMAKE_EXE_LINKER_FLAGS:STRING=-Wl,-O1 -Wl,--as-needed

//Flags used by the linker during DEBUG builds.
CMAKE_EXE_LINKER_FLAGS_DEBUG:STRING=

//Flags used by the linker during GENTOO builds.
CMAKE_EXE_LINKER_FLAGS_GENTOO: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=OFF

//Fortran compile command
CMAKE_Fortran_COMPILE_OBJECT:STRING=<CMAKE_Fortran_COMPILER> <DEFINES> <INCLUDES> -O2 -pipe -march=native <FLAGS> -o <OBJECT> -c <SOURCE>

//Indicate Gentoo package build
CMAKE_GENTOO_BUILD:BOOL=ON

CMAKE_INSTALL_DOCDIR:PATH=/usr/share/doc/cvc4-1.7

CMAKE_INSTALL_INFODIR:PATH=/usr/share/info

//Output directory for libraries
CMAKE_INSTALL_LIBDIR:PATH=lib64

CMAKE_INSTALL_MANDIR:PATH=/usr/share/man

//Install path prefix, prepended onto install directories.
CMAKE_INSTALL_PREFIX:PATH=/usr

//Path to a program.
CMAKE_LINKER:FILEPATH=/usr/bin/ld

//Path to a program.
CMAKE_MAKE_PROGRAM:FILEPATH=/usr/bin/gmake

//Flags used by the linker during the creation of modules during
// all build types.
CMAKE_MODULE_LINKER_FLAGS:STRING=-Wl,-O1 -Wl,--as-needed

//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
// GENTOO builds.
CMAKE_MODULE_LINKER_FLAGS_GENTOO: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

//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=cvc4

//Archive index generator
CMAKE_RANLIB:FILEPATH=/usr/bin/x86_64-pc-linux-gnu-ranlib

//Flags used by the linker during the creation of shared libraries
// during all build types.
CMAKE_SHARED_LINKER_FLAGS:STRING=-Wl,-O1 -Wl,--as-needed

//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 GENTOO builds.
CMAKE_SHARED_LINKER_FLAGS_GENTOO: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 GENTOO builds.
CMAKE_STATIC_LINKER_FLAGS_GENTOO: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

//The CMake toolchain file
CMAKE_TOOLCHAIN_FILE:FILEPATH=/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/gentoo_toolchain.cmake

//Gentoo override rules
CMAKE_USER_MAKE_RULES_OVERRIDE:FILEPATH=/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/gentoo_rules.cmake

//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

//Set CryptoMiniSat install directory
CRYPTOMINISAT_DIR:STRING=

//Set CxxTest install directory
CXXTEST_DIR:STRING=

//Set drat2er install directory
DRAT2ER_DIR:STRING=

//Enable ASAN build
ENABLE_ASAN:STRING=IGNORE

//Enable assertions
ENABLE_ASSERTIONS:STRING=IGNORE

//Enable dependencies known to give best performance
ENABLE_BEST:BOOL=OFF

//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 dumping
ENABLE_DUMPING:STRING=IGNORE

//Enable GPL dependencies
ENABLE_GPL:BOOL=ON

//Suppress ALL non-result output
ENABLE_MUZZLE:STRING=IGNORE

//Enable optimization
ENABLE_OPTIMIZED:STRING=IGNORE

//Enable portfolio support
ENABLE_PORTFOLIO:STRING=IGNORE

//Enable support for gprof profiling
ENABLE_PROFILING:BOOL=OFF

//Enable proof support
ENABLE_PROOFS:STRING=IGNORE

//Enable the replay feature
ENABLE_REPLAY:STRING=IGNORE

//Build as shared library
ENABLE_SHARED:STRING=IGNORE

//Build static binaries with statically linked system libraries
ENABLE_STATIC_BINARY:STRING=IGNORE

//Enable statistics
ENABLE_STATISTICS:STRING=IGNORE

//Enable tracing
ENABLE_TRACING: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=

//Set GMP install directory
GMP_DIR:STRING=

//Path to a file.
GMP_INCLUDE_DIR:PATH=/usr/include

//Path to a library.
GMP_LIBRARIES:FILEPATH=/usr/lib64/libgmp.so

//Path to a program.
Java_IDLJ_EXECUTABLE:FILEPATH=/etc/java-config-2/current-system-vm/bin/idlj

//Path to a program.
Java_JARSIGNER_EXECUTABLE:FILEPATH=/etc/java-config-2/current-system-vm/bin/jarsigner

//Path to a program.
Java_JAR_EXECUTABLE:FILEPATH=/etc/java-config-2/current-system-vm/bin/jar

//Path to a program.
Java_JAVAC_EXECUTABLE:FILEPATH=/etc/java-config-2/current-system-vm/bin/javac

//Path to a program.
Java_JAVADOC_EXECUTABLE:FILEPATH=/etc/java-config-2/current-system-vm/bin/javadoc

//Path to a program.
Java_JAVAH_EXECUTABLE:FILEPATH=/etc/java-config-2/current-system-vm/bin/javah

//Path to a program.
Java_JAVA_EXECUTABLE:FILEPATH=/etc/java-config-2/current-system-vm/bin/java

//Set LFSC install directory
LFSC_DIR:STRING=

//library path suffix
LIB_SUFFIX:STRING=64

//Program prefix on make install
PROGRAM_PREFIX:STRING=

//Path to a program.
PYTHON_EXECUTABLE:FILEPATH=/usr/bin/python

//Path to a program.
ProcessorCount_cmd_getconf:FILEPATH=/usr/bin/getconf

//Path to a program.
ProcessorCount_cmd_sysctl:FILEPATH=/usr/sbin/sysctl

//Set SymFPU install directory
SYMFPU_DIR:STRING=

//Use ABC for AIG bit-blasting
USE_ABC:STRING=IGNORE

//Use CaDiCaL SAT solver
USE_CADICAL:BOOL=OFF

//Use CLN instead of GMP
USE_CLN:STRING=ON

//Use CryptoMiniSat SAT solver
USE_CRYPTOMINISAT:BOOL=OFF

//Include drat2er for making eager BV proofs
USE_DRAT2ER:BOOL=OFF

//Use GLPK simplex solver
USE_GLPK:STRING=IGNORE

//Use LFSC proof checker
USE_LFSC:BOOL=OFF

//Prefer using Python 2 (for Python bindings)
USE_PYTHON2:BOOL=OFF

//Prefer using Python 3 (for Python bindings)
USE_PYTHON3:BOOL=OFF

//Use readline for better interactive support
USE_READLINE:STRING=IGNORE

//Use SymFPU for floating point support
USE_SYMFPU:BOOL=OFF

//Value Computed by CMake
cvc4_BINARY_DIR:STATIC=/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build

//Dependencies for the target
cvc4_LIB_DEPENDS:STATIC=general;/usr/lib64/libcln.so;general;/usr/lib64/libgmp.so;

//Value Computed by CMake
cvc4_SOURCE_DIR:STATIC=/var/tmp/portage/sci-mathematics/cvc4-1.7/work/CVC4-1.7

//Dependencies for the target
cvc4parser_LIB_DEPENDS:STATIC=general;cvc4;general;/usr/lib64/libantlr3c.so;

//Dependencies for the target
main-test_LIB_DEPENDS:STATIC=general;cvc4;general;cvc4parser;


########################
# INTERNAL cache entries
########################

//ADVANCED property for variable: ANTLR_BINARY
ANTLR_BINARY-ADVANCED:INTERNAL=1
//ADVANCED property for variable: ANTLR_INCLUDE_DIR
ANTLR_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: ANTLR_LIBRARIES
ANTLR_LIBRARIES-ADVANCED:INTERNAL=1
//ADVANCED property for variable: Boost_DIR
Boost_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: Boost_INCLUDE_DIR
Boost_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CLN_INCLUDE_DIR
CLN_INCLUDE_DIR-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CLN_LIBRARIES
CLN_LIBRARIES-ADVANCED:INTERNAL=1
//ADVANCED property for variable: CMAKE_AR
CMAKE_AR-ADVANCED:INTERNAL=1
//This is the directory where this CMakeCache.txt was created
CMAKE_CACHEFILE_DIR:INTERNAL=/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_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=14
//Patch version of cmake used to create the current loaded cache
CMAKE_CACHE_PATCH_VERSION:INTERNAL=5
//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_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_GENTOO
CMAKE_CXX_FLAGS_GENTOO-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_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_GENTOO
CMAKE_C_FLAGS_GENTOO-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
//Path to cache edit program executable.
CMAKE_EDIT_COMMAND:INTERNAL=/usr/bin/ccmake
//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_GENTOO
CMAKE_EXE_LINKER_FLAGS_GENTOO-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=/var/tmp/portage/sci-mathematics/cvc4-1.7/work/CVC4-1.7
//Install .so files without execute permission.
CMAKE_INSTALL_SO_NO_EXE:INTERNAL=0
//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_GENTOO
CMAKE_MODULE_LINKER_FLAGS_GENTOO-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=18
//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
//Path to CMake installation.
CMAKE_ROOT:INTERNAL=/usr/share/cmake
//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_GENTOO
CMAKE_SHARED_LINKER_FLAGS_GENTOO-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_GENTOO
CMAKE_STATIC_LINKER_FLAGS_GENTOO-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
//Test CVC4_NEED_HASH_UINT64_T_OVERLOAD
CVC4_NEED_HASH_UINT64_T_OVERLOAD:INTERNAL=
//Test CVC4_NEED_INT64_T_OVERLOADS
CVC4_NEED_INT64_T_OVERLOADS:INTERNAL=
//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_DEBUG_SYMBOLS
ENABLE_DEBUG_SYMBOLS-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_DUMPING
ENABLE_DUMPING-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_MUZZLE
ENABLE_MUZZLE-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_OPTIMIZED
ENABLE_OPTIMIZED-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_PORTFOLIO
ENABLE_PORTFOLIO-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_PROOFS
ENABLE_PROOFS-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_REPLAY
ENABLE_REPLAY-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_SHARED
ENABLE_SHARED-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: ENABLE_STATIC_BINARY
ENABLE_STATIC_BINARY-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_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 ANTLR
FIND_PACKAGE_MESSAGE_DETAILS_ANTLR:INTERNAL=[/usr/bin/antlr3][/usr/include][/usr/lib64/libantlr3c.so][v()]
//Details about finding CLN
FIND_PACKAGE_MESSAGE_DETAILS_CLN:INTERNAL=[/usr/include][/usr/lib64/libcln.so][v1.3.4(1.2.2)]
//Details about finding GMP
FIND_PACKAGE_MESSAGE_DETAILS_GMP:INTERNAL=[/usr/include][/usr/lib64/libgmp.so][v()]
//Details about finding Git
FIND_PACKAGE_MESSAGE_DETAILS_Git:INTERNAL=[/usr/bin/git][v2.22.0()]
//Details about finding Java
FIND_PACKAGE_MESSAGE_DETAILS_Java:INTERNAL=[/etc/java-config-2/current-system-vm/bin/java][cfound components:  Runtime ][v1.8.0.212()]
//Details about finding PythonInterp
FIND_PACKAGE_MESSAGE_DETAILS_PythonInterp:INTERNAL=[/usr/bin/python][v3.6.8()]
//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
//ADVANCED property for variable: HAVE_ANTLR3_FILE_STREAM_NEW
HAVE_ANTLR3_FILE_STREAM_NEW-ADVANCED:INTERNAL=1
//Have symbol antlr3FileStreamNew
HAVE_ANTLR3_FILE_STREAM_NEW:INTERNAL=1
//Have symbol clock_gettime
HAVE_CLOCK_GETTIME: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
//Test HAVE_FLAG_Wall
HAVE_FLAG_Wall:INTERNAL=1
//Test HAVE_FLAG_Wno_class_memaccess
HAVE_FLAG_Wno_class_memaccess:INTERNAL=1
//Test HAVE_FLAG_Wno_deprecated
HAVE_FLAG_Wno_deprecated:INTERNAL=1
//Test HAVE_FLAG_Wnon_virtual_dtor
HAVE_FLAG_Wnon_virtual_dtor:INTERNAL=1
//Test HAVE_FLAG_Wsuggest_override
HAVE_FLAG_Wsuggest_override:INTERNAL=1
//Test HAVE_FLAG_fexceptions
HAVE_FLAG_fexceptions: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 unistd.h
HAVE_UNISTD_H:INTERNAL=1
//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: ProcessorCount_cmd_getconf
ProcessorCount_cmd_getconf-ADVANCED:INTERNAL=1
//ADVANCED property for variable: ProcessorCount_cmd_sysctl
ProcessorCount_cmd_sysctl-ADVANCED:INTERNAL=1
//Test STRERROR_R_CHAR_P
STRERROR_R_CHAR_P:INTERNAL=
//STRINGS property for variable: USE_ABC
USE_ABC-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_CLN
USE_CLN-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_GLPK
USE_GLPK-STRINGS:INTERNAL=IGNORE;ON;OFF
//STRINGS property for variable: USE_READLINE
USE_READLINE-STRINGS:INTERNAL=IGNORE;ON;OFF
//Components requested for this build tree.
_Boost_COMPONENTS_SEARCHED:INTERNAL=
//Last used Boost_INCLUDE_DIR value.
_Boost_INCLUDE_DIR_LAST:INTERNAL=/usr/include
//Last used Boost_NAMESPACE value.
_Boost_NAMESPACE_LAST:INTERNAL=boost
//Last used Boost_USE_MULTITHREADED value.
_Boost_USE_MULTITHREADED_LAST:INTERNAL=TRUE