[*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] as -o hello.o /tmp/camlasm855866.s <.> as -o hello.o /tmp/camlasm855866.s [*] as -o /tmp/camlstartupe5ac3c.o /tmp/camlstartupbcb60d.s <.> as -o /tmp/camlstartupe5ac3c.o /tmp/camlstartupbcb60d.s [*] cc -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o a.out -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartupe5ac3c.o /usr/pkg/lib/ocaml/std_exit.o hello.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -lm <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/gcc -fcommon -O2 -fno-strict-aliasing -fwrapv -Wall -Wdeclaration-after-statement -fno-common -fexcess-precision=standard -fPIC -D_FILE_OFFSET_BITS=64 -D_REENTRANT -DCAML_NAME_SPACE -Wl,-E -o a.out -L/usr/pkg/lib/ocaml -O2 -D_FORTIFY_SOURCE=2 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -L/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartupe5ac3c.o /usr/pkg/lib/ocaml/std_exit.o hello.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -lm -D_FORTIFY_SOURCE=2 -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include tst.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -O2 -D_FORTIFY_SOURCE=2 tst.cpp -L/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -fstack-protector [*] cc -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include tst.c -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/gcc -fcommon -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include tst.c -L/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -D_FORTIFY_SOURCE=2 -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL tstsse.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -mfpmath=sse -msse -msse2 <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL tstsse.cpp -L/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -mfpmath=sse -msse -msse2 -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL tstsse.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -msse -msse2 <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL tstsse.cpp -L/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -msse -msse2 -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL tstsse.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -mfpu=vfp -mfloat-abi=hard <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL tstsse.cpp -L/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -mfpu=vfp -mfloat-abi=hard -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL tstomp.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib -fopenmp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL tstomp.cpp -L/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -fopenmp -fstack-protector [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] /tmp/pbulkbuild/math/z3/work.earmv6hf/.tools/bin/true <.> true [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/luby.o ../src/util/luby.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/luby.o ../src/util/luby.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -I../src -oapi/dll/dll.o ../src/api/dll/dll.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -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/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/common_msgs.o ../src/util/common_msgs.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/common_msgs.o ../src/util/common_msgs.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/approx_nat.o ../src/util/approx_nat.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/approx_nat.o ../src/util/approx_nat.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -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/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/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/lp -I../src/nlsat -I../src/sat -I../src -osmt/smt_statistics.o ../src/smt/smt_statistics.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -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/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/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/cooperate.o ../src/util/cooperate.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/cooperate.o ../src/util/cooperate.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/z3_exception.o ../src/util/z3_exception.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/z3_exception.o ../src/util/z3_exception.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/memory_manager.o ../src/util/memory_manager.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/memory_manager.o ../src/util/memory_manager.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/timeit.o ../src/util/timeit.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/timeit.o ../src/util/timeit.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/approx_set.o ../src/util/approx_set.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/approx_set.o ../src/util/approx_set.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/bit_util.o ../src/util/bit_util.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/bit_util.o ../src/util/bit_util.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/scoped_timer.o ../src/util/scoped_timer.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/scoped_timer.o ../src/util/scoped_timer.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/timeout.o ../src/util/timeout.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/timeout.o ../src/util/timeout.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/timer.o ../src/util/timer.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/timer.o ../src/util/timer.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/util.o ../src/util/util.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/util.o ../src/util/util.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/page.o ../src/util/page.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/page.o ../src/util/page.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/api_log.o ../src/api/api_log.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/api_log.o ../src/api/api_log.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/api_commands.o ../src/api/api_commands.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/api_commands.o ../src/api/api_commands.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -I../src -oshell/z3_log_frontend.o ../src/shell/z3_log_frontend.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -I../src -oshell/z3_log_frontend.o ../src/shell/z3_log_frontend.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/fixed_bit_vector.o ../src/util/fixed_bit_vector.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/fixed_bit_vector.o ../src/util/fixed_bit_vector.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/hash.o ../src/util/hash.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/hash.o ../src/util/hash.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/lbool.o ../src/util/lbool.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/lbool.o ../src/util/lbool.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/scoped_ctrl_c.o ../src/util/scoped_ctrl_c.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/scoped_ctrl_c.o ../src/util/scoped_ctrl_c.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/mpn.o ../src/util/mpn.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/mpn.o ../src/util/mpn.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/stack.o ../src/util/stack.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/stack.o ../src/util/stack.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/small_object_allocator.o ../src/util/small_object_allocator.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/small_object_allocator.o ../src/util/small_object_allocator.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/warning.o ../src/util/warning.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/warning.o ../src/util/warning.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src/model -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/tactic -I../src/ast/proofs -I../src -osolver/smt_logics.o ../src/solver/smt_logics.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src/model -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/tactic -I../src/ast/proofs -I../src -osolver/smt_logics.o ../src/solver/smt_logics.cpp -fstack-protector [*] as -o api/ml/z3native.o /tmp/camlasma76002.s <.> as -o api/ml/z3native.o /tmp/camlasma76002.s [*] as -o api/ml/z3enums.o /tmp/camlasm11cde6.s <.> as -o api/ml/z3enums.o /tmp/camlasm11cde6.s [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/bit_vector.o ../src/util/bit_vector.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/bit_vector.o ../src/util/bit_vector.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/min_cut.o ../src/util/min_cut.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/min_cut.o ../src/util/min_cut.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/permutation.o ../src/util/permutation.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/permutation.o ../src/util/permutation.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/prime_generator.o ../src/util/prime_generator.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/prime_generator.o ../src/util/prime_generator.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/region.o ../src/util/region.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/region.o ../src/util/region.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/rlimit.o ../src/util/rlimit.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/rlimit.o ../src/util/rlimit.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/cmd_context_types.o ../src/util/cmd_context_types.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/cmd_context_types.o ../src/util/cmd_context_types.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/smt2_util.o ../src/util/smt2_util.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/smt2_util.o ../src/util/smt2_util.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/api_log_macros.o ../src/api/api_log_macros.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/api_log_macros.o ../src/api/api_log_macros.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/debug.o ../src/util/debug.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/debug.o ../src/util/debug.cpp -fstack-protector [*] as -o api/ml/z3.o /tmp/camlasm3f6b70.s <.> as -o api/ml/z3.o /tmp/camlasm3f6b70.s [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/symbol.o ../src/util/symbol.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/symbol.o ../src/util/symbol.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/trace.o ../src/util/trace.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/trace.o ../src/util/trace.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/z3_replayer.o ../src/api/z3_replayer.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -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/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/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/tactic/arith -I../src/sat -I../src/sat/tactic -I../src/nlsat/tactic -I../src/nlsat -I../src/smt/tactic -I../src/smt -I../src/cmd_context -I../src/smt/proto_model -I../src/smt/params -I../src/ast/pattern -I../src/parsers/smt2 -I../src/parsers/util -I../src/ast/substitution -I../src/math/grobner -I../src/math/euclid -I../src/math/simplex -I../src/ast/fpa -I../src/util/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/interval -I../src/math/realclosure -I../src/opt -I../src -oapi/z3_replayer.o ../src/api/z3_replayer.cpp -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -I/usr/include -I/usr/pkg/include/python3.8 -I/usr/pkg/include -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/mpz.o ../src/util/mpz.cpp <.> /tmp/pbulkbuild/math/z3/work.earmv6hf/.gcc/bin/g++ -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include/python3.8 -I/tmp/pbulkbuild/math/z3/work.earmv6hf/.buildlink/include -D_MP_INTERNAL -DNDEBUG -D_EXTERNAL_RELEASE -O2 -D_FORTIFY_SOURCE=2 -std=c++11 -fvisibility=hidden -c -mfpu=vfp -mfloat-abi=hard -fopenmp -O3 -D_NETBSD_ -I../src -outil/mpz.o ../src/util/mpz.cpp -fstack-protector