[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] /scratch/work/math/py-z3solver/work/.tools/bin/true
<.> true 
[*] c++ -I/usr/include -I/usr/pkg/include -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 tst.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -O2 -D_FORTIFY_SOURCE=2 -std=c++11 tst.cpp -L/scratch/work/math/py-z3solver/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -fstack-protector
[*] cc -I/usr/include -I/usr/pkg/include tst.c -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/gcc -fcommon -I/scratch/work/math/py-z3solver/work/.buildlink/include tst.c -L/scratch/work/math/py-z3solver/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -D_FORTIFY_SOURCE=2 -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -Werror tstsse.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -mfpmath=sse -msse -msse2
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -Werror tstsse.cpp -L/scratch/work/math/py-z3solver/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -mfpmath=sse -msse -msse2 -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -Werror tstsse.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -msse -msse2
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -Werror tstsse.cpp -L/scratch/work/math/py-z3solver/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -msse -msse2 -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -Werror tstsse.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -mfpu=vfp -mfloat-abi=hard
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -Werror tstsse.cpp -L/scratch/work/math/py-z3solver/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -mfpu=vfp -mfloat-abi=hard -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/luby.o ../src/util/luby.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/luby.o ../src/util/luby.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src/api -I../src/tactic/portfolio -I../src/tactic/smtlogics -I../src/ackermannization -I../src/model -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/params -I../src/solver -I../src/tactic -I../src/ast/proofs -I../src/sat/sat_solver -I../src/tactic/core -I../src/ast/macros -I../src/ast/normal_forms -I../src/ast/pattern -I../src/parsers/smt2 -I../src/cmd_context -I../src/parsers/util -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/math/dd -I../src/math/interval -I../src/math/grobner -I../src/math/simplex -I../src/sat/tactic -I../src/sat/smt -I../src/ast/euf -I../src/smt/params -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/smt/proto_model -I../src/ast/substitution -I../src/ast/fpa -I../src/math/lp -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/clp -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/tactic/fd_solver -I../src/muz/ddnf -I../src/muz/spacer -I../src/tactic/ufbv -I../src/tactic/fpa -I../src/tactic/sls -I../src/math/subpaving/tactic -I../src/math/subpaving -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -I../src -oapi/dll/dll.o ../src/api/dll/dll.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src/api -I../src/tactic/portfolio -I../src/tactic/smtlogics -I../src/ackermannization -I../src/model -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/params -I../src/solver -I../src/tactic -I../src/ast/proofs -I../src/sat/sat_solver -I../src/tactic/core -I../src/ast/macros -I../src/ast/normal_forms -I../src/ast/pattern -I../src/parsers/smt2 -I../src/cmd_context -I../src/parsers/util -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/math/dd -I../src/math/interval -I../src/math/grobner -I../src/math/simplex -I../src/sat/tactic -I../src/sat/smt -I../src/ast/euf -I../src/smt/params -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/smt/proto_model -I../src/ast/substitution -I../src/ast/fpa -I../src/math/lp -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/clp -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/tactic/fd_solver -I../src/muz/ddnf -I../src/muz/spacer -I../src/tactic/ufbv -I../src/tactic/fpa -I../src/tactic/sls -I../src/math/subpaving/tactic -I../src/math/subpaving -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -I../src -oapi/dll/dll.o ../src/api/dll/dll.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/common_msgs.o ../src/util/common_msgs.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/common_msgs.o ../src/util/common_msgs.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/approx_nat.o ../src/util/approx_nat.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/approx_nat.o ../src/util/approx_nat.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src/ast/rewriter/bit_blaster -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/params -I../src/ast/macros -I../src/ast/normal_forms -I../src/cmd_context -I../src/solver -I../src/model -I../src/tactic -I../src/ast/proofs -I../src/smt/proto_model -I../src/smt/params -I../src/ast/substitution -I../src/math/grobner -I../src/math/dd -I../src/math/interval -I../src/math/simplex -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/fpa -I../src/math/lp -I../src/nlsat -I../src/sat -I../src -osmt/smt_statistics.o ../src/smt/smt_statistics.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src/ast/rewriter/bit_blaster -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/params -I../src/ast/macros -I../src/ast/normal_forms -I../src/cmd_context -I../src/solver -I../src/model -I../src/tactic -I../src/ast/proofs -I../src/smt/proto_model -I../src/smt/params -I../src/ast/substitution -I../src/math/grobner -I../src/math/dd -I../src/math/interval -I../src/math/simplex -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/fpa -I../src/math/lp -I../src/nlsat -I../src/sat -I../src -osmt/smt_statistics.o ../src/smt/smt_statistics.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/memory_manager.o ../src/util/memory_manager.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/memory_manager.o ../src/util/memory_manager.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/z3_exception.o ../src/util/z3_exception.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/z3_exception.o ../src/util/z3_exception.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/page.o ../src/util/page.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/page.o ../src/util/page.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/util.o ../src/util/util.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/util.o ../src/util/util.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/scoped_timer.o ../src/util/scoped_timer.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/scoped_timer.o ../src/util/scoped_timer.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/bit_util.o ../src/util/bit_util.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/bit_util.o ../src/util/bit_util.cpp -fstack-protector
[*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/timeout.o ../src/util/timeout.cpp
<.> /scratch/work/math/py-z3solver/work/.gcc/bin/g++ -I/scratch/work/math/py-z3solver/work/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -O3 -D_NETBSD_ -I../src -outil/timeout.o ../src/util/timeout.cpp -fstack-protector