=> Bootstrap dependency digest>=20010302: found digest-20160304
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
===> Building for z3-4.5.0nb3
--- util/stopwatch.h.node ---
--- util/error_codes.h.node ---
--- util/warning.h.node ---
--- util/scoped_numeral.h.node ---
--- util/z3_omp.h.node ---
--- util/optional.h.node ---
--- util/trace.h.node ---
--- util/machine.h.node ---
--- util/obj_ref.h.node ---
--- util/z3_exception.h.node ---
--- smt/params/theory_datatype_params.h.node ---
--- ast/rewriter/bit_blaster/bit_blaster_params.h.node ---
--- util/ref.h.node ---
--- util/common_msgs.h.node ---
--- ast/expr_delta_pair.h.node ---
--- shell/datalog_frontend.h.node ---
--- util/timeout.h.node ---
--- sat/sat_justification.h.node ---
--- sat/sat_mus.h.node ---
--- shell/smtlib_frontend.h.node ---
--- shell/z3_log_frontend.h.node ---
--- util/version.h.node ---
--- shell/dimacs_frontend.h.node ---
--- shell/opt_frontend.h.node ---
--- util/env_params.h.node ---
--- solver/progress_callback.h.node ---
--- smt/smt_failure.h.node ---
--- util/approx_nat.h.node ---
--- smt/smt_statistics.h.node ---
--- util/timer.h.node ---
--- util/event_handler.h.node ---
--- ast/reg_decl_plugins.h.node ---
--- cmd_context/extra_cmds/dbg_cmds.h.node ---
--- cmd_context/extra_cmds/polynomial_cmds.h.node ---
--- cmd_context/extra_cmds/subpaving_cmds.h.node ---
--- tactic/portfolio/smt_strategic_solver.h.node ---
--- api/z3_macros.h.node ---
--- api/z3_api.h.node ---
--- api/z3_ast_containers.h.node ---
--- api/z3_algebraic.h.node ---
--- api/z3_polynomial.h.node ---
--- api/z3_rcf.h.node ---
--- api/z3_fixedpoint.h.node ---
--- api/z3_optimization.h.node ---
--- api/z3_interp.h.node ---
--- api/z3_fpa.h.node ---
--- tactic/arith/probe_arith.h.node ---
--- tactic/core/der_tactic.h.node ---
--- tactic/smtlogics/nra_tactic.h.node ---
--- util/basic_interval.h.node ---
--- ast/well_sorted.h.node ---
--- util/dec_ref_util.h.node ---
--- interp/iz3profiling.h.node ---
--- model/model_v2_pp.h.node ---
--- solver/smt_logics.h.node ---
--- util/stream_buffer.h.node ---
--- opt/maxres.h.node ---
--- solver/mus.h.node ---
--- opt/mss.h.node ---
--- math/simplex/simplex_def.h.node ---
--- model/model_pp.h.node ---
--- util/ref_util.h.node ---
--- util/cooperate.h.node ---
--- duality/duality_profiling.h.node ---
--- muz/base/proof_utils.h.node ---
--- ast/has_free_vars.h.node ---
--- ast/ast_lt.h.node ---
--- qe/qe_cmd.h.node ---
--- ast/occurs.h.node ---
--- util/luby.h.node ---
--- util/stats.h.node ---
--- util/timeit.h.node ---
--- ast/expr_stat.h.node ---
--- smt/theory_dl.h.node ---
--- ast/pattern/database.h.node ---
--- cmd_context/cmd_util.h.node ---
--- cmd_context/simplify_cmd.h.node ---
--- math/subpaving/subpaving_types.h.node ---
--- cmd_context/eval_cmd.h.node ---
--- cmd_context/basic_cmds.h.node ---
--- cmd_context/interpolant_cmds.h.node ---
--- cmd_context/cmd_context_to_goal.h.node ---
--- cmd_context/echo_tactic.h.node ---
--- interp/foci2.h.node ---
--- tactic/goal_util.h.node ---
--- tactic/core/collect_occs.h.node ---
--- util/array.h.node ---
--- math/polynomial/polynomial_primes.h.node ---
--- math/polynomial/linear_eq_solver.h.node ---
--- util/bit_util.h.node ---
--- util/luby.o ---
--- api/dll/dll.o ---
--- api/ml/z3enums.cmo ---
--- smt/theory_arith_eq.h.node ---
--- util/debug.h.node ---
--- util/memory_manager.h.node ---
--- interp/iz3exception.h.node ---
--- util/tptr.h.node ---
--- util/common_msgs.o ---
--- ast/rewriter/rewriter_types.h.node ---
--- tactic/tactic_exception.h.node ---
--- util/scoped_timer.h.node ---
--- util/cancel_eh.h.node ---
--- smt/smt_statistics.o ---
--- util/approx_nat.o ---
--- api/ml/z3enums.cmo ---
ocamlc  -i -I api/ml -c ../src/api/ml/z3enums.ml > api/ml/z3enums.mli
--- api/dll/dll.o ---
src/api/dll/dll.cpp
--- interp/iz3profiling.o ---
--- api/z3.h.node ---
--- util/approx_set.h.node ---
--- util/cooperate.o ---
--- util/approx_nat.o ---
src/util/approx_nat.cpp
--- util/small_object_allocator.h.node ---
--- interp/iz3profiling.o ---
src/interp/iz3profiling.cpp
--- util/luby.o ---
src/util/luby.cpp
--- util/z3_exception.o ---
--- util/ext_numeral.h.node ---
--- util/common_msgs.o ---
src/util/common_msgs.cpp
--- util/util.h.node ---
--- smt/smt_statistics.o ---
src/smt/smt_statistics.cpp
--- util/buffer.h.node ---
--- util/memory_manager.o ---
--- util/page.h.node ---
--- util/cooperate.o ---
src/util/cooperate.cpp
--- util/timeit.o ---
--- api/api_log_macros.h.node ---
--- api/z3_replayer.h.node ---
--- util/approx_set.o ---
--- util/z3_exception.o ---
src/util/z3_exception.cpp
--- util/memory_manager.o ---
src/util/memory_manager.cpp
--- util/bit_util.o ---
--- util/timeit.o ---
src/util/timeit.cpp
--- util/hash.h.node ---
--- util/string_buffer.h.node ---
--- util/approx_set.o ---
src/util/approx_set.cpp
--- util/bit_util.o ---
src/util/bit_util.cpp
--- util/lbool.h.node ---
--- util/scoped_ctrl_c.h.node ---
--- util/timeout.o ---
--- util/timer.o ---
--- util/util.o ---
--- util/timeout.o ---
src/util/timeout.cpp
--- util/util.o ---
src/util/util.cpp
--- api/ml/z3enums.cmo ---
ocamlc  -I api/ml -o api/ml/z3enums.cmi -c api/ml/z3enums.mli
--- util/timer.o ---
src/util/timer.cpp
--- api/ml/z3enums.cmo ---
ocamlc  -I api/ml -o api/ml/z3enums.cmo -c ../src/api/ml/z3enums.ml
--- util/scoped_timer.o ---
src/util/scoped_timer.cpp
--- math/automata/boolean_algebra.h.node ---
--- util/plugin_manager.h.node ---
--- util/fixed_bit_vector.h.node ---
--- util/mpn.h.node ---
--- util/scoped_numeral_buffer.h.node ---
--- api/api_log.o ---
src/api/api_log.cpp
--- util/page.o ---
src/util/page.cpp
--- util/stack.h.node ---
--- util/symbol.h.node ---
--- api/api_commands.o ---
src/api/api_commands.cpp
--- shell/z3_log_frontend.o ---
src/shell/z3_log_frontend.cpp
--- util/lbool.o ---
src/util/lbool.cpp
--- util/scoped_ctrl_c.o ---
src/util/scoped_ctrl_c.cpp
--- util/vector.h.node ---
--- util/hashtable.h.node ---
--- util/hash.o ---
src/util/hash.cpp
--- interp/iz3hash.h.node ---
--- api/ml/z3native.cmo ---
ocamlc  -i -I api/ml -c ../src/api/ml/z3native.ml > api/ml/z3native.mli
--- util/fixed_bit_vector.o ---
--- util/mpn.o ---
--- util/fixed_bit_vector.o ---
src/util/fixed_bit_vector.cpp
--- util/mpn.o ---
src/util/mpn.cpp
--- api/ml/z3native.cmo ---
ocamlc  -I api/ml -o api/ml/z3native.cmi -c api/ml/z3native.mli
--- util/stack.o ---
src/util/stack.cpp
--- util/cmd_context_types.h.node ---
--- util/smt2_util.h.node ---
--- solver/smt_logics.o ---
src/solver/smt_logics.cpp
--- api/ml/z3native.cmo ---
ocamlc  -I api/ml -o api/ml/z3native.cmo -c ../src/api/ml/z3native.ml
--- api/z3_logger.h.node ---
--- util/bit_vector.h.node ---
--- util/scoped_numeral_vector.h.node ---
--- util/id_gen.h.node ---
--- util/permutation.h.node ---
--- util/prime_generator.h.node ---
--- util/region.h.node ---
--- util/rlimit.h.node ---
--- util/ref_vector.h.node ---
--- util/small_object_allocator.o ---
src/util/small_object_allocator.cpp
--- util/warning.o ---
src/util/warning.cpp
--- util/scoped_ptr_vector.h.node ---
--- sat/sat_types.h.node ---
--- util/heap.h.node ---
--- util/uint_set.h.node ---
--- util/parray.h.node ---
--- util/sorting_network.h.node ---
--- util/numeral_buffer.h.node ---
--- util/nat_set.h.node ---
--- util/pool.h.node ---
--- util/backtrackable_set.h.node ---
--- util/scoped_vector.h.node ---
--- util/array_map.h.node ---
--- util/str_hashtable.h.node ---
--- util/map.h.node ---
--- util/chashtable.h.node ---
--- util/obj_hashtable.h.node ---
--- util/symbol_table.h.node ---
--- util/obj_pair_hashtable.h.node ---
--- util/obj_triple_hashtable.h.node ---
--- interp/iz3scopes.h.node ---
--- util/cmd_context_types.o ---
src/util/cmd_context_types.cpp
--- util/params.h.node ---
--- util/smt2_util.o ---
src/util/smt2_util.cpp
--- api/api_log_macros.o ---
src/api/api_log_macros.cpp
--- util/bit_vector.o ---
src/util/bit_vector.cpp
--- util/obj_mark.h.node ---
--- util/mpz.h.node ---
--- util/mpff.h.node ---
--- util/mpfx.h.node ---
--- util/permutation.o ---
src/util/permutation.cpp
--- util/prime_generator.o ---
src/util/prime_generator.cpp
--- util/region.o ---
src/util/region.cpp
--- util/hash.o ---
../src/util/hash.cpp:86:9: error: fallthrough annotation does not directly precede switch label
        Z3_fallthrough;
        ^
../src/util/util.h:82:26: note: expanded from macro 'Z3_fallthrough'
#  define Z3_fallthrough [[clang::fallthrough]]
                         ^
1 error generated.
*** [util/hash.o] Error code 1

make: stopped in /data/scratch/math/z3/work/z3-z3-4.5.0/build
1 error

make: stopped in /data/scratch/math/z3/work/z3-z3-4.5.0/build
*** Error code 2

Stop.
make[1]: stopped in /data/pkgsrc/math/z3
*** Error code 1

Stop.
make: stopped in /data/pkgsrc/math/z3