[*] /home/pbuild/work/math/cadical/work/.tools/bin/mkdir build
<.> /usr/bin/mkdir -p build
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -Werror -pedantic -o ./configure-hello-world.exe ./configure-hello-world.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -Werror -pedantic -o ./configure-hello-world.exe ./configure-hello-world.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -lumem
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -Werror -pedantic -o ./configure-requires-c++11.exe ./configure-requires-c++11.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -Werror -pedantic -o ./configure-requires-c++11.exe ./configure-requires-c++11.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -lumem
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -o ./configure-have-flexible-array-members.exe ./configure-have-flexible-array-members.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -o ./configure-have-flexible-array-members.exe ./configure-have-flexible-array-members.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -lumem
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -o ./configure-have-unlocked-io.exe ./configure-have-unlocked-io.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -o ./configure-have-unlocked-io.exe ./configure-have-unlocked-io.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -lumem
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -o ./configure-have-closefrom.exe ./configure-have-closefrom.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -o ./configure-have-closefrom.exe ./configure-have-closefrom.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -lumem
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/analyze.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/analyze.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/arena.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/arena.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/assume.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/assume.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/averages.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/averages.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/backtrack.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/backtrack.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/backward.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/backward.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/bins.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/bins.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/block.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/block.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ccadical.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ccadical.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/checker.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/checker.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/clause.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/clause.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/collect.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/collect.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/compact.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/compact.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/condition.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/condition.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/config.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/config.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/constrain.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/constrain.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/contract.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/contract.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/cover.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/cover.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/decide.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/decide.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/decompose.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/decompose.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/deduplicate.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/deduplicate.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/drattracer.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/drattracer.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/elim.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/elim.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ema.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ema.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/extend.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/extend.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/external.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/external.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/external_propagate.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/external_propagate.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/file.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/file.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/flags.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/flags.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/flip.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/flip.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/format.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/format.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/frattracer.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/frattracer.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/gates.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/gates.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/idruptracer.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/idruptracer.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/instantiate.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/instantiate.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/internal.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/internal.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ipasir.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ipasir.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lidruptracer.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lidruptracer.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/limit.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/limit.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/logging.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/logging.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lookahead.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lookahead.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lratbuilder.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lratbuilder.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lratchecker.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lratchecker.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lrattracer.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lrattracer.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lucky.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/lucky.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/message.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/message.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/minimize.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/minimize.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/occs.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/occs.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/options.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/options.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/parse.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/parse.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/phases.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/phases.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/probe.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/probe.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/profile.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/profile.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/proof.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/proof.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/propagate.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/propagate.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/queue.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/queue.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/random.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/random.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/reap.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/reap.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/reduce.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/reduce.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/rephase.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/rephase.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/report.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/report.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/resources.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/resources.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/restart.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/restart.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/restore.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/restore.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/score.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/score.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/shrink.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/shrink.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/signal.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/signal.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/solution.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/solution.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/solver.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/solver.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/stats.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/stats.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/subsume.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/subsume.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/terminal.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/terminal.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ternary.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/ternary.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/transred.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/transred.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/util.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/util.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/var.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/var.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/veripbtracer.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/veripbtracer.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ --version
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 --version -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -I/home/pbuild/work/math/cadical/work/.buildlink/include
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/vivify.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/vivify.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/walk.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/walk.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/watch.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/watch.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../contrib/craigtracer.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../contrib/craigtracer.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/cadical.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/cadical.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/mobical.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/mobical.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/version.cpp
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -c ../src/version.cpp -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -o cadical cadical.o -L. -lcadical
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -o cadical cadical.o -L. -lcadical -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -lumem
[*] c++ -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/opt/local/include -I/usr/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -o mobical mobical.o -L. -lcadical
<.> /home/pbuild/work/math/cadical/work/.gcc/bin/g++ -m64 -fstack-protector-strong -D_FORTIFY_SOURCE=2 -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -I/home/pbuild/work/math/cadical/work/.buildlink/include -Wall -Wextra -O3 -DNDEBUG -DNCLOSEFROM -I../build -I../src -o mobical mobical.o -L. -lcadical -specs=/home/pbuild/work/math/cadical/work/.cwrapper/specs.pkgsrc -lumem