[package - 132arm64-default][security/klee] Failed for klee-3.0 in package
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sun, 17 Dec 2023 00:12:07 UTC
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: arrowd@FreeBSD.org
Log URL: https://pkg-status.freebsd.org/ampere3/data/132arm64-default/1dd4264fe4a8/logs/klee-3.0.log
Build URL: https://pkg-status.freebsd.org/ampere3/build.html?mastername=132arm64-default&build=1dd4264fe4a8
Log:
=>> Building security/klee
build started at Sun Dec 17 00:07:54 UTC 2023
port directory: /usr/ports/security/klee
package name: klee-3.0
building for: FreeBSD 132arm64-default-job-06 13.2-RELEASE-p8 FreeBSD 13.2-RELEASE-p8 arm64
maintained by: arrowd@FreeBSD.org
Makefile datestamp: -rw-r--r-- 1 root wheel 1539 Nov 7 01:02 /usr/ports/security/klee/Makefile
Ports top last git commit: 1dd4264fe4
Ports top unclean checkout: no
Port dir last git commit: 281f8058ca
Port dir unclean checkout: no
Poudriere version: poudriere-git-3.4.0
Host OSVERSION: 1500006
Jail OSVERSION: 1302001
Job Id: 06
---Begin Environment---
SHELL=/bin/csh
OSVERSION=1302001
UNAME_v=FreeBSD 13.2-RELEASE-p8
UNAME_r=13.2-RELEASE-p8
BLOCKSIZE=K
MAIL=/var/mail/root
MM_CHARSET=UTF-8
LANG=C.UTF-8
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
MAKE_OBJDIR_CHECK_WRITABLE=0
LOCALBASE=/usr/local
USER=root
POUDRIERE_NAME=poudriere-git
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.4.0
MASTERMNT=/usr/local/poudriere/data/.m/132arm64-default/ref
LC_COLLATE=C
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=
OUTPUT_REDIRECTED_STDERR=4
OUTPUT_REDIRECTED=1
PWD=/usr/local/poudriere/data/.m/132arm64-default/06/.p
OUTPUT_REDIRECTED_STDOUT=3
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=132arm64-default
SCRIPTPREFIX=/usr/local/share/poudriere
SCRIPTNAME=bulk.sh
OLDPWD=/usr/local/poudriere/data/.m/132arm64-default/ref/.p/pool
POUDRIERE_PKGNAME=poudriere-git-3.4.0
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
MAKE_ARGS=
---End Poudriere Port Flags/Env---
---Begin OPTIONS List---
===> 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
---End OPTIONS List---
--MAINTAINER--
arrowd@FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
PKG_CONFIG=pkgconf PYTHON="/usr/local/bin/python3.9" XDG_DATA_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CACHE_HOME=/wrkdirs/usr/ports/security/klee/work/.cache HOME=/wrkdirs/usr/ports/security/klee/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/security/klee/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/security/klee/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local"
--End CONFIGURE_ENV--
--MAKE_ENV--
NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CACHE_HOME=/wrkdirs/usr/ports/security/klee/work/.cache HOME=/wrkdirs/usr/ports/security/klee/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/security/klee/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/security/klee/work/.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 DESTDIR=/wrkdirs/usr/ports/security/klee/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing " CPP="cpp" CPPFLAGS="-isystem /usr/local/include" LDFLAGS=" -fstack-protector-strong " LIBS="-L/usr/local/lib" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-al
iasing -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"
--End MAKE_ENV--
--PLIST_SUB--
32BIT="" 64BIT="" CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=freebsd13 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=13.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/klee" EXAMPLESDIR="share/examples/klee" DATADIR="share/klee" WWWDIR="www/klee" ETCDIR="etc/klee"
--End PLIST_SUB--
--SUB_LIST--
PYTHON_INCLUDEDIR=/usr/local/include/python3.9 PYTHON_LIBDIR=/usr/local/lib/python3.9 PYTHON_PLATFORM=freebsd13 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
--End SUB_LIST--
---Begin make.conf---
USE_PACKAGE_DEPENDS=yes
BATCH=yes
WRKDIRPREFIX=/wrkdirs
PORTSDIR=/usr/ports
PACKAGES=/packages
DISTDIR=/distfiles
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
#### ####
# XXX: We really need this but cannot use it while 'make checksum' does not
# try the next mirror on checksum failure. It currently retries the same
# failed mirror and then fails rather then trying another. It *does*
# try the next if the size is mismatched though.
#MASTER_SITE_FREEBSD=yes
# Build ALLOW_MAKE_JOBS_PACKAGES with 3 jobs
MAKE_JOBS_NUMBER=3
#### Misc Poudriere ####
.include "/etc/make.conf.ports_env"
GID=0
UID=0
---End make.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 1048576
stack size (kbytes, -s) 1048576
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 89999
open files (-n) 8192
virtual mem size (kbytes, -v) unlimited
swap limit (kbytes, -w) unlimited
socket buffer size (bytes, -b) unlimited
pseudo-terminals (-p) unlimited
kqueues (-k) unlimited
umtx shared locks (-o) unlimited
--End resource limits--
=======================<phase: check-sanity >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License NCSA accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> klee-3.0 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.20.9.pkg
[132arm64-default-job-06] Installing pkg-1.20.9...
[132arm64-default-job-06] Extracting pkg-1.20.9: .......... done
===> klee-3.0 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of klee-3.0
===========================================================================
=======================<phase: fetch-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: fetch >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License NCSA accepted by the user
=> klee-klee-v3.0_GH0.tar.gz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch https://codeload.github.com/klee/klee/tar.gz/v3.0?dummy=/klee-klee-v3.0_GH0.tar.gz
fetch: https://codeload.github.com/klee/klee/tar.gz/v3.0?dummy=/klee-klee-v3.0_GH0.tar.gz: size unknown
fetch: https://codeload.github.com/klee/klee/tar.gz/v3.0?dummy=/klee-klee-v3.0_GH0.tar.gz: size of remote file is not known
klee-klee-v3.0_GH0.tar.gz 1018 kB 4946 kBps 00s
===> Fetching all distfiles required by klee-3.0 for building
===========================================================================
=======================<phase: checksum >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License NCSA accepted by the user
===> Fetching all distfiles required by klee-3.0 for building
=> SHA256 Checksum OK for klee-klee-v3.0_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: extract >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> License NCSA accepted by the user
===> 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.
===========================================================================
=======================<phase: patch-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===========================================================================
=======================<phase: patch >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Patching for klee-3.0
===========================================================================
=======================<phase: build-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> klee-3.0 depends on executable: gmake - not found
===> Installing existing package /packages/All/gmake-4.3_2.pkg
[132arm64-default-job-06] Installing gmake-4.3_2...
[132arm64-default-job-06] `-- Installing gettext-runtime-0.22.3...
[132arm64-default-job-06] | `-- Installing indexinfo-0.3.1...
[132arm64-default-job-06] | `-- Extracting indexinfo-0.3.1: .... done
[132arm64-default-job-06] `-- Extracting gettext-runtime-0.22.3: .......... done
[132arm64-default-job-06] Extracting gmake-4.3_2: .......... done
===> klee-3.0 depends on executable: gmake - found
===> Returning to build of klee-3.0
===> klee-3.0 depends on executable: z3 - not found
===> Installing existing package /packages/All/z3-4.12.1.pkg
[132arm64-default-job-06] Installing z3-4.12.1...
[132arm64-default-job-06] Extracting z3-4.12.1: .......... done
===> klee-3.0 depends on executable: z3 - found
===> Returning to build of klee-3.0
<snip>
[ 75% 292/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/memchr.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/memchr64_Release+Debug.bc
[ 76% 293/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/mempcpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/mempcpy64_Release+Debug.bc
[ 76% 294/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/putchar.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/putchar64_Release+Debug.bc
[ 76% 295/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/stpcpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/stpcpy64_Release+Debug.bc
[ 76% 296/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcat.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcat64_Release+Debug.bc
[ 77% 297/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strchr.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strchr64_Release+Debug.bc
[ 77% 298/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcmp.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcmp64_Release+Debug.bc
[ 77% 299/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcoll.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcoll64_Release+Debug.bc
[ 78% 300/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcpy64_Release+Debug.bc
[ 78% 301/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strlen.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strlen64_Release+Debug.bc
[ 78% 302/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strncmp.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strncmp64_Release+Debug.bc
[ 78% 303/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strncpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strncpy64_Release+Debug.bc
[ 79% 304/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strrchr.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strrchr64_Release+Debug.bc
[ 79% 305/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strtol.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strtol64_Release+Debug.bc
[ 79% 306/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strtoul.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strtoul64_Release+Debug.bc
[ 79% 307/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/tolower.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/tolower64_Release+Debug.bc
[ 80% 308/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/toupper.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/toupper64_Release+Debug.bc
[ 80% 309/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/__cxa_atexit.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/__cxa_atexit64_Release.bc
[ 80% 310/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/abort.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/abort64_Release.bc
[ 80% 311/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeKLEELibc64_Release+Debug.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/__cxa_atexit64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/abort64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/atexit64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/atoi64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/bcmp64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/calloc64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/fortify-klibc64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/htonl64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime
/klee-libc/memchr64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/mempcpy64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/putchar64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/stpcpy64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcat64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strchr64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcmp64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcoll64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcpy64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strlen64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strncmp64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-
libc/strncpy64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strrchr64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strtol64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strtoul64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/tolower64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/toupper64_Release+Debug.bc
[ 81% 312/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/atexit.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/atexit64_Release.bc
[ 81% 313/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/atoi.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/atoi64_Release.bc
[ 81% 314/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/bcmp.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/bcmp64_Release.bc
[ 81% 315/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/calloc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/calloc64_Release.bc
[ 82% 316/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/fortify-klibc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/fortify-klibc64_Release.bc
[ 82% 317/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/htonl.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/htonl64_Release.bc
[ 82% 318/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/mempcpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/mempcpy64_Release.bc
[ 82% 319/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/memchr.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/memchr64_Release.bc
[ 83% 320/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/putchar.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/putchar64_Release.bc
[ 83% 321/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/stpcpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/stpcpy64_Release.bc
[ 83% 322/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcat.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcat64_Release.bc
[ 84% 323/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strchr.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strchr64_Release.bc
[ 84% 324/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcmp.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcmp64_Release.bc
[ 84% 325/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcoll.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcoll64_Release.bc
[ 84% 326/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strcpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcpy64_Release.bc
[ 85% 327/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strlen.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strlen64_Release.bc
[ 85% 328/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strncmp.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strncmp64_Release.bc
[ 85% 329/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strncpy.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strncpy64_Release.bc
[ 85% 330/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strrchr.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strrchr64_Release.bc
[ 86% 331/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strtol.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strtol64_Release.bc
[ 86% 332/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/tolower.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/tolower64_Release.bc
[ 86% 333/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/strtoul.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strtoul64_Release.bc
[ 86% 334/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/klee-libc/toupper.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/toupper64_Release.bc
[ 87% 335/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../Freestanding/fortify-fs.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Debug+Asserts.bc
[ 87% 336/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../klee-libc/fortify-klibc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Debug+Asserts.bc
[ 87% 337/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeKLEELibc64_Release.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/__cxa_atexit64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/abort64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/atexit64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/atoi64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/bcmp64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/calloc64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/fortify-klibc64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/htonl64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/memchr64_Release.bc /wrkdirs/usr/ports/secu
rity/klee/work/.build/runtime/klee-libc/mempcpy64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/putchar64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/stpcpy64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcat64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strchr64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcmp64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcoll64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strcpy64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strlen64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strncmp64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strncpy64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strrchr64_Release.bc /wrkdirs/u
sr/ports/security/klee/work/.build/runtime/klee-libc/strtol64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/strtoul64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/tolower64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/klee-libc/toupper64_Release.bc
[ 87% 338/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../Freestanding/fortify-fs.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Debug.bc
[ 88% 339/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../klee-libc/fortify-klibc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Debug.bc
[ 88% 340/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/fortify.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Debug+Asserts.bc
[ 88% 341/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeFortify64_Debug+Asserts.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Debug+Asserts.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Debug+Asserts.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Debug+Asserts.bc
[ 89% 342/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../Freestanding/fortify-fs.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release+Asserts.bc
[ 89% 343/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/fortify.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Debug.bc
[ 89% 344/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../klee-libc/fortify-klibc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release+Asserts.bc
[ 89% 345/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeFortify64_Debug.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Debug.bc
[ 90% 346/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/fortify.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release+Asserts.bc
[ 90% 347/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../klee-libc/fortify-klibc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release+Debug+Asserts.bc
[ 90% 348/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../Freestanding/fortify-fs.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release+Debug+Asserts.bc
[ 90% 349/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeFortify64_Release+Asserts.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release+Asserts.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release+Asserts.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release+Asserts.bc
[ 91% 350/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../Freestanding/fortify-fs.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release+Debug.bc
[ 91% 351/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/fortify.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release+Debug+Asserts.bc
[ 91% 352/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../klee-libc/fortify-klibc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release+Debug.bc
[ 91% 353/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeFortify64_Release+Debug+Asserts.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release+Debug+Asserts.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release+Debug+Asserts.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release+Debug+Asserts.bc
[ 92% 354/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../Freestanding/fortify-fs.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release.bc
[ 92% 355/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/fortify.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release+Debug.bc
[ 92% 356/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/../klee-libc/fortify-klibc.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release.bc
[ 92% 357/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeFortify64_Release+Debug.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release+Debug.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release+Debug.bc
[ 93% 358/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/clang -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone -D__NO_INLINE__ -std=gnu89 /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Fortify/fortify.c -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release.bc
[ 93% 359/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/clang++ -c -emit-llvm -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Sanitizer/ubsan/ubsan_handlers.cpp -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Debug.bc
[ 93% 360/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/clang++ -c -emit-llvm -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Sanitizer/ubsan/ubsan_handlers.cpp -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Debug+Asserts.bc
[ 93% 361/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeRuntimeFortify64_Release.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-fs64_Release.bc /wrkdirs/usr/ports/security/klee/work/.build/runtime/Fortify/fortify-klibc64_Release.bc
[ 94% 362/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeUBSan64_Debug.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Debug.bc
[ 94% 363/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeUBSan64_Debug+Asserts.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Debug+Asserts.bc
[ 94% 364/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/clang++ -c -emit-llvm -O2 -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Sanitizer/ubsan/ubsan_handlers.cpp -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release+Asserts.bc
[ 95% 365/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeUBSan64_Release+Asserts.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release+Asserts.bc
[ 95% 366/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/clang++ -c -emit-llvm -O2 -g -D_DEBUG -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Sanitizer/ubsan/ubsan_handlers.cpp -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release+Debug.bc
[ 95% 367/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/clang++ -c -emit-llvm -O2 -g -D_DEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Sanitizer/ubsan/ubsan_handlers.cpp -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release+Debug+Asserts.bc
[ 95% 368/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeUBSan64_Release+Debug.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release+Debug.bc
[ 96% 369/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeUBSan64_Release+Debug+Asserts.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release+Debug+Asserts.bc
[ 96% 370/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/clang++ -c -emit-llvm -O2 -DNDEBUG -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -D_FORTIFY_SOURCE=0 -D_GNU_SOURCE -D__STDC_LIMIT_MACROS -D__STDC_CONSTANT_MACROS -Wall -Wwrite-strings -Xclang -disable-O0-optnone /wrkdirs/usr/ports/security/klee/work/klee-3.0/runtime/Sanitizer/ubsan/ubsan_handlers.cpp -o /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release.bc
[ 96% 371/382] cd /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer && /usr/local/llvm14/bin/llvm-ar rcs /wrkdirs/usr/ports/security/klee/work/.build/runtime/lib/libkleeUBSan64_Release.bca /wrkdirs/usr/ports/security/klee/work/.build/runtime/Sanitizer/ubsan_handlers64_Release.bc
[ 96% 372/382] /usr/bin/c++ -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -MD -MT tools/ktest-randgen/CMakeFiles/ktest-randgen.dir/ktest-randgen.cpp.o -MF tools/ktest-randgen/CMakeFiles/ktest-randgen.dir/ktest-randgen.cpp.o.d -o tools/ktest-randgen/CMakeFiles/ktest-randgen.dir/ktest-randgen.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/ktest-randgen/ktest-randgen.cpp
[ 97% 373/382] /usr/bin/c++ -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -MD -MT tools/ktest-gen/CMakeFiles/ktest-gen.dir/ktest-gen.cpp.o -MF tools/ktest-gen/CMakeFiles/ktest-gen.dir/ktest-gen.cpp.o.d -o tools/ktest-gen/CMakeFiles/ktest-gen.dir/ktest-gen.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/ktest-gen/ktest-gen.cpp
[ 97% 374/382] : && /usr/bin/c++ -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -fstack-protector-strong tools/ktest-randgen/CMakeFiles/ktest-randgen.dir/ktest-randgen.cpp.o -o bin/ktest-randgen -Wl,-rpath,/usr/local/llvm14/lib: lib/libkleeBasic.a /usr/local/llvm14/lib/libLLVM-14.so && :
[ 97% 375/382] : && /usr/bin/c++ -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -fstack-protector-strong tools/ktest-gen/CMakeFiles/ktest-gen.dir/ktest-gen.cpp.o -o bin/ktest-gen -Wl,-rpath,/usr/local/llvm14/lib: lib/libkleeBasic.a /usr/local/llvm14/lib/libLLVM-14.so && :
[ 97% 376/382] /usr/bin/cc -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -DNDEBUG -Wall -Wextra -Wno-unused-parameter -MD -MT tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o -MF tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o.d -o tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/klee-replay/fd_init.c
[ 98% 377/382] /usr/bin/cc -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -DNDEBUG -Wall -Wextra -Wno-unused-parameter -MD -MT tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o -MF tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o.d -o tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/klee-replay/file-creator.c
[ 98% 378/382] /usr/bin/cc -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -DNDEBUG -Wall -Wextra -Wno-unused-parameter -MD -MT tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o -MF tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o.d -o tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/klee-replay/klee-replay.c
[ 98% 379/382] /usr/bin/cc -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -DNDEBUG -Wall -Wextra -Wno-unused-parameter -MD -MT tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o -MF tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o.d -o tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/klee-replay/klee_init_env.c
[ 98% 380/382] : && /usr/bin/c++ -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -fstack-protector-strong tools/klee-replay/CMakeFiles/klee-replay.dir/fd_init.c.o tools/klee-replay/CMakeFiles/klee-replay.dir/file-creator.c.o tools/klee-replay/CMakeFiles/klee-replay.dir/klee-replay.c.o tools/klee-replay/CMakeFiles/klee-replay.dir/klee_init_env.c.o -o bin/klee-replay -Wl,-rpath,/usr/local/llvm14/lib: lib/libkleeBasic.a -lutil /usr/local/llvm14/lib/libLLVM-14.so && :
[ 99% 380/382] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o -MF tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o.d -o tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/kleaver/main.cpp
[ 99% 381/382] : && /usr/bin/c++ -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -fstack-protector-strong tools/kleaver/CMakeFiles/kleaver.dir/main.cpp.o -o bin/kleaver -Wl,-rpath,/usr/local/llvm14/lib:/usr/local/lib: lib/libkleaverSolver.a lib/libkleeBasic.a lib/libkleaverExpr.a lib/libkleeSupport.a /usr/local/llvm14/lib/libLLVM-14.so /usr/lib/libz.so /usr/local/lib/libtcmalloc.so /usr/local/lib/libstp.so.2.3 /usr/local/lib/libminisat.so /usr/local/lib/libcryptominisat5.so.5.11 -pthread /usr/local/lib/libz3.so && :
[ 99% 381/382] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -I/wrkdirs/usr/ports/security/klee/work/klee-3.0/include -I/wrkdirs/usr/ports/security/klee/work/.build/include -I/usr/local/llvm14/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -std=gnu++17 -Wall -Wextra -Wno-unused-parameter -UNDEBUG -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -MD -MT tools/klee/CMakeFiles/klee.dir/main.cpp.o -MF tools/klee/CMakeFiles/klee.dir/main.cpp.o.d -o tools/klee/CMakeFiles/klee.dir/main.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-3.0/tools/klee/main.cpp
[100% 382/382] : && /usr/bin/c++ -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -DNDEBUG -fstack-protector-strong tools/klee/CMakeFiles/klee.dir/main.cpp.o -o bin/klee -Wl,-rpath,/usr/local/lib:/usr/local/llvm14/lib: lib/libkleeCore.a lib/libkleeModule.a lib/libkleaverSolver.a lib/libkleeBasic.a /usr/local/lib/libstp.so.2.3 /usr/local/lib/libminisat.so /usr/local/lib/libcryptominisat5.so.5.11 -pthread /usr/local/lib/libz3.so lib/libkleaverExpr.a lib/libkleeSupport.a /usr/lib/libz.so /usr/local/lib/libtcmalloc.so /usr/local/llvm14/lib/libLLVM-14.so /usr/local/lib/libsqlite3.so && :
===========================================================================
=======================<phase: run-depends >============================
===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0
===> klee-3.0 depends on package: py39-tabulate>0 - not found
===> Installing existing package /packages/All/py39-tabulate-0.8.9.pkg
[132arm64-default-job-06] Installing py39-tabulate-0.8.9...
[132arm64-default-job-06] `-- Installing py39-setuptools-63.1.0_1...
[132arm64-default-job-06] `-- Extracting py39-setuptools-63.1.0_1: .......... done
[132arm64-default-job-06] Extracting py39-tabulate-0.8.9: .......... done
===> klee-3.0 depends on package: py39-tabulate>0 - found
===> Returning to build of klee-3.0
===> klee-3.0 depends on executable: z3 - found
===> klee-3.0 depends on executable: llvm-config14 - found
===> klee-3.0 depends on file: /usr/local/bin/python3.9 - found
===========================================================================
=======================<phase: stage >============================
===== env: NO_DEPENDS=yes USER=root UID=0 GID=0
===> Staging for klee-3.0
===> Generating temporary packing list
[ 0% 1/1] cd /wrkdirs/usr/ports/security/klee/work/.build && /usr/local/bin/cmake -DCMAKE_INSTALL_DO_STRIP=1 -P cmake_install.cmake
-- Install configuration: "Release"
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/libkleeRuntest.so.1.0
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/libkleeRuntest.so
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify64_Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan64_Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan64_Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan64_Release.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc64_Release.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify64_Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan64_Release+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify64_Release+Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan64_Release+Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify64_Release+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan64_Release+Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding64_Release.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding64_Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding64_Release+Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding64_Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify64_Release.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic64_Release+Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic64_Release.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc64_Release+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc64_Debug.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic64_Debug+Asserts.bca
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/ktest-gen
-- Set runtime path of "/wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/ktest-gen" to "/usr/local/llvm14/lib"
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/ktest-randgen
-- Set runtime path of "/wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/ktest-randgen" to "/usr/local/llvm14/lib"
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/kleaver
-- Set runtime path of "/wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/kleaver" to "/usr/local/llvm14/lib:/usr/local/lib"
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/klee
-- Set runtime path of "/wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/klee" to "/usr/local/lib:/usr/local/llvm14/lib"
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/klee-replay
-- Set runtime path of "/wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/klee-replay" to "/usr/local/llvm14/lib"
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/klee-stats
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/klee-zesti
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/bin/ktest-tool
-- Installing: /wrkdirs/usr/ports/security/klee/work/stage/usr/local/include/klee/klee.h
====> Compressing man pages (compress-man)
===========================================================================
=======================<phase: package >============================
===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2023-12-17T00:07:54+0000' 'PKG_NOTE_ports_top_git_hash=1dd4264fe4' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=281f8058ca' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.0' NO_DEPENDS=yes USER=root UID=0 GID=0
===> Building package for klee-3.0
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify32_Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify32_Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify32_Release+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify32_Release+Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFortify32_Release.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding32_Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding32_Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding32_Release+Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeFreestanding32_Release.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic32_Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic32_Release+Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeIntrinsic32_Release.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc32_Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc32_Release+Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeRuntimeKLEELibc32_Release.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan32_Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan32_Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan32_Release+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan32_Release+Debug+Asserts.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan32_Release+Debug.bca:No such file or directory
pkg-static: Unable to access file /wrkdirs/usr/ports/security/klee/work/stage/usr/local/lib/klee/runtime/libkleeUBSan32_Release.bca:No such file or directory
*** Error code 1
Stop.
make: stopped in /usr/ports/security/klee