[*] /home/pbulk/build/math/z3/work/.tools/bin/gzip -cd /nfs/distfiles//z3-4.13.0.tar.gz
<.> /bin/gzip -nf -9 -cd /nfs/distfiles//z3-4.13.0.tar.gz
[*] c++ -pipe -O2 -I/usr/include CMakeCXXCompilerId.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 CMakeCXXCompilerId.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -print-sysroot
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -print-sysroot -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] c++ -pipe -O2 -I/usr/include -v -o CMakeFiles/cmTC_df3ce.dir/CMakeCXXCompilerABI.cpp.o -c /usr/pkg/share/cmake-3.31/Modules/CMakeCXXCompilerABI.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -v -o CMakeFiles/cmTC_df3ce.dir/CMakeCXXCompilerABI.cpp.o -c /usr/pkg/share/cmake-3.31/Modules/CMakeCXXCompilerABI.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -pipe -O2 -I/usr/include -Wl,-zrelro -L/usr/lib64 -Wl,-R/usr/lib64 -Wl,-R/usr/pkg/lib -v -Wl,-v CMakeFiles/cmTC_df3ce.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_df3ce
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib -v -Wl,-v CMakeFiles/cmTC_df3ce.dir/CMakeCXXCompilerABI.cpp.o -o cmTC_df3ce -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] ld --help
<.> ld --help
[*] c++ -pipe -O2 -I/usr/include -o CMakeFiles/cmTC_0b53f.dir/target_arch_detect.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake/target_arch_detect.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -o CMakeFiles/cmTC_0b53f.dir/target_arch_detect.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake/target_arch_detect.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] c++ -DHAS_SSE2 -pipe -O2 -I/usr/include -std=gnu++17 -mfpmath=sse -msse -msse2 -o CMakeFiles/cmTC_f7cac.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-S9Amyc/src.cxx
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -DHAS_SSE2 -pipe -O2 -std=gnu++17 -mfpmath=sse -msse -msse2 -o CMakeFiles/cmTC_f7cac.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-S9Amyc/src.cxx -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -pipe -O2 -I/usr/include -Wl,-zrelro -L/usr/lib64 -Wl,-R/usr/lib64 -Wl,-R/usr/pkg/lib CMakeFiles/cmTC_f7cac.dir/src.cxx.o -o cmTC_f7cac
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib CMakeFiles/cmTC_f7cac.dir/src.cxx.o -o cmTC_f7cac -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] c++ -DCMAKE_HAVE_LIBC_PTHREAD -pipe -O2 -I/usr/include -std=gnu++17 -o CMakeFiles/cmTC_7fa8f.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-BiKla6/src.cxx
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -DCMAKE_HAVE_LIBC_PTHREAD -pipe -O2 -std=gnu++17 -o CMakeFiles/cmTC_7fa8f.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-BiKla6/src.cxx -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -pipe -O2 -I/usr/include -Wl,-zrelro -L/usr/lib64 -Wl,-R/usr/lib64 -Wl,-R/usr/pkg/lib CMakeFiles/cmTC_7fa8f.dir/src.cxx.o -o cmTC_7fa8f
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib CMakeFiles/cmTC_7fa8f.dir/src.cxx.o -o cmTC_7fa8f -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] c++ -DHAS__Wall -pipe -O2 -I/usr/include -std=gnu++17 -Wall -o CMakeFiles/cmTC_cb1cd.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-hdFpV8/src.cxx
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -DHAS__Wall -pipe -O2 -std=gnu++17 -Wall -o CMakeFiles/cmTC_cb1cd.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-hdFpV8/src.cxx -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -pipe -O2 -I/usr/include -Wl,-zrelro -L/usr/lib64 -Wl,-R/usr/lib64 -Wl,-R/usr/pkg/lib CMakeFiles/cmTC_cb1cd.dir/src.cxx.o -o cmTC_cb1cd
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib CMakeFiles/cmTC_cb1cd.dir/src.cxx.o -o cmTC_cb1cd -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] c++ -DHAS__Werror_odr -pipe -O2 -I/usr/include -std=gnu++17 -Werror=odr -o CMakeFiles/cmTC_29b32.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-s9AL5J/src.cxx
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -DHAS__Werror_odr -pipe -O2 -std=gnu++17 -Werror=odr -o CMakeFiles/cmTC_29b32.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-s9AL5J/src.cxx -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -pipe -O2 -I/usr/include -Wl,-zrelro -L/usr/lib64 -Wl,-R/usr/lib64 -Wl,-R/usr/pkg/lib CMakeFiles/cmTC_29b32.dir/src.cxx.o -o cmTC_29b32
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib CMakeFiles/cmTC_29b32.dir/src.cxx.o -o cmTC_29b32 -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] c++ -DHAS__Werror_return_type -pipe -O2 -I/usr/include -Werror=odr -std=gnu++17 -Werror=return-type -o CMakeFiles/cmTC_20c69.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-Uicq0u/src.cxx
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -DHAS__Werror_return_type -pipe -O2 -Werror=odr -std=gnu++17 -Werror=return-type -o CMakeFiles/cmTC_20c69.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-Uicq0u/src.cxx -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -pipe -O2 -I/usr/include -Werror=odr -Wl,-zrelro -L/usr/lib64 -Wl,-R/usr/lib64 -Wl,-R/usr/pkg/lib CMakeFiles/cmTC_20c69.dir/src.cxx.o -o cmTC_20c69
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -Werror=odr -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib CMakeFiles/cmTC_20c69.dir/src.cxx.o -o cmTC_20c69 -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] ld --help
<.> ld --help
[*] c++ -DBUILTIN_ATOMIC -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -std=gnu++17 -o CMakeFiles/cmTC_f0562.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-ty6M6g/src.cxx
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -DBUILTIN_ATOMIC -pipe -O2 -Werror=odr -Werror=return-type -std=gnu++17 -o CMakeFiles/cmTC_f0562.dir/src.cxx.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/CMakeFiles/CMakeScratch/TryCompile-ty6M6g/src.cxx -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -Wl,-zrelro -L/usr/lib64 -Wl,-R/usr/lib64 -Wl,-R/usr/pkg/lib CMakeFiles/cmTC_f0562.dir/src.cxx.o -o cmTC_f0562
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -pipe -O2 -Werror=odr -Werror=return-type -Wl,-zrelro -Wl,-rpath,/usr/pkg/lib CMakeFiles/cmTC_f0562.dir/src.cxx.o -o cmTC_f0562 -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/approx_nat.cpp.o -MF CMakeFiles/util.dir/approx_nat.cpp.o.d -o CMakeFiles/util.dir/approx_nat.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/approx_nat.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/approx_nat.cpp.o -MF CMakeFiles/util.dir/approx_nat.cpp.o.d -o CMakeFiles/util.dir/approx_nat.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/approx_nat.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/approx_set.cpp.o -MF CMakeFiles/util.dir/approx_set.cpp.o.d -o CMakeFiles/util.dir/approx_set.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/approx_set.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/approx_set.cpp.o -MF CMakeFiles/util.dir/approx_set.cpp.o.d -o CMakeFiles/util.dir/approx_set.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/approx_set.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/bit_util.cpp.o -MF CMakeFiles/util.dir/bit_util.cpp.o.d -o CMakeFiles/util.dir/bit_util.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/bit_util.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/bit_util.cpp.o -MF CMakeFiles/util.dir/bit_util.cpp.o.d -o CMakeFiles/util.dir/bit_util.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/bit_util.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/bit_vector.cpp.o -MF CMakeFiles/util.dir/bit_vector.cpp.o.d -o CMakeFiles/util.dir/bit_vector.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/bit_vector.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/bit_vector.cpp.o -MF CMakeFiles/util.dir/bit_vector.cpp.o.d -o CMakeFiles/util.dir/bit_vector.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/bit_vector.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/cmd_context_types.cpp.o -MF CMakeFiles/util.dir/cmd_context_types.cpp.o.d -o CMakeFiles/util.dir/cmd_context_types.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/cmd_context_types.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/cmd_context_types.cpp.o -MF CMakeFiles/util.dir/cmd_context_types.cpp.o.d -o CMakeFiles/util.dir/cmd_context_types.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/cmd_context_types.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/common_msgs.cpp.o -MF CMakeFiles/util.dir/common_msgs.cpp.o.d -o CMakeFiles/util.dir/common_msgs.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/common_msgs.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/common_msgs.cpp.o -MF CMakeFiles/util.dir/common_msgs.cpp.o.d -o CMakeFiles/util.dir/common_msgs.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/common_msgs.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/debug.cpp.o -MF CMakeFiles/util.dir/debug.cpp.o.d -o CMakeFiles/util.dir/debug.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/debug.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/debug.cpp.o -MF CMakeFiles/util.dir/debug.cpp.o.d -o CMakeFiles/util.dir/debug.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/debug.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/env_params.cpp.o -MF CMakeFiles/util.dir/env_params.cpp.o.d -o CMakeFiles/util.dir/env_params.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/env_params.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/env_params.cpp.o -MF CMakeFiles/util.dir/env_params.cpp.o.d -o CMakeFiles/util.dir/env_params.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/env_params.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/fixed_bit_vector.cpp.o -MF CMakeFiles/util.dir/fixed_bit_vector.cpp.o.d -o CMakeFiles/util.dir/fixed_bit_vector.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/fixed_bit_vector.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/fixed_bit_vector.cpp.o -MF CMakeFiles/util.dir/fixed_bit_vector.cpp.o.d -o CMakeFiles/util.dir/fixed_bit_vector.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/fixed_bit_vector.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/gparams.cpp.o -MF CMakeFiles/util.dir/gparams.cpp.o.d -o CMakeFiles/util.dir/gparams.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/gparams.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/gparams.cpp.o -MF CMakeFiles/util.dir/gparams.cpp.o.d -o CMakeFiles/util.dir/gparams.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/gparams.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/hash.cpp.o -MF CMakeFiles/util.dir/hash.cpp.o.d -o CMakeFiles/util.dir/hash.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/hash.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/hash.cpp.o -MF CMakeFiles/util.dir/hash.cpp.o.d -o CMakeFiles/util.dir/hash.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/hash.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/hwf.cpp.o -MF CMakeFiles/util.dir/hwf.cpp.o.d -o CMakeFiles/util.dir/hwf.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/hwf.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/hwf.cpp.o -MF CMakeFiles/util.dir/hwf.cpp.o.d -o CMakeFiles/util.dir/hwf.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/hwf.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/inf_int_rational.cpp.o -MF CMakeFiles/util.dir/inf_int_rational.cpp.o.d -o CMakeFiles/util.dir/inf_int_rational.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/inf_int_rational.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/inf_int_rational.cpp.o -MF CMakeFiles/util.dir/inf_int_rational.cpp.o.d -o CMakeFiles/util.dir/inf_int_rational.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/inf_int_rational.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/inf_rational.cpp.o -MF CMakeFiles/util.dir/inf_rational.cpp.o.d -o CMakeFiles/util.dir/inf_rational.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/inf_rational.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/inf_rational.cpp.o -MF CMakeFiles/util.dir/inf_rational.cpp.o.d -o CMakeFiles/util.dir/inf_rational.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/inf_rational.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o -MF CMakeFiles/util.dir/inf_s_integer.cpp.o.d -o CMakeFiles/util.dir/inf_s_integer.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/inf_s_integer.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/inf_s_integer.cpp.o -MF CMakeFiles/util.dir/inf_s_integer.cpp.o.d -o CMakeFiles/util.dir/inf_s_integer.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/inf_s_integer.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/lbool.cpp.o -MF CMakeFiles/util.dir/lbool.cpp.o.d -o CMakeFiles/util.dir/lbool.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/lbool.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/lbool.cpp.o -MF CMakeFiles/util.dir/lbool.cpp.o.d -o CMakeFiles/util.dir/lbool.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/lbool.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/luby.cpp.o -MF CMakeFiles/util.dir/luby.cpp.o.d -o CMakeFiles/util.dir/luby.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/luby.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/luby.cpp.o -MF CMakeFiles/util.dir/luby.cpp.o.d -o CMakeFiles/util.dir/luby.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/luby.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/memory_manager.cpp.o -MF CMakeFiles/util.dir/memory_manager.cpp.o.d -o CMakeFiles/util.dir/memory_manager.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/memory_manager.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/memory_manager.cpp.o -MF CMakeFiles/util.dir/memory_manager.cpp.o.d -o CMakeFiles/util.dir/memory_manager.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/memory_manager.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/min_cut.cpp.o -MF CMakeFiles/util.dir/min_cut.cpp.o.d -o CMakeFiles/util.dir/min_cut.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/min_cut.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/min_cut.cpp.o -MF CMakeFiles/util.dir/min_cut.cpp.o.d -o CMakeFiles/util.dir/min_cut.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/min_cut.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpbq.cpp.o -MF CMakeFiles/util.dir/mpbq.cpp.o.d -o CMakeFiles/util.dir/mpbq.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpbq.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpbq.cpp.o -MF CMakeFiles/util.dir/mpbq.cpp.o.d -o CMakeFiles/util.dir/mpbq.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpbq.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpf.cpp.o -MF CMakeFiles/util.dir/mpf.cpp.o.d -o CMakeFiles/util.dir/mpf.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpf.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpf.cpp.o -MF CMakeFiles/util.dir/mpf.cpp.o.d -o CMakeFiles/util.dir/mpf.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpf.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpff.cpp.o -MF CMakeFiles/util.dir/mpff.cpp.o.d -o CMakeFiles/util.dir/mpff.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpff.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpff.cpp.o -MF CMakeFiles/util.dir/mpff.cpp.o.d -o CMakeFiles/util.dir/mpff.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpff.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpfx.cpp.o -MF CMakeFiles/util.dir/mpfx.cpp.o.d -o CMakeFiles/util.dir/mpfx.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpfx.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpfx.cpp.o -MF CMakeFiles/util.dir/mpfx.cpp.o.d -o CMakeFiles/util.dir/mpfx.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpfx.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpn.cpp.o -MF CMakeFiles/util.dir/mpn.cpp.o.d -o CMakeFiles/util.dir/mpn.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpn.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpn.cpp.o -MF CMakeFiles/util.dir/mpn.cpp.o.d -o CMakeFiles/util.dir/mpn.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpn.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpq.cpp.o -MF CMakeFiles/util.dir/mpq.cpp.o.d -o CMakeFiles/util.dir/mpq.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpq.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpq.cpp.o -MF CMakeFiles/util.dir/mpq.cpp.o.d -o CMakeFiles/util.dir/mpq.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpq.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpq_inf.cpp.o -MF CMakeFiles/util.dir/mpq_inf.cpp.o.d -o CMakeFiles/util.dir/mpq_inf.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpq_inf.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpq_inf.cpp.o -MF CMakeFiles/util.dir/mpq_inf.cpp.o.d -o CMakeFiles/util.dir/mpq_inf.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpq_inf.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpz.cpp.o -MF CMakeFiles/util.dir/mpz.cpp.o.d -o CMakeFiles/util.dir/mpz.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpz.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/mpz.cpp.o -MF CMakeFiles/util.dir/mpz.cpp.o.d -o CMakeFiles/util.dir/mpz.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/mpz.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/page.cpp.o -MF CMakeFiles/util.dir/page.cpp.o.d -o CMakeFiles/util.dir/page.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/page.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/page.cpp.o -MF CMakeFiles/util.dir/page.cpp.o.d -o CMakeFiles/util.dir/page.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/page.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/params.cpp.o -MF CMakeFiles/util.dir/params.cpp.o.d -o CMakeFiles/util.dir/params.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/params.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/params.cpp.o -MF CMakeFiles/util.dir/params.cpp.o.d -o CMakeFiles/util.dir/params.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/params.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/permutation.cpp.o -MF CMakeFiles/util.dir/permutation.cpp.o.d -o CMakeFiles/util.dir/permutation.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/permutation.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/permutation.cpp.o -MF CMakeFiles/util.dir/permutation.cpp.o.d -o CMakeFiles/util.dir/permutation.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/permutation.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/prime_generator.cpp.o -MF CMakeFiles/util.dir/prime_generator.cpp.o.d -o CMakeFiles/util.dir/prime_generator.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/prime_generator.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/prime_generator.cpp.o -MF CMakeFiles/util.dir/prime_generator.cpp.o.d -o CMakeFiles/util.dir/prime_generator.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/prime_generator.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include
[*] c++ -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -I/usr/include -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/rational.cpp.o -MF CMakeFiles/util.dir/rational.cpp.o.d -o CMakeFiles/util.dir/rational.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/rational.cpp
<.> /home/pbulk/build/math/z3/work/.gcc/bin/g++ -m64 -D_FORTIFY_SOURCE=2 -Wl,-zrelro -D_EXTERNAL_RELEASE -D_MP_INTERNAL -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/cmake-pkgsrc-build/src -I/home/pbulk/build/math/z3/work/z3-z3-4.13.0/src -pipe -O2 -Werror=odr -Werror=return-type -O2 -g -DNDEBUG -std=gnu++17 -fPIC -fvisibility=hidden -fvisibility-inlines-hidden -mfpmath=sse -msse -msse2 -Wall -MD -MT src/util/CMakeFiles/util.dir/rational.cpp.o -MF CMakeFiles/util.dir/rational.cpp.o.d -o CMakeFiles/util.dir/rational.cpp.o -c /home/pbulk/build/math/z3/work/z3-z3-4.13.0/src/util/rational.cpp -I/home/pbulk/build/math/z3/work/.buildlink/include