=> 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'. => Checksum SHA1 OK for z3-4.4.1.tar.gz => Checksum RMD160 OK for z3-4.4.1.tar.gz => Checksum SHA512 OK for z3-4.4.1.tar.gz => Checksum SHA1 OK for z3-jumbo-patch-20151123.gz => Checksum RMD160 OK for z3-jumbo-patch-20151123.gz => Checksum SHA512 OK for z3-jumbo-patch-20151123.gz ===> Installing dependencies for z3-4.4.1nb5 ========================================================================== The supported build options for z3 are: java ocaml The currently selected options are: ocaml You can select which build options to use by setting PKG_DEFAULT_OPTIONS or the following variable. Its current value is shown: PKG_OPTIONS.z3 (not defined) ========================================================================== ========================================================================== The following variables will affect the build process of this package, z3-4.4.1nb5. Their current value is shown below: * PYTHON_VERSION_DEFAULT = 27 Based on these variables, the following variables have been set: * PYPACKAGE = python27 * TERMCAP_TYPE = termcap You may want to abort the process now with CTRL-C and change their value before continuing. Be sure to run `/usr/bin/make clean' after the changes. ========================================================================== => Tool dependency checkperms>=1.1: found checkperms-1.12 => Build dependency cwrappers>=20150314: found cwrappers-20171108 => Full dependency ocaml>=4.06.0: found ocaml-4.06.0 => Full dependency python27>=2.7.1nb2: found python27-2.7.14 ===> Overriding tools for z3-4.4.1nb5 ===> Extracting for z3-4.4.1nb5 tar: Global extended headers posix ustar archive. Extracting as plain files. Following files might be in the wrong directory or have wrong attributes. ===> Patching for z3-4.4.1nb5 => Applying distribution patches for z3-4.4.1nb5 => Applying distribution patch z3-jumbo-patch-20151123.gz Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |# HG changeset patch |# Parent 53136d94e57359daa41428879682e8842cae4bc1 |Add configuration for NetBSD. | |diff -r 53136d94e573 -r c878c84ae36f scripts/mk_util.py |--- a/scripts/mk_util.py Mon Nov 23 18:01:19 2015 -0500 |+++ b/scripts/mk_util.py Mon Nov 23 18:02:03 2015 -0500 -------------------------- Patching file scripts/mk_util.py using Plan A... Hunk #1 succeeded at 60. Hunk #2 succeeded at 115. Hunk #3 succeeded at 534. Hunk #4 succeeded at 1108. Hunk #5 succeeded at 1343. Hunk #6 succeeded at 1900. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -r 53136d94e573 -r c878c84ae36f src/util/scoped_timer.cpp |--- a/src/util/scoped_timer.cpp Mon Nov 23 18:01:19 2015 -0500 |+++ b/src/util/scoped_timer.cpp Mon Nov 23 18:02:03 2015 -0500 -------------------------- Patching file src/util/scoped_timer.cpp using Plan A... Hunk #1 succeeded at 33. Hunk #2 succeeded at 73. Hunk #3 succeeded at 106. Hunk #4 succeeded at 150. Hunk #5 succeeded at 202. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |# HG changeset patch |# Parent 01677d46b7783126bfec2a039cc69e4a6f2583b4 |DESTDIR support. | |diff -r 01677d46b778 README |--- a/README Mon Nov 23 19:03:08 2015 -0500 |+++ b/README Mon Nov 23 19:05:55 2015 -0500 -------------------------- Patching file README using Plan A... Hunk #1 succeeded at 38. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |diff -r 01677d46b778 scripts/mk_util.py |--- a/scripts/mk_util.py Mon Nov 23 19:03:08 2015 -0500 |+++ b/scripts/mk_util.py Mon Nov 23 19:05:55 2015 -0500 -------------------------- Patching file scripts/mk_util.py using Plan A... Hunk #1 succeeded at 79. Hunk #2 succeeded at 547. Hunk #3 succeeded at 591. Hunk #4 succeeded at 638. Hunk #5 succeeded at 993. Hunk #6 succeeded at 1079. Hunk #7 succeeded at 1225. Hunk #8 succeeded at 1406. Hunk #9 succeeded at 1933. Hunk #10 succeeded at 1962. Hunk #11 succeeded at 1984. Hunk #12 succeeded at 2010. Hunk #13 succeeded at 2034. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |# HG changeset patch |# Parent 072114a5ef7c2d451d949dad01a481a918837477 |CLOCK_PROCESS_CPUTIME_ID is Linux-only. |Use CLOCK_MONOTONIC if it's not there, as in scoped_timer.cpp. | |diff -r 072114a5ef7c src/util/stopwatch.h |--- a/src/util/stopwatch.h Mon Nov 23 18:41:12 2015 -0500 |+++ b/src/util/stopwatch.h Mon Nov 23 18:44:50 2015 -0500 -------------------------- Patching file src/util/stopwatch.h using Plan A... Hunk #1 succeeded at 130. Hmm... The next patch looks like a unified diff to me... The text leading up to this was: -------------------------- |# HG changeset patch |# Parent c878c84ae36fce57a49b9286bda6403ece6e6876 |Make the configure script robust about spaces in its argument list. | |diff -r c878c84ae36f configure |--- a/configure Mon Nov 23 18:02:03 2015 -0500 |+++ b/configure Mon Nov 23 18:27:52 2015 -0500 -------------------------- Patching file configure using Plan A... Hunk #1 succeeded at 14. done => Applying pkgsrc patches for z3-4.4.1nb5 => Verifying /data/pkgsrc/math/z3/patches/patch-scripts_mk__util.py => Applying pkgsrc patch /data/pkgsrc/math/z3/patches/patch-scripts_mk__util.py Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-scripts_mk__util.py,v 1.1 2015/11/24 05:45:58 dholland Exp $ | |For pkgsrc, use site-packages rather than dist-packages. | |diff -r 59247c69b92d scripts/mk_util.py |--- scripts/mk_util.py Mon Nov 23 19:08:36 2015 -0500 |+++ scripts/mk_util.py Mon Nov 23 19:50:45 2015 -0500 -------------------------- Patching file scripts/mk_util.py using Plan A... Hunk #1 succeeded at 637. done => Verifying /data/pkgsrc/math/z3/patches/patch-src_util_debug.cpp => Applying pkgsrc patch /data/pkgsrc/math/z3/patches/patch-src_util_debug.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_util_debug.cpp,v 1.1 2016/07/16 04:02:13 markd Exp $ | |gcc6 fix | |--- src/util/debug.cpp.orig 2015-10-05 12:07:19.000000000 +0000 |+++ src/util/debug.cpp -------------------------- Patching file src/util/debug.cpp using Plan A... Hunk #1 succeeded at 76. done => Verifying /data/pkgsrc/math/z3/patches/patch-src_util_mpz.cpp => Applying pkgsrc patch /data/pkgsrc/math/z3/patches/patch-src_util_mpz.cpp Hmm... Looks like a unified diff to me... The text leading up to this was: -------------------------- |$NetBSD: patch-src_util_mpz.cpp,v 1.1 2016/07/16 04:02:13 markd Exp $ | |gcc6 fix | |--- src/util/mpz.cpp.orig 2015-10-05 12:07:19.000000000 +0000 |+++ src/util/mpz.cpp -------------------------- Patching file src/util/mpz.cpp using Plan A... Hunk #1 succeeded at 134. done ===> Creating toolchain wrappers for z3-4.4.1nb5 ===> Configuring for z3-4.4.1nb5 => Checking for portability problems in extracted files opt = --destdir, arg = /data/scratch/math/z3/work/.destdir opt = --prefix, arg = /usr/pkg opt = --ml, arg = New component: 'util' New component: 'polynomial' New component: 'sat' New component: 'nlsat' New component: 'hilbert' New component: 'simplex' New component: 'interval' New component: 'realclosure' New component: 'subpaving' New component: 'ast' New component: 'rewriter' New component: 'normal_forms' New component: 'model' New component: 'tactic' New component: 'substitution' New component: 'parser_util' New component: 'grobner' New component: 'euclid' New component: 'core_tactics' New component: 'sat_tactic' New component: 'arith_tactics' New component: 'nlsat_tactic' New component: 'subpaving_tactic' New component: 'aig_tactic' New component: 'solver' New component: 'interp' New component: 'cmd_context' New component: 'extra_cmds' New component: 'smt2parser' New component: 'proof_checker' New component: 'simplifier' New component: 'fpa' New component: 'macros' New component: 'pattern' New component: 'bit_blaster' New component: 'smt_params' New component: 'proto_model' New component: 'smt' New component: 'user_plugin' New component: 'bv_tactics' New component: 'fuzzing' New component: 'smt_tactic' New component: 'sls_tactic' New component: 'qe' New component: 'duality' New component: 'muz' New component: 'dataflow' New component: 'transforms' New component: 'rel' New component: 'pdr' New component: 'clp' New component: 'tab' New component: 'bmc' New component: 'ddnf' New component: 'duality_intf' New component: 'fp' New component: 'nlsat_smt_tactic' New component: 'smtlogic_tactics' New component: 'fpa_tactics' New component: 'ufbv_tactic' New component: 'sat_solver' New component: 'portfolio' New component: 'smtparser' New component: 'opt' New component: 'api' New component: 'shell' New component: 'test' New component: 'api_dll' New component: 'dotnet' New component: 'java' New component: 'ml' New component: 'cpp' Python bindings directory was detected. New component: 'cpp_example' New component: 'iz3' New component: 'z3_tptp' New component: 'c_example' New component: 'maxsat' New component: 'dotnet_example' New component: 'java_example' New component: 'ml_example' New component: 'py_example' Generated 'src/util/version.h' Updated 'src/api/dotnet/Properties/AssemblyInfo' Generated 'src/ast/pp_params.hpp' Generated 'src/ast/fpa/fpa2bv_rewriter_params.hpp' Generated 'src/ast/normal_forms/nnf_params.hpp' Generated 'src/ast/pattern/pattern_inference_params_helper.hpp' Generated 'src/ast/rewriter/arith_rewriter_params.hpp' Generated 'src/ast/rewriter/array_rewriter_params.hpp' Generated 'src/ast/rewriter/bool_rewriter_params.hpp' Generated 'src/ast/rewriter/bv_rewriter_params.hpp' Generated 'src/ast/rewriter/fpa_rewriter_params.hpp' Generated 'src/ast/rewriter/poly_rewriter_params.hpp' Generated 'src/ast/rewriter/rewriter_params.hpp' Generated 'src/ast/simplifier/arith_simplifier_params_helper.hpp' Generated 'src/ast/simplifier/array_simplifier_params_helper.hpp' Generated 'src/ast/simplifier/bv_simplifier_params_helper.hpp' Generated 'src/interp/interp_params.hpp' Generated 'src/math/polynomial/algebraic_params.hpp' Generated 'src/math/realclosure/rcf_params.hpp' Generated 'src/model/model_evaluator_params.hpp' Generated 'src/model/model_params.hpp' Generated 'src/muz/base/fixedpoint_params.hpp' Generated 'src/nlsat/nlsat_params.hpp' Generated 'src/opt/opt_params.hpp' Generated 'src/parsers/util/parser_params.hpp' Generated 'src/sat/sat_asymm_branch_params.hpp' Generated 'src/sat/sat_params.hpp' Generated 'src/sat/sat_scc_params.hpp' Generated 'src/sat/sat_simplifier_params.hpp' Generated 'src/smt/params/smt_params_helper.hpp' Generated 'src/solver/combined_solver_params.hpp' Generated 'src/tactic/sls/sls_params.hpp' Generated 'src/ast/pattern/database.h' Generated 'src/shell/install_tactic.cpp' Generated 'src/test/install_tactic.cpp' Generated 'src/api/dll/install_tactic.cpp' Generated 'src/shell/mem_initializer.cpp' Generated 'src/test/mem_initializer.cpp' Generated 'src/api/dll/mem_initializer.cpp' Generated 'src/shell/gparams_register_modules.cpp' Generated 'src/test/gparams_register_modules.cpp' Generated 'src/api/dll/gparams_register_modules.cpp' Generated 'src/api/python/z3consts.py' Generated 'src/api/dotnet/Enumerations.cs' Generated "src/api/ml/z3native.ml" Generated 'src/api/api_log_macros.h' Generated 'src/api/api_log_macros.cpp' Generated 'src/api/api_commands.cpp' Generated 'src/api/python/z3core.py' Generated 'src/api/dotnet/Native.cs' Listing src/api/python ... Compiling src/api/python/z3.py ... Compiling src/api/python/z3consts.py ... Compiling src/api/python/z3core.py ... Compiling src/api/python/z3num.py ... Compiling src/api/python/z3poly.py ... Compiling src/api/python/z3printer.py ... Compiling src/api/python/z3rcf.py ... Compiling src/api/python/z3test.py ... Compiling src/api/python/z3types.py ... Compiling src/api/python/z3util.py ... Copied 'z3.py' Copied 'z3num.py' Copied 'z3poly.py' Copied 'z3printer.py' Copied 'z3rcf.py' Copied 'z3test.py' Copied 'z3types.py' Copied 'z3util.py' Copied 'z3consts.py' Copied 'z3core.py' Generated 'z3.pyc' Generated 'z3consts.pyc' Generated 'z3core.pyc' Generated 'z3num.pyc' Generated 'z3poly.pyc' Generated 'z3printer.pyc' Generated 'z3rcf.pyc' Generated 'z3test.pyc' Generated 'z3types.pyc' Generated 'z3util.pyc' Testing ocamlc... Testing ocamlopt... Finding OCAML_LIB... OCAML_LIB=/usr/pkg/lib/ocaml Testing ocamlfind... Generated "src/api/ml/z3enums.ml" Generated "src/api/ml/z3enums.mli" Testing ar... Testing clang++... Testing clang... Testing floating point support... Testing OpenMP... Host platform: NetBSD C++ Compiler: clang++ C Compiler : clang Arithmetic: internal OpenMP: True Prefix: /usr/pkg Destdir: /data/scratch/math/z3/work/.destdir 64-bit: True FP math: SSE2-GCC Python version: 2.7 OCaml Compiler: ocamlc OCaml Native: ocamlopt OCaml Library: /usr/pkg/lib/ocaml Writing build/Makefile Updated 'build/api/ml/META' Copied Z3Py example 'example.py' to 'build' Makefile was successfully generated. python packages dir: /usr/pkg/lib/python2.7/site-packages compilation mode: Release Type 'cd build; make' to build Z3