------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=5.9 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- ===> The following configuration options are available for klee-2.2: TCMALLOC=on: Use tcmalloc library for memory management ====> Options available for the multi BACKEND: you have to choose at least one of them Z3=on: Enable Z3 SMT solver STP=on: Enable STP SMT solver ===> Use 'make config' to modify these settings SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.7" XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CMAKE_PREFIX_PATH="/usr/local" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS=" -pipe -O2 -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/security/klee/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.7m PYTHON_LIBDIR=lib/python3.7 PYTHON_PLATFORM=dragonfly5 PYTHON_SITELIBDIR=lib/python3.7/site-packages PYTHON_SUFFIX=37 PYTHON_EXT_SUFFIX= PYTHON_VER=3.7 PYTHON_VERSION=python3.7 PYTHON2="@comment " PYTHON3="" OSREL=5.9 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/klee" EXAMPLESDIR="share/examples/klee" DATADIR="share/klee" WWWDIR="www/klee" ETCDIR="etc/klee" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: SUB_LIST ------------------------------------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/klee DOCSDIR=/usr/local/share/doc/klee EXAMPLESDIR=/usr/local/share/examples/klee WWWDIR=/usr/local/www/klee ETCDIR=/usr/local/etc/klee SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_SUFX=.txz DEVELOPER=1 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500906 OSVERSION=9999999 OSREL=5.9 _OSRELEASE=5.9-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=10 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/ncurses-6.2.20210116.txz Installing /packages/All/libedit-3.1.20191231,1.txz Installing /packages/All/libxml2-2.9.10_2.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/libffi-3.3_1.txz Installing /packages/All/expat-2.2.10.txz Installing /packages/All/readline-8.0.4_1.txz Installing /packages/All/gettext-runtime-0.21.txz Installing /packages/All/openssl-1.1.1i,1.txz Installing /packages/All/python37-3.7.9_1.txz ===== Message from python37-3.7.9_1: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py37-gdbm databases/py-gdbm@py37 py37-sqlite3 databases/py-sqlite3@py37 py37-tkinter x11-toolkits/py-tkinter@py37 Installing /packages/All/perl5-5.32.0_1.txz Installing /packages/All/llvm80-8.0.1_4.txz Installing /packages/All/gmake-4.3_2.txz Installing /packages/All/z3-4.8.9.txz Installing /packages/All/libnghttp2-1.42.0.txz Installing /packages/All/ca_root_nss-3.58.txz ===== Message from ca_root_nss-3.58: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem Installing /packages/All/curl-7.74.0.txz Installing /packages/All/libuv-1.40.0.txz Installing /packages/All/rhash-1.4.1.txz Installing /packages/All/liblz4-1.9.3,1.txz Installing /packages/All/libarchive-3.4.3_1,1.txz Installing /packages/All/cmake-3.19.2.txz Installing /packages/All/pkgconf-1.7.3,1.txz Installing /packages/All/icu-68.2,1.txz Installing /packages/All/boost-libs-1.72.0_3.txz ===== Message from boost-libs-1.72.0_3: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. Installing /packages/All/minisat-2.2.1_2.txz Installing /packages/All/png-1.6.37.txz Installing /packages/All/M4RI-20200125.txz Installing /packages/All/cryptominisat-5.8.0.txz Installing /packages/All/stp-2.3.3_6,1.txz Installing /packages/All/libunwind-20200331_1.txz Installing /packages/All/google-perftools-2.8.1.txz Installing /packages/All/sqlite3-3.34.0,1.txz Installing /packages/All/py37-setuptools-44.0.0.txz Installing /packages/All/py37-tabulate-0.8.6.txz SUCCEEDED 00:01:18 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> klee-2.2 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> klee-2.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-2.2 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> klee-2.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-2.2 for building => SHA256 Checksum OK for klee-klee-v2.2_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> klee-2.2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-2.2 for building ===> Extracting for klee-2.2 => SHA256 Checksum OK for klee-klee-v2.2_GH0.tar.gz. Extracted Memory Use: 20.48M SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for klee-2.2 ===> Applying dragonfly patches for klee-2.2 from /xports/security/klee/dragonfly 1 out of 1 hunks failed--saving rejects to tools/gen-bout/gen-bout.cpp.rej ===> FAILED Applying dragonfly patch-tools_gen-bout_gen-bout.cpp ===> Cleanly applied dragonfly patch(es) patch-lib_Core_Executor.cpp patch-runtime_POSIX_fd.h ===> FAILED to apply cleanly dragonfly patch(es) patch-tools_gen-bout_gen-bout.cpp *** Error code 1 Stop. make: stopped in /xports/security/klee FAILED 00:00:00