=> Bootstrap dependency digest>=20010302: found digest-20190127 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Building for z3-4.8.3nb1 --- util/stopwatch.h.node --- --- util/error_codes.h.node --- --- util/warning.h.node --- --- util/z3_omp.h.node --- --- util/scoped_numeral.h.node --- --- util/optional.h.node --- --- util/trace.h.node --- --- util/machine.h.node --- --- util/obj_ref.h.node --- --- util/z3_exception.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 --- --- util/container_util.h.node --- --- shell/datalog_frontend.h.node --- --- util/timeout.h.node --- --- sat/sat_justification.h.node --- --- sat/sat_mus.h.node --- --- sat/sat_drat.h.node --- --- util/ema.h.node --- --- util/lp/../sstream.h.node --- --- util/lp/indexed_value.h.node --- --- util/lp/breakpoint.h.node --- --- util/lp/stacked_value.h.node --- --- util/lp/conversion_helper.h.node --- --- util/ext_gcd.h.node --- --- util/lp/general_matrix.h.node --- --- util/lp/var_register.h.node --- --- util/lp/lia_move.h.node --- --- util/lp/explanation.h.node --- --- util/basic_interval.h.node --- --- util/event_handler.h.node --- --- shell/smtlib_frontend.h.node --- --- shell/z3_log_frontend.h.node --- --- util/z3_version.h.node --- --- shell/dimacs_frontend.h.node --- --- shell/opt_frontend.h.node --- --- util/file_path.h.node --- --- util/env_params.h.node --- --- shell/lp_frontend.h.node --- --- ast/reg_decl_plugins.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 --- --- opt/opt_parse.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 --- --- smt/smt2_extra_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_fpa.h.node --- --- api/z3_spacer.h.node --- --- tactic/arith/probe_arith.h.node --- --- tactic/core/der_tactic.h.node --- --- tactic/smtlogics/nra_tactic.h.node --- --- cmd_context/cmd_util.h.node --- --- ast/ast_lt.h.node --- --- cmd_context/simplify_cmd.h.node --- --- qe/qe_mbi.h.node --- --- math/subpaving/subpaving_types.h.node --- --- ast/well_sorted.h.node --- --- util/dec_ref_util.h.node --- --- model/model_v2_pp.h.node --- --- solver/smt_logics.h.node --- --- util/stream_buffer.h.node --- --- solver/mus.h.node --- --- opt/maxres.h.node --- --- math/simplex/simplex_def.h.node --- --- model/model_pp.h.node --- --- solver/parallel_tactic.h.node --- --- util/ref_util.h.node --- --- util/cooperate.h.node --- --- muz/spacer/spacer_legacy_frames.h.node --- --- util/timeit.h.node --- --- util/luby.h.node --- --- ast/has_free_vars.h.node --- --- ast/occurs.h.node --- --- qe/qe_cmd.h.node --- --- util/stats.h.node --- --- ast/expr_stat.h.node --- --- smt/theory_dl.h.node --- --- ast/pattern/database.h.node --- --- cmd_context/eval_cmd.h.node --- --- cmd_context/basic_cmds.h.node --- --- cmd_context/cmd_context_to_goal.h.node --- --- cmd_context/echo_tactic.h.node --- --- tactic/goal_util.h.node --- --- tactic/core/collect_occs.h.node --- --- util/array.h.node --- --- util/lp/monomial.h.node --- --- util/lp/polynomial.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 --- --- api/dll/dll.o --- src/api/dll/dll.cpp --- api/ml/z3enums.cmo --- ocamlfind ocamlc -package num -i -I api/ml -c ../src/api/ml/z3enums.ml > api/ml/z3enums.mli --- util/luby.o --- src/util/luby.cpp --- util/debug.h.node --- --- util/tptr.h.node --- --- util/memory_manager.h.node --- --- util/common_msgs.o --- src/util/common_msgs.cpp --- ast/rewriter/rewriter_types.h.node --- --- tactic/tactic_exception.h.node --- --- util/scoped_timer.h.node --- --- util/cancel_eh.h.node --- --- api/ml/z3enums.cmo --- ocamlfind ocamlc -package num -I api/ml -o api/ml/z3enums.cmi -c api/ml/z3enums.mli --- util/approx_nat.o --- src/util/approx_nat.cpp --- api/ml/z3enums.cmo --- ocamlfind ocamlc -package num -I api/ml -o api/ml/z3enums.cmo -c ../src/api/ml/z3enums.ml --- smt/smt_statistics.o --- src/smt/smt_statistics.cpp --- api/z3.h.node --- --- util/approx_set.h.node --- --- util/cooperate.o --- src/util/cooperate.cpp --- util/small_object_allocator.h.node --- --- util/z3_exception.o --- src/util/z3_exception.cpp --- util/ext_numeral.h.node --- --- util/util.h.node --- --- util/buffer.h.node --- --- util/memory_manager.o --- src/util/memory_manager.cpp --- util/page.h.node --- --- util/timeit.o --- src/util/timeit.cpp --- api/api_log_macros.h.node --- --- api/z3_replayer.h.node --- --- util/approx_set.o --- src/util/approx_set.cpp --- api/ml/z3native.cmo --- ocamlfind ocamlc -package num -i -I api/ml -c ../src/api/ml/z3native.ml > api/ml/z3native.mli ocamlfind ocamlc -package num -I api/ml -o api/ml/z3native.cmi -c api/ml/z3native.mli ocamlfind ocamlc -package num -I api/ml -o api/ml/z3native.cmo -c ../src/api/ml/z3native.ml --- util/fixed_bit_vector.h.node --- --- util/bit_util.o --- src/util/bit_util.cpp --- util/hash.h.node --- --- util/string_buffer.h.node --- --- util/lbool.h.node --- --- util/scoped_ctrl_c.h.node --- --- util/scoped_timer.o --- src/util/scoped_timer.cpp --- util/timeout.o --- src/util/timeout.cpp --- util/timer.o --- src/util/timer.cpp --- util/util.o --- src/util/util.cpp --- math/automata/boolean_algebra.h.node --- --- util/plugin_manager.h.node --- --- util/mpn.h.node --- --- util/scoped_numeral_buffer.h.node --- --- util/page.o --- src/util/page.cpp --- util/stack.h.node --- --- api/api_log.o --- src/api/api_log.cpp --- api/api_commands.o --- src/api/api_commands.cpp --- shell/z3_log_frontend.o --- src/shell/z3_log_frontend.cpp --- util/vector.h.node --- --- util/fixed_bit_vector.o --- src/util/fixed_bit_vector.cpp --- util/hash.o --- src/util/hash.cpp --- util/symbol.h.node --- --- util/lbool.o --- src/util/lbool.cpp --- util/scoped_ctrl_c.o --- src/util/scoped_ctrl_c.cpp --- api/ml/z3.cmo --- cp ../src/api/ml/z3.mli api/ml/z3.mli ocamlfind ocamlc -package num -I api/ml -o api/ml/z3.cmi -c api/ml/z3.mli --- util/mpn.o --- src/util/mpn.cpp --- api/ml/z3.cmo --- ocamlfind ocamlc -package num -I api/ml -o api/ml/z3.cmo -c ../src/api/ml/z3.ml File "../src/api/ml/z3.ml", line 206, characters 16-34: 206 | let compare = Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims --- util/stack.o --- src/util/stack.cpp --- util/bit_vector.h.node --- --- util/hashtable.h.node --- --- util/scoped_numeral_vector.h.node --- --- util/min_cut.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 --- --- util/uint_set.h.node --- --- sat/sat_allocator.h.node --- --- util/heap.h.node --- --- util/sorting_network.h.node --- --- util/lp/stacked_vector.h.node --- --- util/parray.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/cmd_context_types.h.node --- --- util/smt2_util.h.node --- --- solver/smt_logics.o --- src/solver/smt_logics.cpp --- api/z3_logger.h.node --- --- api/ml/z3enums.cmx --- ocamlfind ocamlopt -package num -I api/ml -o api/ml/z3enums.cmx -c ../src/api/ml/z3enums.ml --- api/ml/z3native.cmx --- ocamlfind ocamlopt -package num -I api/ml -o api/ml/z3native.cmx -c ../src/api/ml/z3native.ml --- api/ml/z3.cmx --- ocamlfind ocamlopt -package num -I api/ml -o api/ml/z3.cmx -c ../src/api/ml/z3.ml --- util/bit_vector.o --- src/util/bit_vector.cpp --- api/ml/z3.cmx --- File "../src/api/ml/z3.ml", line 206, characters 16-34: 206 | let compare = Pervasives.compare ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims --- util/obj_mark.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 --- --- util/mpz.h.node --- --- util/min_cut.o --- src/util/min_cut.cpp --- api/ml/z3.cmx --- File "_none_", line 1: Warning 58: no cmx file was found in path for module Z3enums, and its interface was not compiled with -opaque --- 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/dependency.h.node --- --- util/list.h.node --- --- util/rlimit.o --- src/util/rlimit.cpp --- util/statistics.h.node --- --- util/ref_buffer.h.node --- --- muz/spacer/spacer_json.h.node --- --- sat/sat_types.h.node --- --- util/max_cliques.h.node --- --- math/automata/automaton.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/debug.o --- src/util/debug.cpp --- util/symbol.o --- src/util/symbol.cpp --- util/trace.o --- src/util/trace.cpp --- util/dictionary.h.node --- --- sat/sat_bdd.h.node --- --- api/z3_replayer.o --- src/api/z3_replayer.cpp --- util/obj_pair_set.h.node --- --- util/trail.h.node --- --- util/top_sort.h.node --- --- util/obj_ref_hashtable.h.node --- --- util/mpq.h.node --- --- util/mpz.o --- src/util/mpz.cpp ../src/util/mpz.cpp:33:10: fatal error: immintrin.h: No such file or directory #include ^~~~~~~~~~~~~ compilation terminated. *** [util/mpz.o] Error code 1 make: stopped in /tmp/pbulkbuild/math/z3/work.earmv6hf/z3-z3-4.8.3/build 1 error make: stopped in /tmp/pbulkbuild/math/z3/work.earmv6hf/z3-z3-4.8.3/build *** Error code 2 Stop. make[1]: stopped in /usr/pkgsrc/math/z3 *** Error code 1 Stop. make: stopped in /usr/pkgsrc/math/z3