=> Bootstrap dependency digest>=20010302: found digest-20190127 => Checksum SHA1 OK for z3-solver-4.5.1.0.post2.tar.gz => Checksum RMD160 OK for z3-solver-4.5.1.0.post2.tar.gz => Checksum SHA512 OK for z3-solver-4.5.1.0.post2.tar.gz ===> Installing dependencies for py27-z3solver-4.5.1.0.post2 ========================================================================== The following variables will affect the build process of this package, py27-z3solver-4.5.1.0.post2. Their current value is shown below: * PYTHON_VERSION_DEFAULT = 37 Based on these variables, the following variables have been set: * PYPACKAGE = python27 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. ========================================================================== => Build dependency cwrappers>=20150314: found cwrappers-20180325 => Full dependency py27-setuptools>=0.8: found py27-setuptools-42.0.2 => Full dependency python27>=2.7.1nb2: found python27-2.7.17 ===> Overriding tools for py27-z3solver-4.5.1.0.post2 ===> Extracting for py27-z3solver-4.5.1.0.post2 ===> Patching for py27-z3solver-4.5.1.0.post2 => Applying pkgsrc patches for py27-z3solver-4.5.1.0.post2 ===> Creating toolchain wrappers for py27-z3solver-4.5.1.0.post2 ===> Configuring for py27-z3solver-4.5.1.0.post2