CMakeOutput.log

CMakeOutput.log (text/plain), 56.28 KB, created by Toralf Förster on 2021-01-19 09:35:16 UTC

The system is: Linux - 5.10.8 - x86_64
Compiling the C compiler identification source file "CMakeCCompilerId.c" succeeded.
Compiler: /usr/bin/x86_64-pc-linux-gnu-gcc 
Build flags: -O2;-pipe;-march=native;-fno-diagnostics-color;
Id flags:  

The output was:
0


Compilation of the C compiler identification source "CMakeCCompilerId.c" produced "a.out"

The C compiler identification is GNU, found in "/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/3.19.3/CompilerIdC/a.out"

Compiling the CXX compiler identification source file "CMakeCXXCompilerId.cpp" succeeded.
Compiler: /usr/bin/x86_64-pc-linux-gnu-g++ 
Build flags: -O2;-pipe;-march=native;-fno-diagnostics-color;
Id flags:  

The output was:
0


Compilation of the CXX compiler identification source "CMakeCXXCompilerId.cpp" produced "a.out"

The CXX compiler identification is GNU, found in "/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/3.19.3/CompilerIdCXX/a.out"

Detecting C compiler ABI info compiled with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_7ddca/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_7ddca.dir/build.make CMakeFiles/cmTC_7ddca.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o
/usr/bin/x86_64-pc-linux-gnu-gcc    -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color    -v -o CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -c /usr/share/cmake/Modules/CMakeCCompilerABI.c
Using built-in specs.
COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-gcc
Target: x86_64-pc-linux-gnu
Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32,m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) 
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o' '-c'
 /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/cc1 -quiet -v -D NDEBUG /usr/share/cmake/Modules/CMakeCCompilerABI.c -march=haswell -mmmx -mno-3dnow -msse -msse2 -msse3 -mssse3 -mno-sse4a -mcx16 -msahf -mmovbe -maes -mno-sha -mpclmul -mpopcnt -mabm -mno-lwp -mfma -mno-fma4 -mno-xop -mbmi -mno-sgx -mbmi2 -mno-pconfig -mno-wbnoinvd -mno-tbm -mavx -mavx2 -msse4.2 -msse4.1 -mlzcnt -mno-rtm -mno-hle -mrdrnd -mf16c -mfsgsbase -mno-rdseed -mno-prfchw -mno-adx -mfxsr -mxsave -mxsaveopt -mno-avx512f -mno-avx512er -mno-avx512cd -mno-avx512pf -mno-prefetchwt1 -mno-clflushopt -mno-xsavec -mno-xsaves -mno-avx512dq -mno-avx512bw -mno-avx512vl -mno-avx512ifma -mno-avx512vbmi -mno-avx5124fmaps -mno-avx5124vnniw -mno-clwb -mno-mwaitx -mno-clzero -mno-pku -mno-rdpid -mno-gfni -mno-shstk -mno-avx512vbmi2 -mno-avx512vnni -mno-vaes -mno-vpclmulqdq -mno-avx512bitalg -mno-avx512vpopcntdq -mno-movdiri -mno-movdir64b -mno-waitpkg -mno-cldemote -mno-ptwrite -mno-avx512bf16 -mno-enqcmd -mno-avx512vp2intersect --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=15360 -mtune=haswell -quiet -dumpbase CMakeCCompilerABI.c -auxbase-strip CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -O2 -version -fdiagnostics-color=never -o - |
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o
GNU C17 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)
	compiled by GNU C version 10.2.0, GMP version 6.2.1, MPFR version 4.1.0, MPC version 1.2.1, isl version none
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
ignoring nonexistent directory "/usr/local/include"
ignoring nonexistent directory "/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed
 /usr/include
End of search list.
GNU C17 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)
	compiled by GNU C version 10.2.0, GMP version 6.2.1, MPFR version 4.1.0, MPC version 1.2.1, isl version none
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU assembler version 2.35.1 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.35.1 p2) 2.35.1
Compiler executable checksum: 3dbdabc2d08511389512bcc4d4c2db20
COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/
LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o' '-c'
Linking C executable cmTC_7ddca
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_7ddca.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -o cmTC_7ddca 
Using built-in specs.
COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-gcc
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32,m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) 
COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/
LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-O2' '-pipe' '-march=native' '-v' '-rdynamic' '-o' 'cmTC_7ddca'
 /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/ccijzS4J.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --eh-frame-hdr -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_7ddca /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -lgcc --push-state --as-needed -lgcc_s --pop-state -lc -lgcc --push-state --as-needed -lgcc_s --pop-state /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crtn.o
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-O2' '-pipe' '-march=native' '-v' '-rdynamic' '-o' 'cmTC_7ddca'
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'



Parsed C implicit include dir info from above output: rv=done
  found start of include info
  found start of implicit include info
    add: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include]
    add: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed]
    add: [/usr/include]
  end of search list found
  collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include]
  collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed]
  collapse include dir [/usr/include] ==> [/usr/include]
  implicit include dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include;/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed;/usr/include]


Parsed C implicit link information from above output:
  link line regex: [^( *|.*[/\])(x86_64-pc-linux-gnu-ld|CMAKE_LINK_STARTFILE-NOTFOUND|([^/\]+-)?ld|collect2)[^/\]*( |$)]
  ignore line: [Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp]
  ignore line: []
  ignore line: [Run Build Command(s):/usr/bin/gmake cmTC_7ddca/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_7ddca.dir/build.make CMakeFiles/cmTC_7ddca.dir/build]
  ignore line: [gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp']
  ignore line: [Building C object CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o]
  ignore line: [/usr/bin/x86_64-pc-linux-gnu-gcc    -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color    -v -o CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -c /usr/share/cmake/Modules/CMakeCCompilerABI.c]
  ignore line: [Using built-in specs.]
  ignore line: [COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-gcc]
  ignore line: [Target: x86_64-pc-linux-gnu]
  ignore line: [Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c c++ fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32 m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp]
  ignore line: [Thread model: posix]
  ignore line: [Supported LTO compression algorithms: zlib]
  ignore line: [gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) ]
  ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o' '-c']
  ignore line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/cc1 -quiet -v -D NDEBUG /usr/share/cmake/Modules/CMakeCCompilerABI.c -march=haswell -mmmx -mno-3dnow -msse -msse2 -msse3 -mssse3 -mno-sse4a -mcx16 -msahf -mmovbe -maes -mno-sha -mpclmul -mpopcnt -mabm -mno-lwp -mfma -mno-fma4 -mno-xop -mbmi -mno-sgx -mbmi2 -mno-pconfig -mno-wbnoinvd -mno-tbm -mavx -mavx2 -msse4.2 -msse4.1 -mlzcnt -mno-rtm -mno-hle -mrdrnd -mf16c -mfsgsbase -mno-rdseed -mno-prfchw -mno-adx -mfxsr -mxsave -mxsaveopt -mno-avx512f -mno-avx512er -mno-avx512cd -mno-avx512pf -mno-prefetchwt1 -mno-clflushopt -mno-xsavec -mno-xsaves -mno-avx512dq -mno-avx512bw -mno-avx512vl -mno-avx512ifma -mno-avx512vbmi -mno-avx5124fmaps -mno-avx5124vnniw -mno-clwb -mno-mwaitx -mno-clzero -mno-pku -mno-rdpid -mno-gfni -mno-shstk -mno-avx512vbmi2 -mno-avx512vnni -mno-vaes -mno-vpclmulqdq -mno-avx512bitalg -mno-avx512vpopcntdq -mno-movdiri -mno-movdir64b -mno-waitpkg -mno-cldemote -mno-ptwrite -mno-avx512bf16 -mno-enqcmd -mno-avx512vp2intersect --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=15360 -mtune=haswell -quiet -dumpbase CMakeCCompilerABI.c -auxbase-strip CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -O2 -version -fdiagnostics-color=never -o - |]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o]
  ignore line: [GNU C17 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)]
  ignore line: [	compiled by GNU C version 10.2.0  GMP version 6.2.1  MPFR version 4.1.0  MPC version 1.2.1  isl version none]
  ignore line: [GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072]
  ignore line: [ignoring nonexistent directory "/usr/local/include"]
  ignore line: [ignoring nonexistent directory "/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/include"]
  ignore line: [#include "..." search starts here:]
  ignore line: [#include <...> search starts here:]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed]
  ignore line: [ /usr/include]
  ignore line: [End of search list.]
  ignore line: [GNU C17 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)]
  ignore line: [	compiled by GNU C version 10.2.0  GMP version 6.2.1  MPFR version 4.1.0  MPC version 1.2.1  isl version none]
  ignore line: [GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072]
  ignore line: [GNU assembler version 2.35.1 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.35.1 p2) 2.35.1]
  ignore line: [Compiler executable checksum: 3dbdabc2d08511389512bcc4d4c2db20]
  ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/]
  ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/]
  ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o' '-c']
  ignore line: [Linking C executable cmTC_7ddca]
  ignore line: [/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_7ddca.dir/link.txt --verbose=1]
  ignore line: [/usr/bin/x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color  -Wl -O1 -Wl --as-needed -Wl --defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -o cmTC_7ddca ]
  ignore line: [Using built-in specs.]
  ignore line: [COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-gcc]
  ignore line: [COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper]
  ignore line: [Target: x86_64-pc-linux-gnu]
  ignore line: [Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c c++ fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32 m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp]
  ignore line: [Thread model: posix]
  ignore line: [Supported LTO compression algorithms: zlib]
  ignore line: [gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) ]
  ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/]
  ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/]
  ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-O2' '-pipe' '-march=native' '-v' '-rdynamic' '-o' 'cmTC_7ddca']
  link line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/ccijzS4J.res -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lgcc_s --eh-frame-hdr -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_7ddca /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o -lgcc --push-state --as-needed -lgcc_s --pop-state -lc -lgcc --push-state --as-needed -lgcc_s --pop-state /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crtn.o]
    arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/collect2] ==> ignore
    arg [-plugin] ==> ignore
    arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/liblto_plugin.so] ==> ignore
    arg [-plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper] ==> ignore
    arg [-plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/ccijzS4J.res] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [-plugin-opt=-pass-through=-lc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [--eh-frame-hdr] ==> ignore
    arg [-m] ==> ignore
    arg [elf_x86_64] ==> ignore
    arg [-export-dynamic] ==> ignore
    arg [-dynamic-linker] ==> ignore
    arg [/lib64/ld-linux-x86-64.so.2] ==> ignore
    arg [-pie] ==> ignore
    arg [-o] ==> ignore
    arg [cmTC_7ddca] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/Scrt1.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crti.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtbeginS.o] ==> ignore
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64]
    arg [-L/lib/../lib64] ==> dir [/lib/../lib64]
    arg [-L/usr/lib/../lib64] ==> dir [/usr/lib/../lib64]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../..] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../..]
    arg [-O1] ==> ignore
    arg [--as-needed] ==> ignore
    arg [--defsym=__gentoo_check_ldflags__=0] ==> ignore
    arg [CMakeFiles/cmTC_7ddca.dir/CMakeCCompilerABI.c.o] ==> ignore
    arg [-lgcc] ==> lib [gcc]
    arg [--push-state] ==> ignore
    arg [--as-needed] ==> ignore
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [--pop-state] ==> ignore
    arg [-lc] ==> lib [c]
    arg [-lgcc] ==> lib [gcc]
    arg [--push-state] ==> ignore
    arg [--as-needed] ==> ignore
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [--pop-state] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtendS.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crtn.o] ==> ignore
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64] ==> [/usr/lib64]
  collapse library dir [/lib/../lib64] ==> [/lib64]
  collapse library dir [/usr/lib/../lib64] ==> [/usr/lib64]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib] ==> [/usr/x86_64-pc-linux-gnu/lib]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../..] ==> [/usr/lib]
  implicit libs: [gcc;gcc_s;c;gcc;gcc_s]
  implicit dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0;/usr/lib64;/lib64;/usr/x86_64-pc-linux-gnu/lib;/usr/lib]
  implicit fwks: []


Detecting CXX compiler ABI info compiled with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_0cf54/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_0cf54.dir/build.make CMakeFiles/cmTC_0cf54.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o
/usr/bin/x86_64-pc-linux-gnu-g++    -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color    -v -o CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -c /usr/share/cmake/Modules/CMakeCXXCompilerABI.cpp
Using built-in specs.
COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-g++
Target: x86_64-pc-linux-gnu
Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32,m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) 
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc'
 /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/cc1plus -quiet -v -D_GNU_SOURCE -D NDEBUG /usr/share/cmake/Modules/CMakeCXXCompilerABI.cpp -march=haswell -mmmx -mno-3dnow -msse -msse2 -msse3 -mssse3 -mno-sse4a -mcx16 -msahf -mmovbe -maes -mno-sha -mpclmul -mpopcnt -mabm -mno-lwp -mfma -mno-fma4 -mno-xop -mbmi -mno-sgx -mbmi2 -mno-pconfig -mno-wbnoinvd -mno-tbm -mavx -mavx2 -msse4.2 -msse4.1 -mlzcnt -mno-rtm -mno-hle -mrdrnd -mf16c -mfsgsbase -mno-rdseed -mno-prfchw -mno-adx -mfxsr -mxsave -mxsaveopt -mno-avx512f -mno-avx512er -mno-avx512cd -mno-avx512pf -mno-prefetchwt1 -mno-clflushopt -mno-xsavec -mno-xsaves -mno-avx512dq -mno-avx512bw -mno-avx512vl -mno-avx512ifma -mno-avx512vbmi -mno-avx5124fmaps -mno-avx5124vnniw -mno-clwb -mno-mwaitx -mno-clzero -mno-pku -mno-rdpid -mno-gfni -mno-shstk -mno-avx512vbmi2 -mno-avx512vnni -mno-vaes -mno-vpclmulqdq -mno-avx512bitalg -mno-avx512vpopcntdq -mno-movdiri -mno-movdir64b -mno-waitpkg -mno-cldemote -mno-ptwrite -mno-avx512bf16 -mno-enqcmd -mno-avx512vp2intersect --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=15360 -mtune=haswell -quiet -dumpbase CMakeCXXCompilerABI.cpp -auxbase-strip CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -O2 -version -fdiagnostics-color=never -o - |
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o
GNU C++14 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)
	compiled by GNU C version 10.2.0, GMP version 6.2.1, MPFR version 4.1.0, MPC version 1.2.1, isl version none
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
ignoring nonexistent directory "/usr/local/include"
ignoring nonexistent directory "/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/x86_64-pc-linux-gnu
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/backward
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include
 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed
 /usr/include
End of search list.
GNU C++14 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)
	compiled by GNU C version 10.2.0, GMP version 6.2.1, MPFR version 4.1.0, MPC version 1.2.1, isl version none
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
GNU assembler version 2.35.1 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.35.1 p2) 2.35.1
Compiler executable checksum: 74ec2c3e5babb84206dae9989ea5414e
COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/
LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc'
Linking CXX executable cmTC_0cf54
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_0cf54.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_0cf54 
Using built-in specs.
COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-g++
COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper
Target: x86_64-pc-linux-gnu
Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c,c++,fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32,m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp
Thread model: posix
Supported LTO compression algorithms: zlib
gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) 
COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/
LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-O2' '-pipe' '-march=native' '-v' '-rdynamic' '-o' 'cmTC_0cf54' '-shared-libgcc'
 /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/ccioGVdE.res -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc --eh-frame-hdr -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_0cf54 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -lgcc /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crtn.o
COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-O2' '-pipe' '-march=native' '-v' '-rdynamic' '-o' 'cmTC_0cf54' '-shared-libgcc'
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'



Parsed CXX implicit include dir info from above output: rv=done
  found start of include info
  found start of implicit include info
    add: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10]
    add: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/x86_64-pc-linux-gnu]
    add: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/backward]
    add: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include]
    add: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed]
    add: [/usr/include]
  end of search list found
  collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10]
  collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/x86_64-pc-linux-gnu] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/x86_64-pc-linux-gnu]
  collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/backward] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/backward]
  collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include]
  collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed]
  collapse include dir [/usr/include] ==> [/usr/include]
  implicit include dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10;/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/x86_64-pc-linux-gnu;/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/backward;/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include;/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed;/usr/include]


Parsed CXX implicit link information from above output:
  link line regex: [^( *|.*[/\])(x86_64-pc-linux-gnu-ld|CMAKE_LINK_STARTFILE-NOTFOUND|([^/\]+-)?ld|collect2)[^/\]*( |$)]
  ignore line: [Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp]
  ignore line: []
  ignore line: [Run Build Command(s):/usr/bin/gmake cmTC_0cf54/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_0cf54.dir/build.make CMakeFiles/cmTC_0cf54.dir/build]
  ignore line: [gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp']
  ignore line: [Building CXX object CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o]
  ignore line: [/usr/bin/x86_64-pc-linux-gnu-g++    -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color    -v -o CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -c /usr/share/cmake/Modules/CMakeCXXCompilerABI.cpp]
  ignore line: [Using built-in specs.]
  ignore line: [COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-g++]
  ignore line: [Target: x86_64-pc-linux-gnu]
  ignore line: [Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c c++ fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32 m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp]
  ignore line: [Thread model: posix]
  ignore line: [Supported LTO compression algorithms: zlib]
  ignore line: [gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) ]
  ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc']
  ignore line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/cc1plus -quiet -v -D_GNU_SOURCE -D NDEBUG /usr/share/cmake/Modules/CMakeCXXCompilerABI.cpp -march=haswell -mmmx -mno-3dnow -msse -msse2 -msse3 -mssse3 -mno-sse4a -mcx16 -msahf -mmovbe -maes -mno-sha -mpclmul -mpopcnt -mabm -mno-lwp -mfma -mno-fma4 -mno-xop -mbmi -mno-sgx -mbmi2 -mno-pconfig -mno-wbnoinvd -mno-tbm -mavx -mavx2 -msse4.2 -msse4.1 -mlzcnt -mno-rtm -mno-hle -mrdrnd -mf16c -mfsgsbase -mno-rdseed -mno-prfchw -mno-adx -mfxsr -mxsave -mxsaveopt -mno-avx512f -mno-avx512er -mno-avx512cd -mno-avx512pf -mno-prefetchwt1 -mno-clflushopt -mno-xsavec -mno-xsaves -mno-avx512dq -mno-avx512bw -mno-avx512vl -mno-avx512ifma -mno-avx512vbmi -mno-avx5124fmaps -mno-avx5124vnniw -mno-clwb -mno-mwaitx -mno-clzero -mno-pku -mno-rdpid -mno-gfni -mno-shstk -mno-avx512vbmi2 -mno-avx512vnni -mno-vaes -mno-vpclmulqdq -mno-avx512bitalg -mno-avx512vpopcntdq -mno-movdiri -mno-movdir64b -mno-waitpkg -mno-cldemote -mno-ptwrite -mno-avx512bf16 -mno-enqcmd -mno-avx512vp2intersect --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=15360 -mtune=haswell -quiet -dumpbase CMakeCXXCompilerABI.cpp -auxbase-strip CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -O2 -version -fdiagnostics-color=never -o - |]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o]
  ignore line: [GNU C++14 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)]
  ignore line: [	compiled by GNU C version 10.2.0  GMP version 6.2.1  MPFR version 4.1.0  MPC version 1.2.1  isl version none]
  ignore line: [GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072]
  ignore line: [ignoring nonexistent directory "/usr/local/include"]
  ignore line: [ignoring nonexistent directory "/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/include"]
  ignore line: [#include "..." search starts here:]
  ignore line: [#include <...> search starts here:]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/x86_64-pc-linux-gnu]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10/backward]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include]
  ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include-fixed]
  ignore line: [ /usr/include]
  ignore line: [End of search list.]
  ignore line: [GNU C++14 (Gentoo 10.2.0-r5 p6) version 10.2.0 (x86_64-pc-linux-gnu)]
  ignore line: [	compiled by GNU C version 10.2.0  GMP version 6.2.1  MPFR version 4.1.0  MPC version 1.2.1  isl version none]
  ignore line: [GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072]
  ignore line: [GNU assembler version 2.35.1 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.35.1 p2) 2.35.1]
  ignore line: [Compiler executable checksum: 74ec2c3e5babb84206dae9989ea5414e]
  ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/]
  ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/]
  ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-D' 'NDEBUG' '-O2' '-pipe' '-march=native' '-v' '-o' 'CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc']
  ignore line: [Linking CXX executable cmTC_0cf54]
  ignore line: [/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_0cf54.dir/link.txt --verbose=1]
  ignore line: [/usr/bin/x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color  -Wl -O1 -Wl --as-needed -Wl --defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_0cf54 ]
  ignore line: [Using built-in specs.]
  ignore line: [COLLECT_GCC=/usr/bin/x86_64-pc-linux-gnu-g++]
  ignore line: [COLLECT_LTO_WRAPPER=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper]
  ignore line: [Target: x86_64-pc-linux-gnu]
  ignore line: [Configured with: /var/tmp/portage/sys-devel/gcc-10.2.0-r5/work/gcc-10.2.0/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/10.2.0 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/include/g++-v10 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/10.2.0/python --enable-languages=c c++ fortran --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo 10.2.0-r5 p6' --disable-esp --enable-libstdcxx-time --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu --enable-multilib --with-multilib-list=m32 m64 --disable-fixed-point --enable-targets=all --enable-libgomp --disable-libssp --disable-libada --disable-systemtap --enable-vtable-verify --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp]
  ignore line: [Thread model: posix]
  ignore line: [Supported LTO compression algorithms: zlib]
  ignore line: [gcc version 10.2.0 (Gentoo 10.2.0-r5 p6) ]
  ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/bin/]
  ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../:/lib/:/usr/lib/]
  ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-O2' '-pipe' '-march=native' '-v' '-rdynamic' '-o' 'cmTC_0cf54' '-shared-libgcc']
  link line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/ccioGVdE.res -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc -plugin-opt=-pass-through=-lc -plugin-opt=-pass-through=-lgcc_s -plugin-opt=-pass-through=-lgcc --eh-frame-hdr -m elf_x86_64 -export-dynamic -dynamic-linker /lib64/ld-linux-x86-64.so.2 -pie -o cmTC_0cf54 /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -lgcc /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crtn.o]
    arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/collect2] ==> ignore
    arg [-plugin] ==> ignore
    arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/liblto_plugin.so] ==> ignore
    arg [-plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/10.2.0/lto-wrapper] ==> ignore
    arg [-plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.7/temp/ccioGVdE.res] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [-plugin-opt=-pass-through=-lc] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc_s] ==> ignore
    arg [-plugin-opt=-pass-through=-lgcc] ==> ignore
    arg [--eh-frame-hdr] ==> ignore
    arg [-m] ==> ignore
    arg [elf_x86_64] ==> ignore
    arg [-export-dynamic] ==> ignore
    arg [-dynamic-linker] ==> ignore
    arg [/lib64/ld-linux-x86-64.so.2] ==> ignore
    arg [-pie] ==> ignore
    arg [-o] ==> ignore
    arg [cmTC_0cf54] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/Scrt1.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crti.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtbeginS.o] ==> ignore
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64]
    arg [-L/lib/../lib64] ==> dir [/lib/../lib64]
    arg [-L/usr/lib/../lib64] ==> dir [/usr/lib/../lib64]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib]
    arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../..] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../..]
    arg [-O1] ==> ignore
    arg [--as-needed] ==> ignore
    arg [--defsym=__gentoo_check_ldflags__=0] ==> ignore
    arg [CMakeFiles/cmTC_0cf54.dir/CMakeCXXCompilerABI.cpp.o] ==> ignore
    arg [-lstdc++] ==> lib [stdc++]
    arg [-lm] ==> lib [m]
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [-lgcc] ==> lib [gcc]
    arg [-lc] ==> lib [c]
    arg [-lgcc_s] ==> lib [gcc_s]
    arg [-lgcc] ==> lib [gcc]
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/crtendS.o] ==> ignore
    arg [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64/crtn.o] ==> ignore
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../lib64] ==> [/usr/lib64]
  collapse library dir [/lib/../lib64] ==> [/lib64]
  collapse library dir [/usr/lib/../lib64] ==> [/usr/lib64]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../../../x86_64-pc-linux-gnu/lib] ==> [/usr/x86_64-pc-linux-gnu/lib]
  collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0/../../..] ==> [/usr/lib]
  implicit libs: [stdc++;m;gcc_s;gcc;c;gcc_s;gcc]
  implicit dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/10.2.0;/usr/lib64;/lib64;/usr/x86_64-pc-linux-gnu/lib;/usr/lib]
  implicit fwks: []


Performing C SOURCE FILE Test HAVE_FLAG_Wall succeeded with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_e6e46/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_e6e46.dir/build.make CMakeFiles/cmTC_e6e46.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_e6e46.dir/src.c.o
/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_Wall   -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color    -Wall -o CMakeFiles/cmTC_e6e46.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp/src.c
Linking C executable cmTC_e6e46
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_e6e46.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0  -rdynamic CMakeFiles/cmTC_e6e46.dir/src.c.o -o cmTC_e6e46 
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'


Source file was:
int main(void) { return 0; }
Performing C SOURCE FILE Test HAVE_FLAG_fexceptions succeeded with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_cd3ec/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_cd3ec.dir/build.make CMakeFiles/cmTC_cd3ec.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_cd3ec.dir/src.c.o
/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_fexceptions   -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color -Wall    -fexceptions -o CMakeFiles/cmTC_cd3ec.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp/src.c
Linking C executable cmTC_cd3ec
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_cd3ec.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wall  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0  -rdynamic CMakeFiles/cmTC_cd3ec.dir/src.c.o -o cmTC_cd3ec 
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'


Source file was:
int main(void) { return 0; }
Performing C SOURCE FILE Test HAVE_FLAG_Wno_deprecated succeeded with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_20c2c/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_20c2c.dir/build.make CMakeFiles/cmTC_20c2c.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building C object CMakeFiles/cmTC_20c2c.dir/src.c.o
/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_Wno_deprecated   -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color -Wall -fexceptions    -Wno-deprecated -o CMakeFiles/cmTC_20c2c.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp/src.c
Linking C executable cmTC_20c2c
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_20c2c.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-gcc -O2 -pipe -march=native -fno-diagnostics-color -Wall -fexceptions  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0  -rdynamic CMakeFiles/cmTC_20c2c.dir/src.c.o -o cmTC_20c2c 
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'


Source file was:
int main(void) { return 0; }
Performing C++ SOURCE FILE Test HAVE_FLAG_Wsuggest_override succeeded with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_9564a/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_9564a.dir/build.make CMakeFiles/cmTC_9564a.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_9564a.dir/src.cxx.o
/usr/bin/x86_64-pc-linux-gnu-g++ -DHAVE_FLAG_Wsuggest_override   -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color -Wall -Wno-deprecated    -Wsuggest-override -o CMakeFiles/cmTC_9564a.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp/src.cxx
Linking CXX executable cmTC_9564a
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_9564a.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Wall -Wno-deprecated  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0  -rdynamic CMakeFiles/cmTC_9564a.dir/src.cxx.o -o cmTC_9564a 
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'


Source file was:
int main() { return 0; }
Performing C++ SOURCE FILE Test HAVE_FLAG_Wnon_virtual_dtor succeeded with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_dfc6c/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_dfc6c.dir/build.make CMakeFiles/cmTC_dfc6c.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_dfc6c.dir/src.cxx.o
/usr/bin/x86_64-pc-linux-gnu-g++ -DHAVE_FLAG_Wnon_virtual_dtor   -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color -Wall -Wno-deprecated -Wsuggest-override    -Wnon-virtual-dtor -o CMakeFiles/cmTC_dfc6c.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp/src.cxx
Linking CXX executable cmTC_dfc6c
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_dfc6c.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Wall -Wno-deprecated -Wsuggest-override  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0  -rdynamic CMakeFiles/cmTC_dfc6c.dir/src.cxx.o -o cmTC_dfc6c 
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'


Source file was:
int main() { return 0; }
Performing C++ SOURCE FILE Test HAVE_FLAG_Wno_class_memaccess succeeded with the following output:
Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp

Run Build Command(s):/usr/bin/gmake cmTC_c7651/fast && /usr/bin/gmake  -f CMakeFiles/cmTC_c7651.dir/build.make CMakeFiles/cmTC_c7651.dir/build
gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'
Building CXX object CMakeFiles/cmTC_c7651.dir/src.cxx.o
/usr/bin/x86_64-pc-linux-gnu-g++ -DHAVE_FLAG_Wno_class_memaccess   -DNDEBUG -O2 -pipe -march=native -fno-diagnostics-color -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor    -Wno-class-memaccess -o CMakeFiles/cmTC_c7651.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp/src.cxx
Linking CXX executable cmTC_c7651
/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_c7651.dir/link.txt --verbose=1
/usr/bin/x86_64-pc-linux-gnu-g++ -O2 -pipe -march=native -fno-diagnostics-color -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor  -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0  -rdynamic CMakeFiles/cmTC_c7651.dir/src.cxx.o -o cmTC_c7651 
gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.7/work/cvc4-1.7_build/CMakeFiles/CMakeTmp'


Source file was:
int main() { return 0; }