[*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] as -o hello.o /tmp/camlasmc3d61c.s <.> as -o hello.o /tmp/camlasmc3d61c.s [*] as -o /tmp/camlstartupe0409d.o /tmp/camlstartup577615.s <.> as -o /tmp/camlstartupe0409d.o /tmp/camlstartup577615.s [*] cc -O2 -I/usr/include -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -D_THREAD_SAFE -DCAML_NAME_SPACE -Wl,-E -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -o a.out -L/usr/pkg/lib/ocaml -O2 -I/usr/include -I/usr/pkg/include -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib /tmp/camlstartupe0409d.o /usr/pkg/lib/ocaml/std_exit.o hello.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -L/usr/lib -Wl,-R/usr/lib -Wl,-R/usr/pkg/lib -lm <.> /usr/bin/clang -m64 -O2 -O2 -fno-strict-aliasing -fwrapv -fPIC -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -D_THREAD_SAFE -DCAML_NAME_SPACE -Wl,-E -Wl,-rpath,/usr/pkg/lib -o a.out -L/usr/pkg/lib/ocaml -O2 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -L/var/pkgsrc/work/math/z3/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib /tmp/camlstartupe0409d.o /usr/pkg/lib/ocaml/std_exit.o hello.o /usr/pkg/lib/ocaml/stdlib.a /usr/pkg/lib/ocaml/libasmrun.a -Wl,-rpath,/usr/pkg/lib -lm -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -O2 -I/usr/include -I/usr/pkg/include tst.cpp -L/usr/lib -Wl,-R/usr/lib -L/usr/pkg/lib -Wl,-R/usr/pkg/lib <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -O2 tst.cpp -L/var/pkgsrc/work/math/z3/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -Qunused-arguments -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 <.> /usr/bin/clang -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include tst.c -L/var/pkgsrc/work/math/z3/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -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 <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL tstsse.cpp -L/var/pkgsrc/work/math/z3/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -mfpmath=sse -msse -msse2 -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -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 <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL tstomp.cpp -L/var/pkgsrc/work/math/z3/work/.buildlink/lib -Wl,-rpath,/usr/pkg/lib -fopenmp -Qunused-arguments -fstack-protector [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] /var/pkgsrc/work/math/z3/work/.tools/bin/true <.> true [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/luby.o ../src/util/luby.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/luby.o ../src/util/luby.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -oapi/dll/dll.o ../src/api/dll/dll.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -oapi/dll/dll.o ../src/api/dll/dll.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/common_msgs.o ../src/util/common_msgs.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/common_msgs.o ../src/util/common_msgs.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/approx_nat.o ../src/util/approx_nat.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/approx_nat.o ../src/util/approx_nat.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/simplifier -I../src/ast/macros -I../src/ast/normal_forms -I../src/cmd_context -I../src/solver -I../src/model -I../src/tactic -I../src/interp -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/proof_checker -I../src/ast/fpa -osmt/smt_statistics.o ../src/smt/smt_statistics.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/simplifier -I../src/ast/macros -I../src/ast/normal_forms -I../src/cmd_context -I../src/solver -I../src/model -I../src/tactic -I../src/interp -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/proof_checker -I../src/ast/fpa -osmt/smt_statistics.o ../src/smt/smt_statistics.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -I../src/solver -I../src/model -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/tactic -ointerp/iz3profiling.o ../src/interp/iz3profiling.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -I../src/solver -I../src/model -I../src/ast/rewriter -I../src/ast -I../src/util -I../src/math/polynomial -I../src/math/automata -I../src/tactic -ointerp/iz3profiling.o ../src/interp/iz3profiling.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/cooperate.o ../src/util/cooperate.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/cooperate.o ../src/util/cooperate.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/z3_exception.o ../src/util/z3_exception.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/z3_exception.o ../src/util/z3_exception.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/memory_manager.o ../src/util/memory_manager.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/memory_manager.o ../src/util/memory_manager.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/timeit.o ../src/util/timeit.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/timeit.o ../src/util/timeit.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/approx_set.o ../src/util/approx_set.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/approx_set.o ../src/util/approx_set.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/bit_util.o ../src/util/bit_util.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/bit_util.o ../src/util/bit_util.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/scoped_timer.o ../src/util/scoped_timer.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/scoped_timer.o ../src/util/scoped_timer.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/timeout.o ../src/util/timeout.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/timeout.o ../src/util/timeout.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/timer.o ../src/util/timer.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/timer.o ../src/util/timer.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/util.o ../src/util/util.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/util.o ../src/util/util.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/page.o ../src/util/page.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/page.o ../src/util/page.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -oapi/api_log.o ../src/api/api_log.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -oapi/api_log.o ../src/api/api_log.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -oapi/api_commands.o ../src/api/api_commands.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -oapi/api_commands.o ../src/api/api_commands.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -oshell/z3_log_frontend.o ../src/shell/z3_log_frontend.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -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/sat/sat_solver -I../src/tactic/core -I../src/ast/normal_forms -I../src/tactic/aig -I../src/tactic/bv -I../src/ast/rewriter/bit_blaster -I../src/ast/simplifier -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/ast/macros -I../src/cmd_context -I../src/interp -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/proof_checker -I../src/ast/fpa -I../src/muz/fp -I../src/muz/base -I../src/qe -I../src/muz/pdr -I../src/muz/transforms -I../src/math/hilbert -I../src/muz/dataflow -I../src/muz/clp -I../src/muz/tab -I../src/muz/rel -I../src/muz/bmc -I../src/muz/duality -I../src/duality -I../src/muz/ddnf -I../src/tactic/nlsat_smt -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/parsers/smt -I../src/math/realclosure -I../src/opt -I../src/cmd_context/extra_cmds -oshell/z3_log_frontend.o ../src/shell/z3_log_frontend.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/fixed_bit_vector.o ../src/util/fixed_bit_vector.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/fixed_bit_vector.o ../src/util/fixed_bit_vector.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/hash.o ../src/util/hash.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/hash.o ../src/util/hash.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/lbool.o ../src/util/lbool.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/lbool.o ../src/util/lbool.cpp -Qunused-arguments -fstack-protector [*] c++ -I/usr/include -I/usr/pkg/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -I/usr/include -I/usr/pkg/include -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D _EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/scoped_ctrl_c.o ../src/util/scoped_ctrl_c.cpp <.> /usr/bin/clang++ -m64 -I/var/pkgsrc/work/math/z3/work/.buildlink/include -D_MP_INTERNAL -D_AMD64_ -DNDEBUG -D_EXTERNAL_RELEASE -O2 -fvisibility=hidden -c -mfpmath=sse -msse -msse2 -D_NO_OMP_ -O3 -D_EXTERNAL_RELEASE -fomit-frame-pointer -Wno-unknown-pragmas -Wno-overloaded-virtual -Wno-unused-value -fno-strict-aliasing -D_FREEBSD_ -fPIC -outil/scoped_ctrl_c.o ../src/util/scoped_ctrl_c.cpp -Qunused-arguments -fstack-protector