=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Installing for py38-z3solver-4.8.9.0nb2
=> Generating pre-install file lists
=> Creating installation directories
(cd /Users/pbulk/build/math/py-z3solver/work/z3-solver-4.8.9.0/ && /usr/bin/env DESTDIR=/Users/pbulk/build/math/py-z3solver/work/.destdir USETOOLS=no GOTMPDIR=/Users/pbulk/build PTHREAD_CFLAGS=\ -D_REENTRANT PTHREAD_LDFLAGS= PTHREAD_LIBS=-lpthread PTHREADBASE= DL_CFLAGS= DL_LDFLAGS= DL_LIBS= MACOSX_DEPLOYMENT_TARGET=11.3 PYTHON=/opt/pkg/bin/python3.8 CC=clang CFLAGS=-pipe\ -Os\ -I/opt/pkg/include/python3.8\ -I/opt/pkg/include CPPFLAGS=-I/opt/pkg/include/python3.8\ -I/opt/pkg/include CXX=clang++ CXXFLAGS=-pipe\ -Os\ -I/opt/pkg/include/python3.8\ -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 LINKER_RPATH_FLAG=-L PATH=/Users/pbulk/build/math/py-z3solver/work/.cwrapper/bin:/Users/pbulk/build/math/py-z3solver/work/.buildlink/bin:/Users/pbulk/build/math/py-z3solver/work/.tools/bin:/opt/pkg/bin:/sbin:/bin:/usr/sbin:/usr/bin:/opt/pkg/bin:/opt/pkg/bin PREFIX=/opt/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/opt/pkg/etc HOME=/Users/pbulk/build/math/py-z3solver/work/.home CWRAPPERS_CONFIG_DIR=/Users/pbulk/build/math/py-z3solver/work/.cwrapper/config CPP=clang\ -E LOCALBASE=/opt/pkg X11BASE=/opt/pkg PKGMANDIR=share/man PKGINFODIR=info PKGGNUDIR=gnu/ MAKECONF=/dev/null OBJECT_FMT=Mach-O USETOOLS=no BSD_INSTALL_PROGRAM=/usr/bin/install\ -c\ \ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_SCRIPT=/usr/bin/install\ -c\ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_LIB=/usr/bin/install\ -c\ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ staff\ -m\ 644 BSD_INSTALL_MAN=/usr/bin/install\ -c\ -o\ pbulk\ -g\ staff\ -m\ 644 BSD_INSTALL=/usr/bin/install BSD_INSTALL_PROGRAM_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_LIB_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_DATA_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_MAN_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ staff\ -m\ 755 BSD_INSTALL_GAME=/usr/bin/install\ -c\ \ -o\ pbulk\ -g\ staff\ -m\ 2555 BSD_INSTALL_GAME_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ staff\ -m\ 664 BSD_INSTALL_GAME_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ staff\ -m\ 775 INSTALL_INFO= MAKEINFO=/Users/pbulk/build/math/py-z3solver/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/Users/pbulk/build/math/py-z3solver/work/.tools/bin/itstool GDBUS_CODEGEN=/Users/pbulk/build/math/py-z3solver/work/.tools/bin/gdbus-codegen PKG_CONFIG=/Users/pbulk/build/math/py-z3solver/work/.tools/bin/pkg-config PKG_CONFIG_LIBDIR=/Users/pbulk/build/math/py-z3solver/work/.buildlink/lib/pkgconfig:/Users/pbulk/build/math/py-z3solver/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/Users/pbulk/build/math/py-z3solver/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/Users/pbulk/build/math/py-z3solver/work/.cwrapper/config  /opt/pkg/bin/python3.8 setup.py  "install"  -c -O1  --root=/Users/pbulk/build/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/include/api_ast_map.h -> build/lib/z3/include
copying z3/include/api_ast_vector.h -> build/lib/z3/include
copying z3/include/api_context.h -> build/lib/z3/include
copying z3/include/api_datalog.h -> build/lib/z3/include
copying z3/include/api_goal.h -> build/lib/z3/include
copying z3/include/api_log_macros.h -> build/lib/z3/include
copying z3/include/api_model.h -> build/lib/z3/include
copying z3/include/api_polynomial.h -> build/lib/z3/include
copying z3/include/api_solver.h -> build/lib/z3/include
copying z3/include/api_stats.h -> build/lib/z3/include
copying z3/include/api_tactic.h -> build/lib/z3/include
copying z3/include/api_util.h -> build/lib/z3/include
copying z3/include/z3++.h -> build/lib/z3/include
copying z3/include/z3.h -> build/lib/z3/include
copying z3/include/z3_algebraic.h -> build/lib/z3/include
copying z3/include/z3_api.h -> build/lib/z3/include
copying z3/include/z3_ast_containers.h -> build/lib/z3/include
copying z3/include/z3_fixedpoint.h -> build/lib/z3/include
copying z3/include/z3_fpa.h -> build/lib/z3/include
copying z3/include/z3_logger.h -> build/lib/z3/include
copying z3/include/z3_macros.h -> build/lib/z3/include
copying z3/include/z3_optimization.h -> build/lib/z3/include
copying z3/include/z3_polynomial.h -> build/lib/z3/include
copying z3/include/z3_private.h -> build/lib/z3/include
copying z3/include/z3_rcf.h -> build/lib/z3/include
copying z3/include/z3_replayer.h -> build/lib/z3/include
copying z3/include/z3_spacer.h -> build/lib/z3/include
copying z3/include/z3_v1.h -> build/lib/z3/include
copying z3/lib/libz3.dylib -> build/lib/z3/lib
running install_lib
creating /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/__init__.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
creating /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_ast_map.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_ast_vector.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_context.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_datalog.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_goal.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_log_macros.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_model.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_polynomial.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_solver.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_stats.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_tactic.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/api_util.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3++.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_algebraic.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_api.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_ast_containers.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_fixedpoint.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_fpa.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_logger.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_macros.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_optimization.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_polynomial.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_private.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_rcf.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_replayer.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_spacer.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
copying build/lib/z3/include/z3_v1.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/include
creating /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/lib
copying build/lib/z3/lib/libz3.dylib -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/lib
copying build/lib/z3/z3.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3consts.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3core.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3num.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3poly.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3printer.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3rcf.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3types.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
copying build/lib/z3/z3util.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/__init__.py to __init__.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3.py to z3.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3consts.py to z3consts.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3core.py to z3core.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3num.py to z3num.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3poly.py to z3poly.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3printer.py to z3printer.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3rcf.py to z3rcf.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3types.py to z3types.cpython-38.pyc
byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3/z3util.py to z3util.cpython-38.pyc
writing byte-compilation script '/tmp/tmpbtjozlcd.py'
/opt/pkg/bin/python3.8 /tmp/tmpbtjozlcd.py
removing /tmp/tmpbtjozlcd.py
running install_data
creating /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/bin
copying bin/z3 -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/bin
running install_egg_info
Copying z3_solver.egg-info to /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3_solver-4.8.9.0-py3.8.egg-info
running install_scripts
/opt/pkg/lib/python3.8/site-packages/setuptools/command/install.py:34: SetuptoolsDeprecationWarning: setup.py install is deprecated. Use build and pip and other standards-based tools.
  warnings.warn(
/opt/pkg/lib/python3.8/site-packages/setuptools/command/build_py.py:202: SetuptoolsDeprecationWarning:     Installing 'z3.include' as data is deprecated, please list it in `packages`.
    !!


    ############################
    # Package would be ignored #
    ############################
    Python recognizes 'z3.include' as an importable package,
    but it is not listed in the `packages` configuration of setuptools.

    'z3.include' has been automatically added to the distribution only
    because it may contain data files, but this behavior is likely to change
    in future versions of setuptools (and therefore is considered deprecated).

    Please make sure that 'z3.include' is included as a package by using
    the `packages` configuration field or the proper discovery methods
    (for example by using `find_namespace_packages(...)`/`find_namespace:`
    instead of `find_packages(...)`/`find:`).

    You can read more about "package discovery" and "data files" on setuptools
    documentation page.


!!

  check.warn(importable)
/opt/pkg/lib/python3.8/site-packages/setuptools/command/build_py.py:202: SetuptoolsDeprecationWarning:     Installing 'z3.lib' as data is deprecated, please list it in `packages`.
    !!


    ############################
    # Package would be ignored #
    ############################
    Python recognizes 'z3.lib' as an importable package,
    but it is not listed in the `packages` configuration of setuptools.

    'z3.lib' has been automatically added to the distribution only
    because it may contain data files, but this behavior is likely to change
    in future versions of setuptools (and therefore is considered deprecated).

    Please make sure that 'z3.lib' is included as a package by using
    the `packages` configuration field or the proper discovery methods
    (for example by using `find_namespace_packages(...)`/`find_namespace:`
    instead of `find_packages(...)`/`find:`).

    You can read more about "package discovery" and "data files" on setuptools
    documentation page.


!!

  check.warn(importable)
=> Automatic manual page handling
=> Generating post-install file lists
if test -d "/Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3_solver-4.8.9.0-py3.8.egg-info"; then  /usr/bin/find /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python3.8/site-packages/z3_solver-4.8.9.0-py3.8.egg-info -type f  -exec /bin/chmod 644 '{}' +;  fi
=> Checking file-check results for py38-z3solver-4.8.9.0nb2
=> Checking for non-existent script interpreters in py38-z3solver-4.8.9.0nb2
=> Checking file permissions in py38-z3solver-4.8.9.0nb2
=> Checking for missing run-time search paths in py38-z3solver-4.8.9.0nb2
ERROR: lib/python3.8/site-packages/z3/lib/libz3.dylib: relative library path: libz3.dylib
ERROR: lib/python3.8/site-packages/z3/lib/libz3.dylib: missing library: libz3.dylib
*** Error code 1

Stop.
bmake[1]: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos11-trunk-arm64/math/py-z3solver
*** Error code 1

Stop.
bmake: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos11-trunk-arm64/math/py-z3solver