=> Bootstrap dependency digest>=20010302: found digest-20190127
===> Skipping vulnerability checks.
WARNING: No /opt/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/opt/pkg/sbin/pkg_admin -K /opt/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> Installing for py37-z3solver-4.8.9.0
=> Generating pre-install file lists
=> Creating installation directories
(cd /opt/work/math/py-z3solver/work/z3-solver-4.8.9.0/ && /usr/bin/env PKGSRC_PYTHON_NO_EGG=defined DESTDIR=/opt/work/math/py-z3solver/work/.destdir USETOOLS=no PTHREAD_CFLAGS=\ -D_REENTRANT PTHREAD_LDFLAGS= PTHREAD_LIBS=-lpthread PTHREADBASE= DL_CFLAGS= DL_LDFLAGS= DL_LIBS= PYTHON=/opt/pkg/bin/python3.7 CC=clang CFLAGS=-O2\ -I/opt/pkg/include/python3.7\ -I/opt/pkg/include CPPFLAGS=-I/opt/pkg/include/python3.7\ -I/opt/pkg/include CXX=clang++ CXXFLAGS=-O2\ -I/opt/pkg/include/python3.7\ -I/opt/pkg/include COMPILER_RPATH_FLAG=-L F77=f77 FC=f77 FFLAGS=-O LANG=C LC_ALL=C LC_COLLATE=C LC_CTYPE=C LC_MESSAGES=C LC_MONETARY=C LC_NUMERIC=C LC_TIME=C LDFLAGS=-L/opt/pkg/lib\ -L/usr/lib LINKER_RPATH_FLAG=-L PATH=/opt/work/math/py-z3solver/work/.cwrapper/bin:/opt/work/math/py-z3solver/work/.buildlink/bin:/opt/work/math/py-z3solver/work/.tools/bin:/opt/pkg/bin:/usr/local/bin:/usr/bin:/bin:/usr/sbin:/sbin:/Library/Apple/usr/bin:/opt/pkg-dev/bin:/opt/pkg-dev/sbin:/opt/pkg/bin:/opt/X11/bin PREFIX=/opt/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/opt/pkg/etc HOME=/opt/work/math/py-z3solver/work/.home CWRAPPERS_CONFIG_DIR=/opt/work/math/py-z3solver/work/.cwrapper/config CPP=clang\ -E LOCALBASE=/opt/pkg X11BASE=/opt/X11 PKGMANDIR=man PKGINFODIR=info PKGGNUDIR=gnu/ MAKECONF=/dev/null OBJECT_FMT=Mach-O USETOOLS=no BSD_INSTALL_PROGRAM=/usr/bin/install\ -c\ \ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_SCRIPT=/usr/bin/install\ -c\ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_LIB=/usr/bin/install\ -c\ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_DATA=/usr/bin/install\ -c\ -o\ sjmulder\ -g\ staff\ -m\ 644 BSD_INSTALL_MAN=/usr/bin/install\ -c\ -o\ sjmulder\ -g\ staff\ -m\ 644 BSD_INSTALL=/usr/bin/install BSD_INSTALL_PROGRAM_DIR=/usr/bin/install\ -d\ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/usr/bin/install\ -d\ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_LIB_DIR=/usr/bin/install\ -d\ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_DATA_DIR=/usr/bin/install\ -d\ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_MAN_DIR=/usr/bin/install\ -d\ -o\ sjmulder\ -g\ staff\ -m\ 755 BSD_INSTALL_GAME=/usr/bin/install\ -c\ \ -o\ sjmulder\ -g\ staff\ -m\ 2555 BSD_INSTALL_GAME_DATA=/usr/bin/install\ -c\ -o\ sjmulder\ -g\ staff\ -m\ 664 BSD_INSTALL_GAME_DIR=/usr/bin/install\ -d\ -o\ sjmulder\ -g\ staff\ -m\ 775 INSTALL_INFO= MAKEINFO=/opt/work/math/py-z3solver/work/.tools/bin/makeinfo FLEX= BISON= PKG_CONFIG= PKG_CONFIG_LIBDIR=/opt/work/math/py-z3solver/work/.buildlink/lib/pkgconfig:/opt/work/math/py-z3solver/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/opt/work/math/py-z3solver/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/opt/work/math/py-z3solver/work/.cwrapper/config  /opt/pkg/bin/python3.7 setup.py  "install"  -c -O1 --single-version-externally-managed --root=/opt/work/math/py-z3solver/work/.destdir)
running install
running build
Configuring Z3
Building Z3
--- all ---
Z3 was successfully built.
Z3Py scripts can already be executed in the 'build/python' directory.
Z3Py scripts stored in arbitrary directories can be executed if the 'build/python' directory is added to the PYTHONPATH environment variable and the 'build' directory is added to the DYLD_LIBRARY_PATH environment variable.
Use the following command to install Z3 at prefix /opt/pkg.
    sudo make install
Copying binaries
running build_py
copying z3/z3consts.py -> build/lib/z3
copying z3/z3core.py -> build/lib/z3
running egg_info
writing z3_solver.egg-info/PKG-INFO
writing dependency_links to z3_solver.egg-info/dependency_links.txt
writing top-level names to z3_solver.egg-info/top_level.txt
reading manifest file 'z3_solver.egg-info/SOURCES.txt'
writing manifest file 'z3_solver.egg-info/SOURCES.txt'
copying z3/lib/libz3.dylib -> build/lib/z3/lib
copying z3/include/z3_rcf.h -> build/lib/z3/include
copying z3/include/z3_macros.h -> build/lib/z3/include
copying z3/include/api_tactic.h -> build/lib/z3/include
copying z3/include/z3_polynomial.h -> build/lib/z3/include
copying z3/include/z3++.h -> build/lib/z3/include
copying z3/include/api_polynomial.h -> build/lib/z3/include
copying z3/include/api_model.h -> build/lib/z3/include
copying z3/include/api_solver.h -> build/lib/z3/include
copying z3/include/z3_algebraic.h -> build/lib/z3/include
copying z3/include/z3_fpa.h -> build/lib/z3/include
copying z3/include/api_stats.h -> build/lib/z3/include
copying z3/include/api_log_macros.h -> build/lib/z3/include
copying z3/include/api_datalog.h -> build/lib/z3/include
copying z3/include/z3_optimization.h -> build/lib/z3/include
copying z3/include/z3.h -> build/lib/z3/include
copying z3/include/api_util.h -> build/lib/z3/include
copying z3/include/api_goal.h -> build/lib/z3/include
copying z3/include/z3_logger.h -> build/lib/z3/include
copying z3/include/z3_replayer.h -> build/lib/z3/include
copying z3/include/z3_ast_containers.h -> build/lib/z3/include
copying z3/include/z3_v1.h -> build/lib/z3/include
copying z3/include/z3_api.h -> build/lib/z3/include
copying z3/include/api_ast_vector.h -> build/lib/z3/include
copying z3/include/z3_fixedpoint.h -> build/lib/z3/include
copying z3/include/api_context.h -> build/lib/z3/include
copying z3/include/z3_spacer.h -> build/lib/z3/include
copying z3/include/z3_private.h -> build/lib/z3/include
copying z3/include/api_ast_map.h -> build/lib/z3/include
running install_lib
creating /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3num.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
creating /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_rcf.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_macros.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_tactic.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_polynomial.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3++.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_polynomial.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_model.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_solver.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_algebraic.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_fpa.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_stats.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_log_macros.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_datalog.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_optimization.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_util.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_goal.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_logger.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_replayer.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_ast_containers.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_v1.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_api.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_ast_vector.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_fixedpoint.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_context.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_spacer.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/z3_private.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/include/api_ast_map.h -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/include
copying build/lib/z3/__init__.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3printer.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3types.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3consts.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
creating /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/lib
copying build/lib/z3/lib/libz3.dylib -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/lib
copying build/lib/z3/z3poly.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3core.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3rcf.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
copying build/lib/z3/z3util.py -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3.py to z3.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3num.py to z3num.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/__init__.py to __init__.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3printer.py to z3printer.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3types.py to z3types.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3consts.py to z3consts.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3poly.py to z3poly.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3core.py to z3core.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3rcf.py to z3rcf.cpython-37.pyc
byte-compiling /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3/z3util.py to z3util.cpython-37.pyc
writing byte-compilation script '/tmp/tmpd5xfhk0u.py'
/opt/pkg/bin/python3.7 /tmp/tmpd5xfhk0u.py
removing /tmp/tmpd5xfhk0u.py
running install_data
creating /opt/work/math/py-z3solver/work/.destdir/opt/pkg/bin
copying bin/z3 -> /opt/work/math/py-z3solver/work/.destdir/opt/pkg/bin
running install_egg_info
Copying z3_solver.egg-info to /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3_solver-4.8.9.0-py3.7.egg-info
running install_scripts
=> Automatic manual page handling
=> Generating post-install file lists
if test -d "/opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3_solver-4.8.9.0-py3.7.egg-info"; then  /usr/bin/find /opt/work/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.7/site-packages/z3_solver-4.8.9.0-py3.7.egg-info -type f  -exec /bin/chmod 644 '{}' +;  fi
=> Checking file-check results for py37-z3solver-4.8.9.0
=> Checking for non-existent script interpreters in py37-z3solver-4.8.9.0
=> Checking file permissions in py37-z3solver-4.8.9.0
=> Checking for missing run-time search paths in py37-z3solver-4.8.9.0
ERROR: lib/python3.7/site-packages/z3/lib/libz3.dylib: relative library path: libz3.dylib
ERROR: lib/python3.7/site-packages/z3/lib/libz3.dylib: missing library: libz3.dylib
*** Error code 1

Stop.
bmake[1]: stopped in /opt/pkgsrc/math/py-z3solver
*** Error code 1

Stop.
bmake: stopped in /opt/pkgsrc/math/py-z3solver