=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Installing for py27-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/python2.7 CC=clang CFLAGS=-pipe\ -Os\ -I/opt/pkg/include CPPFLAGS=-I/opt/pkg/include CXX=clang++ CXXFLAGS=-pipe\ -Os\ -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/python2.7 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 top-level names to z3_solver.egg-info/top_level.txt writing dependency_links to z3_solver.egg-info/dependency_links.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/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 running install_lib creating /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/__init__.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 creating /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_ast_map.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_ast_vector.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_context.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_datalog.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_goal.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_log_macros.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_model.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_polynomial.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_solver.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_stats.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_tactic.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_util.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3++.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_algebraic.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_api.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_ast_containers.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_fixedpoint.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_fpa.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_logger.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_macros.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_optimization.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_polynomial.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_private.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_rcf.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_replayer.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_spacer.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_v1.h -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/include creating /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/lib copying build/lib/z3/lib/libz3.dylib -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/lib copying build/lib/z3/z3.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3consts.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3core.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3num.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3poly.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3printer.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3rcf.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3types.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3util.py -> /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3 byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/__init__.py to __init__.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3.py to z3.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3consts.py to z3consts.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3core.py to z3core.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3num.py to z3num.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3poly.py to z3poly.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3printer.py to z3printer.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3rcf.py to z3rcf.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3types.py to z3types.pyc byte-compiling /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3/z3util.py to z3util.pyc writing byte-compilation script '/tmp/tmpQlvf9_.py' /opt/pkg/bin/python2.7 -O /tmp/tmpQlvf9_.py removing /tmp/tmpQlvf9_.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/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info running install_scripts => Automatic manual page handling => Generating post-install file lists if test -d "/Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info"; then /usr/bin/find /Users/pbulk/build/math/py-z3solver/work/.destdir/opt/pkg/lib/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info -type f -exec /bin/chmod 644 '{}' +; fi => Checking file-check results for py27-z3solver-4.8.9.0nb2 => Checking for non-existent script interpreters in py27-z3solver-4.8.9.0nb2 => Checking file permissions in py27-z3solver-4.8.9.0nb2 => Checking for missing run-time search paths in py27-z3solver-4.8.9.0nb2 ERROR: lib/python2.7/site-packages/z3/lib/libz3.dylib: relative library path: libz3.dylib ERROR: lib/python2.7/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