------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 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-3.0: 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.9" XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee XDG_CACHE_HOME=/construction/security/klee/.cache HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/security/klee/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CMAKE_PREFIX_PATH="/usr/local" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/security/klee XDG_CONFIG_HOME=/construction/security/klee XDG_CACHE_HOME=/construction/security/klee/.cache HOME=/construction/security/klee TMPDIR="/tmp" PATH=/construction/security/klee/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/security/klee/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig 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 ------------------------------------------------------------------------------- 32BIT="" 64BIT="" CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=6.5 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 ------------------------------------------------------------------------------- PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=dragonfly6 PYTHON_SITELIBDIR=/usr/local/lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" 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 DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/gmake-4.3_2.pkg Installing /packages/All/z3-4.8.13.pkg Installing /packages/All/expat-2.5.0.pkg Installing /packages/All/libuv-1.46.0.pkg Installing /packages/All/openssl-1.1.1u,1.pkg Installing /packages/All/rhash-1.4.3.pkg Installing /packages/All/pkg-1.19.2.pkg Installing /packages/All/liblz4-1.9.4,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/zstd-1.5.5.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libarchive-3.6.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ncurses-6.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from ncurses-6.4: -- To get the terminfo database please install the terminfo-db package: pkg install terminfo-db Installing /packages/All/cmake-core-3.26.1_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/readline-8.2.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libxml2-2.10.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libffi-3.4.4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/mpdecimal-2.5.1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/python39-3.9.17.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from python39-3.9.17: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py39-gdbm databases/py-gdbm@py39 py39-sqlite3 databases/py-sqlite3@py39 py39-tkinter x11-toolkits/py-tkinter@py39 Installing /packages/All/perl5-5.32.1_3.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/llvm14-14.0.6_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/pkgconf-1.8.1,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/ccache-3.7.12_4.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) create symlink for clang14 create symlink for clang14 (world) create symlink for clang++14 create symlink for clang++14 (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. Installing /packages/All/icu-73.2,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/boost-libs-1.82.0_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required ===== Message from boost-libs-1.82.0_1: -- 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.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/png-1.6.39.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/M4RI-20200125.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/cryptominisat-5.11.11.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/stp-2.3.3_10,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libunwind-20211201_2.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/google-perftools-2.10_3.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required UNFLAVORED databases/sqlite3 -> use databases/sqlite3@default Installing /packages/All/tcl86-8.6.13.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/libedit-3.1.20221030,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/sqlite3-3.42.0,1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-setuptools-63.1.0_1.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required Installing /packages/All/py39-tabulate-0.8.9.pkg pkg: Repository Avalon cannot be opened. 'pkg update' required UNFLAVORED databases/sqlite3 -> use databases/sqlite3@default SUCCEEDED 00:00:33 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> klee-3.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> klee-3.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-3.0 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> klee-3.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-3.0 for building => SHA256 Checksum OK for klee-klee-v3.0_GH0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> klee-3.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by klee-3.0 for building ===> Extracting for klee-3.0 => SHA256 Checksum OK for klee-klee-v3.0_GH0.tar.gz. Extracted Memory Use: 20.22M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for klee-3.0 ===> Applying dragonfly patches for klee-3.0 from /xports/security/klee/dragonfly No file to patch. Skipping... 1 out of 1 hunks ignored--saving rejects to tools/gen-bout/gen-bout.cpp.rej Can't create tools/gen-bout/gen-bout.cpp.rej, output is in /tmp/patchrw6a1202ang: No such file or directory ===> 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