=> 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.5.0.tar.gz
=> Checksum RMD160 OK for z3-4.5.0.tar.gz
=> Checksum SHA512 OK for z3-4.5.0.tar.gz
===> Installing dependencies for py35-z3-4.5.0
==========================================================================
The following variables will affect the build process of this package,
py35-z3-4.5.0.  Their current value is shown below:

        * PYTHON_VERSION_DEFAULT = 27

Based on these variables, the following variables have been set:

        * PYPACKAGE = python35

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-20180325
=> Full dependency python35>=3.5: found python35-3.5.5nb1
=> Full dependency z3>=4.5.0: found z3-4.5.0nb2
===> Overriding tools for py35-z3-4.5.0
===> Extracting for py35-z3-4.5.0
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 py35-z3-4.5.0
=> Applying pkgsrc patches for py35-z3-4.5.0
=> Verifying /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-configure
=> Applying pkgsrc patch /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-configure
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-configure,v 1.1 2018/03/13 00:31:16 khorben Exp $
|
|Fix parameter expansion when configuring Z3.
|
|--- configure.orig	2016-11-07 22:02:30.000000000 +0000
|+++ configure
--------------------------
Patching file configure using Plan A...
Hunk #1 succeeded at 14.
done
=> Verifying /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-scripts_mk__util.py
=> Applying pkgsrc patch /data/pkgsrc/math/py-z3/../../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.4 2018/06/15 15:11:35 jperkin Exp $
|
|--- scripts/mk_util.py.orig	2016-11-07 22:02:30.000000000 +0000
|+++ scripts/mk_util.py
--------------------------
Patching file scripts/mk_util.py using Plan A...
Hunk #1 succeeded at 69.
Hunk #2 succeeded at 96.
Hunk #3 succeeded at 141.
Hunk #4 succeeded at 608.
Hunk #5 succeeded at 630.
Hunk #6 succeeded at 685.
Hunk #7 succeeded at 735.
Hunk #8 succeeded at 1218.
Hunk #9 succeeded at 1237.
Hunk #10 succeeded at 1391.
Hunk #11 succeeded at 1413.
Hunk #12 succeeded at 1711.
Hunk #13 succeeded at 1786.
Hunk #14 succeeded at 1839.
Hunk #15 succeeded at 2449.
Hunk #16 succeeded at 2463.
Hunk #17 succeeded at 2505.
Hunk #18 succeeded at 2540.
Hunk #19 succeeded at 2601.
Hunk #20 succeeded at 3307.
done
=> Verifying /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-src_util_scoped__timer.cpp
=> Applying pkgsrc patch /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-src_util_scoped__timer.cpp
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_util_scoped__timer.cpp,v 1.1 2018/03/13 21:20:34 khorben Exp $
|
|Add support for NetBSD.
|
|--- src/util/scoped_timer.cpp.orig	2016-11-07 22:02:30.000000000 +0000
|+++ src/util/scoped_timer.cpp
--------------------------
Patching file src/util/scoped_timer.cpp using Plan A...
Hunk #1 succeeded at 33.
Hunk #2 succeeded at 66.
Hunk #3 succeeded at 103.
Hunk #4 succeeded at 166.
Hunk #5 succeeded at 206.
done
=> Verifying /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-src_util_stopwatch.h
=> Applying pkgsrc patch /data/pkgsrc/math/py-z3/../../math/z3/patches/patch-src_util_stopwatch.h
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|$NetBSD: patch-src_util_stopwatch.h,v 1.1 2018/03/13 00:31:16 khorben Exp $
|
|--- src/util/stopwatch.h.orig	2016-11-07 22:02:30.000000000 +0000
|+++ src/util/stopwatch.h
--------------------------
Patching file src/util/stopwatch.h using Plan A...
Hunk #1 succeeded at 130.
done
===> Creating toolchain wrappers for py35-z3-4.5.0
===> Configuring for py35-z3-4.5.0
=> Checking for portability problems in extracted files
Traceback (most recent call last):
  File "scripts/mk_make.py", line 9, in <module>
    from mk_util import *
  File "/data/scratch/math/py-z3/work/z3-z3-4.5.0/scripts/mk_util.py", line 633
    print("  -D <dir>, --destdir=<dir>     installation chroot (default: none).")
                                                                                ^
TabError: inconsistent use of tabs and spaces in indentation
*** Error code 1

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

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