Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 765123 Details for
Bug 833362
sci-mathematics/cvc4-1.8-r1 - CMake Error at .../CMakeLists.txt:11 (message):
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
CMakeOutput.log
CMakeOutput.log (text/plain), 76.81 KB, created by
Toralf Förster
on 2022-02-14 20:57:21 UTC
(
hide
)
Description:
CMakeOutput.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2022-02-14 20:57:21 UTC
Size:
76.81 KB
patch
obsolete
>The system is: Linux - 5.16.8 - x86_64 >Compiling the C compiler identification source file "CMakeCCompilerId.c" succeeded. >Compiler: /usr/bin/x86_64-pc-linux-gnu-gcc >Build flags: -pipe;-march=native;-fno-diagnostics-color;-O2 >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.8-r1/work/cvc4-1.8_build/CMakeFiles/3.22.2/CompilerIdC/a.out" > >Compiling the CXX compiler identification source file "CMakeCXXCompilerId.cpp" succeeded. >Compiler: /usr/bin/x86_64-pc-linux-gnu-g++ >Build flags: -pipe;-march=native;-fno-diagnostics-color;-O2 >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.8-r1/work/cvc4-1.8_build/CMakeFiles/3.22.2/CompilerIdCXX/a.out" > >Detecting C compiler ABI info compiled with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_9729d/fast && /usr/bin/gmake -f CMakeFiles/cmTC_9729d.dir/build.make CMakeFiles/cmTC_9729d.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -v -o CMakeFiles/cmTC_9729d.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-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c,c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp >Thread model: posix >Supported LTO compression algorithms: zlib >gcc version 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o' '-c' '-dumpdir' 'CMakeFiles/cmTC_9729d.dir/' > /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/cc1 -quiet -v /usr/share/cmake/Modules/CMakeCCompilerABI.c -march=znver3 -mmmx -mpopcnt -msse -msse2 -msse3 -mssse3 -msse4.1 -msse4.2 -mavx -mavx2 -msse4a -mno-fma4 -mno-xop -mfma -mno-avx512f -mbmi -mbmi2 -maes -mpclmul -mno-avx512vl -mno-avx512bw -mno-avx512dq -mno-avx512cd -mno-avx512er -mno-avx512pf -mno-avx512vbmi -mno-avx512ifma -mno-avx5124vnniw -mno-avx5124fmaps -mno-avx512vpopcntdq -mno-avx512vbmi2 -mno-gfni -mvpclmulqdq -mno-avx512vnni -mno-avx512bitalg -mno-avx512bf16 -mno-avx512vp2intersect -mno-3dnow -madx -mabm -mno-cldemote -mclflushopt -mclwb -mclzero -mcx16 -mno-enqcmd -mf16c -mfsgsbase -mfxsr -mno-hle -msahf -mno-lwp -mlzcnt -mmovbe -mno-movdir64b -mno-movdiri -mmwaitx -mno-pconfig -mpku -mno-prefetchwt1 -mprfchw -mno-ptwrite -mrdpid -mrdrnd -mrdseed -mno-rtm -mno-serialize -mno-sgx -msha -mshstk -mno-tbm -mno-tsxldtrk -mvaes -mno-waitpkg -mwbnoinvd -mxsave -mxsavec -mxsaveopt -mxsaves -mno-amx-tile -mno-amx-int8 -mno-amx-bf16 -mno-uintr -mno-hreset -mno-kl -mno-widekl -mno-avxvnni --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=512 -mtune=znver3 -quiet -dumpdir CMakeFiles/cmTC_9729d.dir/ -dumpbase CMakeCCompilerABI.c.c -dumpbase-ext .c -O2 -version -fdiagnostics-color=never -o - | > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o >GNU C17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu) > compiled by GNU C version 11.2.1 20220115, GMP version 6.2.1, MPFR version 4.1.0-p13, 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/11.2.1/../../../../x86_64-pc-linux-gnu/include" >#include "..." search starts here: >#include <...> search starts here: > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed > /usr/include >End of search list. >GNU C17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu) > compiled by GNU C version 11.2.1 20220115, GMP version 6.2.1, MPFR version 4.1.0-p13, MPC version 1.2.1, isl version none >GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072 >GNU assembler version 2.37 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.37_p1 p2) 2.37 >Compiler executable checksum: c4848d5d4df85a05974aa3a255426489 >COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ >LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/ >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o' '-c' '-dumpdir' 'CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.' >Linking C executable cmTC_9729d >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_9729d.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o -o cmTC_9729d >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/11.2.1/lto-wrapper >Target: x86_64-pc-linux-gnu >Configured with: /var/tmp/portage/sys-devel/gcc-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c,c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp >Thread model: posix >Supported LTO compression algorithms: zlib >gcc version 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) >COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ >LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/ >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-rdynamic' '-o' 'cmTC_9729d' '-dumpdir' 'cmTC_9729d.' > /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/ccojtqZR.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 -z now -o cmTC_9729d /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_9729d.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/11.2.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-rdynamic' '-o' 'cmTC_9729d' '-dumpdir' 'cmTC_9729d.' >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_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/11.2.1/include] > add: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] > add: [/usr/include] > end of search list found > collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include] > collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] > collapse include dir [/usr/include] ==> [/usr/include] > implicit include dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp] > ignore line: [] > ignore line: [Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_9729d/fast && /usr/bin/gmake -f CMakeFiles/cmTC_9729d.dir/build.make CMakeFiles/cmTC_9729d.dir/build] > ignore line: [gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'] > ignore line: [Building C object CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o] > ignore line: [/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -v -o CMakeFiles/cmTC_9729d.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-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --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 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) ] > ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o' '-c' '-dumpdir' 'CMakeFiles/cmTC_9729d.dir/'] > ignore line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/cc1 -quiet -v /usr/share/cmake/Modules/CMakeCCompilerABI.c -march=znver3 -mmmx -mpopcnt -msse -msse2 -msse3 -mssse3 -msse4.1 -msse4.2 -mavx -mavx2 -msse4a -mno-fma4 -mno-xop -mfma -mno-avx512f -mbmi -mbmi2 -maes -mpclmul -mno-avx512vl -mno-avx512bw -mno-avx512dq -mno-avx512cd -mno-avx512er -mno-avx512pf -mno-avx512vbmi -mno-avx512ifma -mno-avx5124vnniw -mno-avx5124fmaps -mno-avx512vpopcntdq -mno-avx512vbmi2 -mno-gfni -mvpclmulqdq -mno-avx512vnni -mno-avx512bitalg -mno-avx512bf16 -mno-avx512vp2intersect -mno-3dnow -madx -mabm -mno-cldemote -mclflushopt -mclwb -mclzero -mcx16 -mno-enqcmd -mf16c -mfsgsbase -mfxsr -mno-hle -msahf -mno-lwp -mlzcnt -mmovbe -mno-movdir64b -mno-movdiri -mmwaitx -mno-pconfig -mpku -mno-prefetchwt1 -mprfchw -mno-ptwrite -mrdpid -mrdrnd -mrdseed -mno-rtm -mno-serialize -mno-sgx -msha -mshstk -mno-tbm -mno-tsxldtrk -mvaes -mno-waitpkg -mwbnoinvd -mxsave -mxsavec -mxsaveopt -mxsaves -mno-amx-tile -mno-amx-int8 -mno-amx-bf16 -mno-uintr -mno-hreset -mno-kl -mno-widekl -mno-avxvnni --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=512 -mtune=znver3 -quiet -dumpdir CMakeFiles/cmTC_9729d.dir/ -dumpbase CMakeCCompilerABI.c.c -dumpbase-ext .c -O2 -version -fdiagnostics-color=never -o - |] > ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o] > ignore line: [GNU C17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu)] > ignore line: [ compiled by GNU C version 11.2.1 20220115 GMP version 6.2.1 MPFR version 4.1.0-p13 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/11.2.1/../../../../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/11.2.1/include] > ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] > ignore line: [ /usr/include] > ignore line: [End of search list.] > ignore line: [GNU C17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu)] > ignore line: [ compiled by GNU C version 11.2.1 20220115 GMP version 6.2.1 MPFR version 4.1.0-p13 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.37 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.37_p1 p2) 2.37] > ignore line: [Compiler executable checksum: c4848d5d4df85a05974aa3a255426489] > ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/] > ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/] > ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o' '-c' '-dumpdir' 'CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.'] > ignore line: [Linking C executable cmTC_9729d] > ignore line: [/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_9729d.dir/link.txt --verbose=1] > ignore line: [/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl -O1 -Wl --as-needed -Wl --defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_9729d.dir/CMakeCCompilerABI.c.o -o cmTC_9729d ] > 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/11.2.1/lto-wrapper] > ignore line: [Target: x86_64-pc-linux-gnu] > ignore line: [Configured with: /var/tmp/portage/sys-devel/gcc-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --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 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) ] > ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/] > ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/] > ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-rdynamic' '-o' 'cmTC_9729d' '-dumpdir' 'cmTC_9729d.'] > link line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/ccojtqZR.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 -z now -o cmTC_9729d /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_9729d.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/11.2.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] > arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/collect2] ==> ignore > arg [-plugin] ==> ignore > arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/liblto_plugin.so] ==> ignore > arg [-plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/lto-wrapper] ==> ignore > arg [-plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/ccojtqZR.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 [-znow] ==> ignore > arg [-o] ==> ignore > arg [cmTC_9729d] ==> ignore > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o] > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o] > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o] > arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] > arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../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/11.2.1/../../../../x86_64-pc-linux-gnu/lib] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib] > arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../..] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../..] > arg [-O1] ==> ignore > arg [--as-needed] ==> ignore > arg [--defsym=__gentoo_check_ldflags__=0] ==> ignore > arg [CMakeFiles/cmTC_9729d.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/11.2.1/crtendS.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtendS.o] > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] > collapse obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o] ==> [/usr/lib64/Scrt1.o] > collapse obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o] ==> [/usr/lib64/crti.o] > collapse obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] ==> [/usr/lib64/crtn.o] > collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] > collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../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/11.2.1/../../../../x86_64-pc-linux-gnu/lib] ==> [/usr/x86_64-pc-linux-gnu/lib] > collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../..] ==> [/usr/lib] > implicit libs: [gcc;gcc_s;c;gcc;gcc_s] > implicit objs: [/usr/lib64/Scrt1.o;/usr/lib64/crti.o;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtendS.o;/usr/lib64/crtn.o] > implicit dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1;/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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_4c329/fast && /usr/bin/gmake -f CMakeFiles/cmTC_4c329.dir/build.make CMakeFiles/cmTC_4c329.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building CXX object CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -v -o CMakeFiles/cmTC_4c329.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-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c,c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp >Thread model: posix >Supported LTO compression algorithms: zlib >gcc version 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc' '-dumpdir' 'CMakeFiles/cmTC_4c329.dir/' > /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/cc1plus -quiet -v -D_GNU_SOURCE /usr/share/cmake/Modules/CMakeCXXCompilerABI.cpp -march=znver3 -mmmx -mpopcnt -msse -msse2 -msse3 -mssse3 -msse4.1 -msse4.2 -mavx -mavx2 -msse4a -mno-fma4 -mno-xop -mfma -mno-avx512f -mbmi -mbmi2 -maes -mpclmul -mno-avx512vl -mno-avx512bw -mno-avx512dq -mno-avx512cd -mno-avx512er -mno-avx512pf -mno-avx512vbmi -mno-avx512ifma -mno-avx5124vnniw -mno-avx5124fmaps -mno-avx512vpopcntdq -mno-avx512vbmi2 -mno-gfni -mvpclmulqdq -mno-avx512vnni -mno-avx512bitalg -mno-avx512bf16 -mno-avx512vp2intersect -mno-3dnow -madx -mabm -mno-cldemote -mclflushopt -mclwb -mclzero -mcx16 -mno-enqcmd -mf16c -mfsgsbase -mfxsr -mno-hle -msahf -mno-lwp -mlzcnt -mmovbe -mno-movdir64b -mno-movdiri -mmwaitx -mno-pconfig -mpku -mno-prefetchwt1 -mprfchw -mno-ptwrite -mrdpid -mrdrnd -mrdseed -mno-rtm -mno-serialize -mno-sgx -msha -mshstk -mno-tbm -mno-tsxldtrk -mvaes -mno-waitpkg -mwbnoinvd -mxsave -mxsavec -mxsaveopt -mxsaves -mno-amx-tile -mno-amx-int8 -mno-amx-bf16 -mno-uintr -mno-hreset -mno-kl -mno-widekl -mno-avxvnni --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=512 -mtune=znver3 -quiet -dumpdir CMakeFiles/cmTC_4c329.dir/ -dumpbase CMakeCXXCompilerABI.cpp.cpp -dumpbase-ext .cpp -O2 -version -fdiagnostics-color=never -o - | > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o >GNU C++17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu) > compiled by GNU C version 11.2.1 20220115, GMP version 6.2.1, MPFR version 4.1.0-p13, 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/11.2.1/../../../../x86_64-pc-linux-gnu/include" >#include "..." search starts here: >#include <...> search starts here: > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/x86_64-pc-linux-gnu > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/backward > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include > /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed > /usr/include >End of search list. >GNU assembler version 2.37 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.37_p1 p2) 2.37 >GNU C++17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu) > compiled by GNU C version 11.2.1 20220115, GMP version 6.2.1, MPFR version 4.1.0-p13, MPC version 1.2.1, isl version none >GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072 >Compiler executable checksum: 1cdab5983c80d07aa4ea0f2a20c7f0a7 >COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ >LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/ >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc' '-dumpdir' 'CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.' >Linking CXX executable cmTC_4c329 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_4c329.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_4c329 >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/11.2.1/lto-wrapper >Target: x86_64-pc-linux-gnu >Configured with: /var/tmp/portage/sys-devel/gcc-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c,c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --without-zstd --enable-lto --without-isl --enable-default-pie --enable-default-ssp >Thread model: posix >Supported LTO compression algorithms: zlib >gcc version 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) >COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/ >LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/ >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-rdynamic' '-o' 'cmTC_4c329' '-shared-libgcc' '-dumpdir' 'cmTC_4c329.' > /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/cc2rXL1v.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 -z now -o cmTC_4c329 /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -lgcc /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o >COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-rdynamic' '-o' 'cmTC_4c329' '-shared-libgcc' '-dumpdir' 'cmTC_4c329.' >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_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/11.2.1/include/g++-v11] > add: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/x86_64-pc-linux-gnu] > add: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/backward] > add: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include] > add: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] > add: [/usr/include] > end of search list found > collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11] > collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/x86_64-pc-linux-gnu] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/x86_64-pc-linux-gnu] > collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/backward] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/backward] > collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include] > collapse include dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] > collapse include dir [/usr/include] ==> [/usr/include] > implicit include dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/x86_64-pc-linux-gnu;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/backward;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp] > ignore line: [] > ignore line: [Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_4c329/fast && /usr/bin/gmake -f CMakeFiles/cmTC_4c329.dir/build.make CMakeFiles/cmTC_4c329.dir/build] > ignore line: [gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp'] > ignore line: [Building CXX object CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o] > ignore line: [/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -v -o CMakeFiles/cmTC_4c329.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-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --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 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) ] > ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc' '-dumpdir' 'CMakeFiles/cmTC_4c329.dir/'] > ignore line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/cc1plus -quiet -v -D_GNU_SOURCE /usr/share/cmake/Modules/CMakeCXXCompilerABI.cpp -march=znver3 -mmmx -mpopcnt -msse -msse2 -msse3 -mssse3 -msse4.1 -msse4.2 -mavx -mavx2 -msse4a -mno-fma4 -mno-xop -mfma -mno-avx512f -mbmi -mbmi2 -maes -mpclmul -mno-avx512vl -mno-avx512bw -mno-avx512dq -mno-avx512cd -mno-avx512er -mno-avx512pf -mno-avx512vbmi -mno-avx512ifma -mno-avx5124vnniw -mno-avx5124fmaps -mno-avx512vpopcntdq -mno-avx512vbmi2 -mno-gfni -mvpclmulqdq -mno-avx512vnni -mno-avx512bitalg -mno-avx512bf16 -mno-avx512vp2intersect -mno-3dnow -madx -mabm -mno-cldemote -mclflushopt -mclwb -mclzero -mcx16 -mno-enqcmd -mf16c -mfsgsbase -mfxsr -mno-hle -msahf -mno-lwp -mlzcnt -mmovbe -mno-movdir64b -mno-movdiri -mmwaitx -mno-pconfig -mpku -mno-prefetchwt1 -mprfchw -mno-ptwrite -mrdpid -mrdrnd -mrdseed -mno-rtm -mno-serialize -mno-sgx -msha -mshstk -mno-tbm -mno-tsxldtrk -mvaes -mno-waitpkg -mwbnoinvd -mxsave -mxsavec -mxsaveopt -mxsaves -mno-amx-tile -mno-amx-int8 -mno-amx-bf16 -mno-uintr -mno-hreset -mno-kl -mno-widekl -mno-avxvnni --param l1-cache-size=32 --param l1-cache-line-size=64 --param l2-cache-size=512 -mtune=znver3 -quiet -dumpdir CMakeFiles/cmTC_4c329.dir/ -dumpbase CMakeCXXCompilerABI.cpp.cpp -dumpbase-ext .cpp -O2 -version -fdiagnostics-color=never -o - |] > ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/as -v --64 -o CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o] > ignore line: [GNU C++17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu)] > ignore line: [ compiled by GNU C version 11.2.1 20220115 GMP version 6.2.1 MPFR version 4.1.0-p13 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/11.2.1/../../../../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/11.2.1/include/g++-v11] > ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/x86_64-pc-linux-gnu] > ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11/backward] > ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include] > ignore line: [ /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include-fixed] > ignore line: [ /usr/include] > ignore line: [End of search list.] > ignore line: [GNU assembler version 2.37 (x86_64-pc-linux-gnu) using BFD version (Gentoo 2.37_p1 p2) 2.37] > ignore line: [GNU C++17 (Gentoo Hardened 11.2.1_p20220115 p4) version 11.2.1 20220115 (x86_64-pc-linux-gnu)] > ignore line: [ compiled by GNU C version 11.2.1 20220115 GMP version 6.2.1 MPFR version 4.1.0-p13 MPC version 1.2.1 isl version none] > ignore line: [GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072] > ignore line: [Compiler executable checksum: 1cdab5983c80d07aa4ea0f2a20c7f0a7] > ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/] > ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/] > ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-o' 'CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o' '-c' '-shared-libgcc' '-dumpdir' 'CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.'] > ignore line: [Linking CXX executable cmTC_4c329] > ignore line: [/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_4c329.dir/link.txt --verbose=1] > ignore line: [/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wl -O1 -Wl --as-needed -Wl --defsym=__gentoo_check_ldflags__=0 -v -rdynamic CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_4c329 ] > 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/11.2.1/lto-wrapper] > ignore line: [Target: x86_64-pc-linux-gnu] > ignore line: [Configured with: /var/tmp/portage/sys-devel/gcc-11.2.1_p20220115/work/gcc-11-20220115/configure --host=x86_64-pc-linux-gnu --build=x86_64-pc-linux-gnu --prefix=/usr --bindir=/usr/x86_64-pc-linux-gnu/gcc-bin/11.2.1 --includedir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include --datadir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1 --mandir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/man --infodir=/usr/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/info --with-gxx-include-dir=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/include/g++-v11 --with-python-dir=/share/gcc-data/x86_64-pc-linux-gnu/11.2.1/python --enable-languages=c c++ --enable-obsolete --enable-secureplt --disable-werror --with-system-zlib --enable-nls --without-included-gettext --disable-libunwind-exceptions --enable-checking=release --with-bugurl=https://bugs.gentoo.org/ --with-pkgversion='Gentoo Hardened 11.2.1_p20220115 p4' --enable-esp --enable-libstdcxx-time --disable-libstdcxx-pch --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-cet --disable-systemtap --disable-valgrind-annotations --disable-vtable-verify --disable-libvtv --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 11.2.1 20220115 (Gentoo Hardened 11.2.1_p20220115 p4) ] > ignore line: [COMPILER_PATH=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/libexec/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/bin/] > ignore line: [LIBRARY_PATH=/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/:/lib/../lib64/:/usr/lib/../lib64/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib/:/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../:/lib/:/usr/lib/] > ignore line: [COLLECT_GCC_OPTIONS='-fdiagnostics-color=never' '-pipe' '-march=native' '-O2' '-v' '-rdynamic' '-o' 'cmTC_4c329' '-shared-libgcc' '-dumpdir' 'cmTC_4c329.'] > link line: [ /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/collect2 -plugin /usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/liblto_plugin.so -plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/lto-wrapper -plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/cc2rXL1v.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 -z now -o cmTC_4c329 /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib -L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../.. -O1 --as-needed --defsym=__gentoo_check_ldflags__=0 CMakeFiles/cmTC_4c329.dir/CMakeCXXCompilerABI.cpp.o -lstdc++ -lm -lgcc_s -lgcc -lc -lgcc_s -lgcc /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtendS.o /usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] > arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/collect2] ==> ignore > arg [-plugin] ==> ignore > arg [/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/liblto_plugin.so] ==> ignore > arg [-plugin-opt=/usr/libexec/gcc/x86_64-pc-linux-gnu/11.2.1/lto-wrapper] ==> ignore > arg [-plugin-opt=-fresolution=/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/temp/cc2rXL1v.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 [-znow] ==> ignore > arg [-o] ==> ignore > arg [cmTC_4c329] ==> ignore > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o] > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o] > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o] > arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] > arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../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/11.2.1/../../../../x86_64-pc-linux-gnu/lib] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../x86_64-pc-linux-gnu/lib] > arg [-L/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../..] ==> dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../..] > arg [-O1] ==> ignore > arg [--as-needed] ==> ignore > arg [--defsym=__gentoo_check_ldflags__=0] ==> ignore > arg [CMakeFiles/cmTC_4c329.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/11.2.1/crtendS.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtendS.o] > arg [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] ==> obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] > collapse obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/Scrt1.o] ==> [/usr/lib64/Scrt1.o] > collapse obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crti.o] ==> [/usr/lib64/crti.o] > collapse obj [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../lib64/crtn.o] ==> [/usr/lib64/crtn.o] > collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] ==> [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1] > collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../../../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/11.2.1/../../../../x86_64-pc-linux-gnu/lib] ==> [/usr/x86_64-pc-linux-gnu/lib] > collapse library dir [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/../../..] ==> [/usr/lib] > implicit libs: [stdc++;m;gcc_s;gcc;c;gcc_s;gcc] > implicit objs: [/usr/lib64/Scrt1.o;/usr/lib64/crti.o;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtbeginS.o;/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1/crtendS.o;/usr/lib64/crtn.o] > implicit dirs: [/usr/lib/gcc/x86_64-pc-linux-gnu/11.2.1;/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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_0907e/fast && /usr/bin/gmake -f CMakeFiles/cmTC_0907e.dir/build.make CMakeFiles/cmTC_0907e.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_0907e.dir/src.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_Wall -pipe -march=native -fno-diagnostics-color -O2 -Wall -o CMakeFiles/cmTC_0907e.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c >Linking C executable cmTC_0907e >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_0907e.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_0907e.dir/src.c.o -o cmTC_0907e >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_bc6c4/fast && /usr/bin/gmake -f CMakeFiles/cmTC_bc6c4.dir/build.make CMakeFiles/cmTC_bc6c4.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_bc6c4.dir/src.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_fexceptions -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -o CMakeFiles/cmTC_bc6c4.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c >Linking C executable cmTC_bc6c4 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_bc6c4.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_bc6c4.dir/src.c.o -o cmTC_bc6c4 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_be0a7/fast && /usr/bin/gmake -f CMakeFiles/cmTC_be0a7.dir/build.make CMakeFiles/cmTC_be0a7.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_be0a7.dir/src.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_Wno_deprecated -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -o CMakeFiles/cmTC_be0a7.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c >Linking C executable cmTC_be0a7 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_be0a7.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_be0a7.dir/src.c.o -o cmTC_be0a7 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_25b55/fast && /usr/bin/gmake -f CMakeFiles/cmTC_25b55.dir/build.make CMakeFiles/cmTC_25b55.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building CXX object CMakeFiles/cmTC_25b55.dir/src.cxx.o >/usr/bin/x86_64-pc-linux-gnu-g++ -DHAVE_FLAG_Wsuggest_override -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -o CMakeFiles/cmTC_25b55.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx >Linking CXX executable cmTC_25b55 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_25b55.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_25b55.dir/src.cxx.o -o cmTC_25b55 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_a7317/fast && /usr/bin/gmake -f CMakeFiles/cmTC_a7317.dir/build.make CMakeFiles/cmTC_a7317.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building CXX object CMakeFiles/cmTC_a7317.dir/src.cxx.o >/usr/bin/x86_64-pc-linux-gnu-g++ -DHAVE_FLAG_Wnon_virtual_dtor -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -o CMakeFiles/cmTC_a7317.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx >Linking CXX executable cmTC_a7317 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_a7317.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_a7317.dir/src.cxx.o -o cmTC_a7317 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >Source file was: >int main() { return 0; } >Performing C SOURCE FILE Test HAVE_FLAG_Wimplicit_fallthrough succeeded with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_d4a3f/fast && /usr/bin/gmake -f CMakeFiles/cmTC_d4a3f.dir/build.make CMakeFiles/cmTC_d4a3f.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_d4a3f.dir/src.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_Wimplicit_fallthrough -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -o CMakeFiles/cmTC_d4a3f.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c >Linking C executable cmTC_d4a3f >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_d4a3f.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_d4a3f.dir/src.c.o -o cmTC_d4a3f >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >Source file was: >int main(void) { return 0; } >Performing C SOURCE FILE Test HAVE_FLAG_Wshadow succeeded with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_8788a/fast && /usr/bin/gmake -f CMakeFiles/cmTC_8788a.dir/build.make CMakeFiles/cmTC_8788a.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_8788a.dir/src.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -DHAVE_FLAG_Wshadow -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -o CMakeFiles/cmTC_8788a.dir/src.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.c >Linking C executable cmTC_8788a >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_8788a.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_8788a.dir/src.c.o -o cmTC_8788a >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >Source file was: >int main(void) { 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.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_2c37c/fast && /usr/bin/gmake -f CMakeFiles/cmTC_2c37c.dir/build.make CMakeFiles/cmTC_2c37c.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building CXX object CMakeFiles/cmTC_2c37c.dir/src.cxx.o >/usr/bin/x86_64-pc-linux-gnu-g++ -DHAVE_FLAG_Wno_class_memaccess -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess -o CMakeFiles/cmTC_2c37c.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx >Linking CXX executable cmTC_2c37c >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_2c37c.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -rdynamic CMakeFiles/cmTC_2c37c.dir/src.cxx.o -o cmTC_2c37c >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >Source file was: >int main() { return 0; } >Performing C++ SOURCE FILE Test OK succeeded with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_5a1de/fast && /usr/bin/gmake -f CMakeFiles/cmTC_5a1de.dir/build.make CMakeFiles/cmTC_5a1de.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building CXX object CMakeFiles/cmTC_5a1de.dir/src.cxx.o >/usr/bin/x86_64-pc-linux-gnu-g++ -DOK -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess -o CMakeFiles/cmTC_5a1de.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx >Linking CXX executable cmTC_5a1de >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_5a1de.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_5a1de.dir/src.cxx.o -o cmTC_5a1de -lreadline -ltinfo >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >Source file was: > > #include <stdio.h> > #include <readline/readline.h> > int main() { readline(""); return 0; } > >Performing C++ SOURCE FILE Test Readline_COMPENTRY_FUNC_RETURNS_CHARPTR succeeded with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_c8634/fast && /usr/bin/gmake -f CMakeFiles/cmTC_c8634.dir/build.make CMakeFiles/cmTC_c8634.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building CXX object CMakeFiles/cmTC_c8634.dir/src.cxx.o >/usr/bin/x86_64-pc-linux-gnu-g++ -DReadline_COMPENTRY_FUNC_RETURNS_CHARPTR -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess -o CMakeFiles/cmTC_c8634.dir/src.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/src.cxx >Linking CXX executable cmTC_c8634 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_c8634.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_c8634.dir/src.cxx.o -o cmTC_c8634 -lreadline -ltinfo >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >Source file was: >#include <stdio.h> > #include <readline/readline.h> > char* foo(const char*, int) { return (char*)0; } > int main() { rl_completion_entry_function = foo; return 0; } >Determining if the include file unistd.h exists passed with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_e0bf6/fast && /usr/bin/gmake -f CMakeFiles/cmTC_e0bf6.dir/build.make CMakeFiles/cmTC_e0bf6.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_e0bf6.dir/CheckIncludeFile.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -o CMakeFiles/cmTC_e0bf6.dir/CheckIncludeFile.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckIncludeFile.c >Linking C executable cmTC_e0bf6 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_e0bf6.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_e0bf6.dir/CheckIncludeFile.c.o -o cmTC_e0bf6 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > > >Determining if the include file ext/stdio_filebuf.h exists passed with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_26429/fast && /usr/bin/gmake -f CMakeFiles/cmTC_26429.dir/build.make CMakeFiles/cmTC_26429.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building CXX object CMakeFiles/cmTC_26429.dir/CheckIncludeFile.cxx.o >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess -o CMakeFiles/cmTC_26429.dir/CheckIncludeFile.cxx.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckIncludeFile.cxx >Linking CXX executable cmTC_26429 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_26429.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-g++ -pipe -march=native -fno-diagnostics-color -O2 -Wall -Wno-deprecated -Wsuggest-override -Wnon-virtual-dtor -Wimplicit-fallthrough -Wshadow -Wno-class-memaccess -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_26429.dir/CheckIncludeFile.cxx.o -o cmTC_26429 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > > >Determining if the clock_gettime exist passed with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_71a76/fast && /usr/bin/gmake -f CMakeFiles/cmTC_71a76.dir/build.make CMakeFiles/cmTC_71a76.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_71a76.dir/CheckSymbolExists.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -o CMakeFiles/cmTC_71a76.dir/CheckSymbolExists.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c >Linking C executable cmTC_71a76 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_71a76.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_71a76.dir/CheckSymbolExists.c.o -o cmTC_71a76 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >File /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c: >/* */ >#include <time.h> > >int main(int argc, char** argv) >{ > (void)argv; >#ifndef clock_gettime > return ((int*)(&clock_gettime))[argc]; >#else > (void)argc; > return 0; >#endif >} >Determining if the ffs exist passed with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_3d073/fast && /usr/bin/gmake -f CMakeFiles/cmTC_3d073.dir/build.make CMakeFiles/cmTC_3d073.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_3d073.dir/CheckSymbolExists.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -o CMakeFiles/cmTC_3d073.dir/CheckSymbolExists.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c >Linking C executable cmTC_3d073 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_3d073.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_3d073.dir/CheckSymbolExists.c.o -o cmTC_3d073 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >File /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c: >/* */ >#include <strings.h> > >int main(int argc, char** argv) >{ > (void)argv; >#ifndef ffs > return ((int*)(&ffs))[argc]; >#else > (void)argc; > return 0; >#endif >} >Determining if the sigaltstack exist passed with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_d2ed2/fast && /usr/bin/gmake -f CMakeFiles/cmTC_d2ed2.dir/build.make CMakeFiles/cmTC_d2ed2.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_d2ed2.dir/CheckSymbolExists.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -o CMakeFiles/cmTC_d2ed2.dir/CheckSymbolExists.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c >Linking C executable cmTC_d2ed2 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_d2ed2.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_d2ed2.dir/CheckSymbolExists.c.o -o cmTC_d2ed2 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >File /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c: >/* */ >#include <signal.h> > >int main(int argc, char** argv) >{ > (void)argv; >#ifndef sigaltstack > return ((int*)(&sigaltstack))[argc]; >#else > (void)argc; > return 0; >#endif >} >Determining if the strerror_r exist passed with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_152c5/fast && /usr/bin/gmake -f CMakeFiles/cmTC_152c5.dir/build.make CMakeFiles/cmTC_152c5.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_152c5.dir/CheckSymbolExists.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -o CMakeFiles/cmTC_152c5.dir/CheckSymbolExists.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c >Linking C executable cmTC_152c5 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_152c5.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_152c5.dir/CheckSymbolExists.c.o -o cmTC_152c5 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >File /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c: >/* */ >#include <string.h> > >int main(int argc, char** argv) >{ > (void)argv; >#ifndef strerror_r > return ((int*)(&strerror_r))[argc]; >#else > (void)argc; > return 0; >#endif >} >Determining if the strtok_r exist passed with the following output: >Change Dir: /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp > >Run Build Command(s):/usr/bin/gmake -f Makefile cmTC_216e0/fast && /usr/bin/gmake -f CMakeFiles/cmTC_216e0.dir/build.make CMakeFiles/cmTC_216e0.dir/build >gmake[1]: Entering directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' >Building C object CMakeFiles/cmTC_216e0.dir/CheckSymbolExists.c.o >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -o CMakeFiles/cmTC_216e0.dir/CheckSymbolExists.c.o -c /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c >Linking C executable cmTC_216e0 >/usr/bin/cmake -E cmake_link_script CMakeFiles/cmTC_216e0.dir/link.txt --verbose=1 >/usr/bin/x86_64-pc-linux-gnu-gcc -pipe -march=native -fno-diagnostics-color -O2 -Wall -fexceptions -Wno-deprecated -Wimplicit-fallthrough -Wshadow -Wl,-O1 -Wl,--as-needed -Wl,--defsym=__gentoo_check_ldflags__=0 -fuse-ld=gold -rdynamic CMakeFiles/cmTC_216e0.dir/CheckSymbolExists.c.o -o cmTC_216e0 >gmake[1]: Leaving directory '/var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp' > > >File /var/tmp/portage/sci-mathematics/cvc4-1.8-r1/work/cvc4-1.8_build/CMakeFiles/CMakeTmp/CheckSymbolExists.c: >/* */ >#include <string.h> > >int main(int argc, char** argv) >{ > (void)argv; >#ifndef strtok_r > return ((int*)(&strtok_r))[argc]; >#else > (void)argc; > return 0; >#endif >}
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 833362
:
765121
|
765122
| 765123 |
765124
|
765125
|
765126
|
765127
|
765128
|
765129