=> Bootstrap dependency digest>=20010302: found digest-20211005 ===> Skipping vulnerability checks. WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found. WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'. ===> Installing for py27-z3solver-4.8.9.0 => Generating pre-install file lists => Creating installation directories (cd /tmp/math/py-z3solver/work/z3-solver-4.8.9.0/ && /usr/bin/env PKGSRC_PYTHON_NO_EGG=defined DESTDIR=/tmp/math/py-z3solver/work/.destdir USETOOLS=no PTHREAD_CFLAGS=\ -pthread\ PTHREAD_LDFLAGS=\ -pthread PTHREAD_LIBS= PTHREADBASE=/usr DL_CFLAGS=\ -pthread\ DL_LDFLAGS=\ -pthread DL_LIBS= PYTHON=/usr/pkg/bin/python2.7 CC=gcc CFLAGS=-O2\ -fPIC\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/usr/pkg/include CPPFLAGS=-I/usr/include\ -I/usr/pkg/include CXX=c++ CXXFLAGS=-O2\ -fPIC\ -D_FORTIFY_SOURCE=2\ -I/usr/include\ -I/usr/pkg/include COMPILER_RPATH_FLAG=-Wl,-R F77=gfortran FC=gfortran 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=-Wl,-zrelro\ -Wl,-znow\ -L/usr/lib\ -Wl,-R/usr/lib\ -L/usr/pkg/lib\ -Wl,-R/usr/pkg/lib LINKER_RPATH_FLAG=-R PATH=/tmp/math/py-z3solver/work/.cwrapper/bin:/tmp/math/py-z3solver/work/.buildlink/bin:/tmp/math/py-z3solver/work/.gcc/bin:/tmp/math/py-z3solver/work/.tools/bin:/usr/pkg/bin:/usr/bin:/bin:/usr/pkg/bin:/usr/local/bin:/usr/pkg/bin:/usr/X11R7/bin PREFIX=/usr/pkg MAKELEVEL=0 CONFIG_SITE= PKG_SYSCONFDIR=/usr/pkg/etc HOME=/tmp/math/py-z3solver/work/.home CWRAPPERS_CONFIG_DIR=/tmp/math/py-z3solver/work/.cwrapper/config CPP=cpp LOCALBASE=/usr/pkg X11BASE=/usr/X11R7 PKGMANDIR=man PKGINFODIR=info PKGGNUDIR=gnu/ MAKECONF=/dev/null OBJECT_FMT=ELF USETOOLS=no BSD_INSTALL_PROGRAM=/usr/bin/install\ -c\ -s\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_SCRIPT=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_LIB=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 644 BSD_INSTALL_MAN=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 644 BSD_INSTALL=/usr/bin/install BSD_INSTALL_PROGRAM_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_SCRIPT_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_LIB_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_DATA_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_MAN_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 755 BSD_INSTALL_GAME=/usr/bin/install\ -c\ -s\ -o\ pbulk\ -g\ wheel\ -m\ 2555 BSD_INSTALL_GAME_DATA=/usr/bin/install\ -c\ -o\ pbulk\ -g\ wheel\ -m\ 664 BSD_INSTALL_GAME_DIR=/usr/bin/install\ -d\ -o\ pbulk\ -g\ wheel\ -m\ 775 INSTALL_INFO= MAKEINFO=/tmp/math/py-z3solver/work/.tools/bin/makeinfo FLEX= BISON= ITSTOOL=/tmp/math/py-z3solver/work/.tools/bin/itstool GDBUS_CODEGEN=/tmp/math/py-z3solver/work/.tools/bin/gdbus-codegen PKG_CONFIG= PKG_CONFIG_LIBDIR=/tmp/math/py-z3solver/work/.buildlink/lib/pkgconfig:/tmp/math/py-z3solver/work/.buildlink/share/pkgconfig PKG_CONFIG_LOG=/tmp/math/py-z3solver/work/.pkg-config.log PKG_CONFIG_PATH= CWRAPPERS_CONFIG_DIR=/tmp/math/py-z3solver/work/.cwrapper/config /usr/pkg/bin/python2.7 setup.py "install" -c -O1 --single-version-externally-managed --root=/tmp/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 LD_LIBRARY_PATH environment variable. Use the following command to install Z3 at prefix /usr/pkg. sudo make install Copying binaries running build_py copying z3/z3core.py -> build/lib/z3 copying z3/z3consts.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.so -> build/lib/z3/lib copying z3/include/z3_v1.h -> build/lib/z3/include copying z3/include/z3_macros.h -> build/lib/z3/include copying z3/include/api_stats.h -> build/lib/z3/include copying z3/include/api_goal.h -> build/lib/z3/include copying z3/include/z3_fpa.h -> build/lib/z3/include copying z3/include/api_solver.h -> build/lib/z3/include copying z3/include/api_context.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_tactic.h -> build/lib/z3/include copying z3/include/z3_replayer.h -> build/lib/z3/include copying z3/include/api_polynomial.h -> build/lib/z3/include copying z3/include/api_util.h -> build/lib/z3/include copying z3/include/api_ast_map.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/z3_rcf.h -> build/lib/z3/include copying z3/include/z3_ast_containers.h -> build/lib/z3/include copying z3/include/api_datalog.h -> build/lib/z3/include copying z3/include/z3_api.h -> build/lib/z3/include copying z3/include/z3_optimization.h -> build/lib/z3/include copying z3/include/api_model.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/z3_logger.h -> build/lib/z3/include copying z3/include/z3_algebraic.h -> build/lib/z3/include copying z3/include/api_log_macros.h -> build/lib/z3/include copying z3/include/z3++.h -> build/lib/z3/include running install_lib creating /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3util.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3types.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3num.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3printer.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3rcf.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/__init__.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3poly.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 creating /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/lib copying build/lib/z3/lib/libz3.so -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/lib creating /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_v1.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_macros.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_stats.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_goal.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_fpa.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_solver.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_context.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_ast_vector.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_fixedpoint.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_tactic.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_replayer.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_polynomial.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_util.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_ast_map.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_polynomial.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_rcf.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_ast_containers.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_datalog.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_api.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_optimization.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_model.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_spacer.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_private.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_logger.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3_algebraic.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/api_log_macros.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/include/z3++.h -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/include copying build/lib/z3/z3core.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 copying build/lib/z3/z3consts.py -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3 byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3util.py to z3util.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3types.py to z3types.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3num.py to z3num.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3printer.py to z3printer.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3.py to z3.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3rcf.py to z3rcf.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/__init__.py to __init__.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3poly.py to z3poly.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3core.py to z3core.pyc byte-compiling /tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3/z3consts.py to z3consts.pyc writing byte-compilation script '/tmp/tmpTmbx7Z.py' /usr/pkg/bin/python2.7 -O /tmp/tmpTmbx7Z.py removing /tmp/tmpTmbx7Z.py running install_data creating /tmp/math/py-z3solver/work/.destdir/usr/pkg/bin copying bin/z3 -> /tmp/math/py-z3solver/work/.destdir/usr/pkg/bin running install_egg_info Copying z3_solver.egg-info to /tmp/math/py-z3solver/work/.destdir/usr/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 "/tmp/math/py-z3solver/work/.destdir/usr/pkg/lib/python2.7/site-packages/z3_solver-4.8.9.0-py2.7.egg-info"; then /usr/bin/find /tmp/math/py-z3solver/work/.destdir/usr/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.0 => Checking for non-existent script interpreters in py27-z3solver-4.8.9.0 => Checking file permissions in py27-z3solver-4.8.9.0 => Checking for RELRO in py27-z3solver-4.8.9.0 ERROR: lib/python2.7/site-packages/z3/lib/libz3.so: missing RELRO *** Error code 1 Stop. make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/py-z3solver *** Error code 1 Stop. make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/math/py-z3solver