=>> Building security/klee
build started at Tue Aug 6 14:18:24 MST 2019
port directory: /usr/ports/security/klee
package name: klee-2.0_2
building for: FreeBSD 112amd64-default-job-05 11.2-RELEASE-p6 FreeBSD 11.2-RELEASE-p6 amd64
maintained by: arrowd@FreeBSD.org
Makefile ident:
Poudriere version: 3.3.99.20190803
Host OSVERSION: 1300037
Jail OSVERSION: 1102000
Job Id: 05
---Begin Environment---
SHELL=/bin/csh
OSVERSION=1102000
UNAME_v=FreeBSD 11.2-RELEASE-p6
UNAME_r=11.2-RELEASE-p6
BLOCKSIZE=K
MAIL=/var/mail/root
WARNING_WAIT=0
STATUS=1
HOME=/root
PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin
LOCALBASE=/usr/local
USER=root
LIBEXECPREFIX=/usr/local/libexec/poudriere
POUDRIERE_VERSION=3.3.99.20190803
MASTERMNT=/poudriere/data/.m/112amd64-default/ref
DEV_WARNING_WAIT=0
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=tmux-256color
GID=0
UID=0
PWD=/poudriere/data/.m/112amd64-default/ref/.p/pool
NO_WARNING_PKG_INSTALL_EOL=yes
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=112amd64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/poudriere/data/.m/112amd64-default/ref/.p
SCRIPTPATH=/usr/local/share/poudriere/bulk.sh
POUDRIEREPATH=/usr/local/bin/poudriere
---End Environment---
---Begin Poudriere Port Flags/Env---
PORT_FLAGS=
PKGENV=
FLAVOR=
DEPENDS_ARGS=
MAKE_ARGS=
---End Poudriere Port Flags/Env---
---Begin OPTIONS List---
===> The following configuration options are available for klee-2.0_2:
TCMALLOC=on: Use tcmalloc library for memory management
====> Solver: Use the: you have to select exactly one of them
Z3=on: Z3 SMT solver
STP=off: 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.6" XDG_DATA_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/security/klee/work 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 SHELL=/bin/sh CONFIG_SHELL=/bin/sh CMAKE_PREFIX_PATH="/usr/local"
--End CONFIGURE_ENV--
--MAKE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/security/klee/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/security/klee/work 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 NO_PIE=yes 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-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"
--End MAKE_ENV--
--PLIST_SUB--
CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.6m PYTHON_LIBDIR=lib/python3.6 PYTHON_PLATFORM=freebsd11 PYTHON_SITELIBDIR=lib/python3.6/site-packages PYTHON_SUFFIX=36 PYTHON_VER=3.6 PYTHON_VERSION=python3.6 PYTHON2="@comment " PYTHON3="" OSREL=11.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--
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
FORCE_PACKAGE=yes
PACKAGE_BUILDING=yes
PACKAGE_BUILDING_FLAVORS=yes
#### /usr/local/etc/poudriere.d/make.conf ####
DEV_WARNING_WAIT=0
#NO_IGNORE=
# Minimize TeX dependency
devel_doxygen_UNSET += DOCS LATEX
# Bootstrapping isn't necessary for modern compilers and prevents taking
# advantage of native-xtools. GCC < 6 aren't C++11-compatible while
# Clang >= 6 and GCC >= 6 default to C++14.
lang_gcc6_UNSET += BOOTSTRAP
lang_gcc7_UNSET += BOOTSTRAP
lang_gcc8_UNSET += BOOTSTRAP
lang_gcc9_UNSET += BOOTSTRAP
# Workaround GCC/qemu crashes
.if ${MACHINE:Marm*}
math_ceres-solver_UNSET += OPENMP
graphics_colmap_UNSET += OPENMP
.endif
#### /usr/local/etc/poudriere.d/112amd64-make.conf ####
OPTIONS_SET += LIBEVENT
irc_bitlbee_UNSET += GLIB
lang_io_SET += Socket
# Prepare for random updates
OPTIONS_SET += X265 VAAPI PYGAME
# Prepare for Rust updates
www_seamonkey_SET += RUST
#DEFAULT_VERSIONS += rust=rust-nightly
# Prepare for ICU updates
OPTIONS_SET += ICU UNICODE
databases_sqlite3_UNSET += ICU
dns_libpsl_UNSET += IDN2
mail_sendmail_SET += SMTPUTF8
sysutils_gdisk_SET += UTF16
# Prepare for Boost updates
OPTIONS_SET += BOOST
audio_pms_SET += REGEX
databases_mariadb100-server_SET += OQGRAPH
databases_mariadb101-server_SET += OQGRAPH
databases_mariadb102-server_SET += OQGRAPH
databases_mariadb103-server_SET += OQGRAPH
databases_mariadb104-server_SET += OQGRAPH
devel_blitz_SET += SERIALIZATION
graphics_vigra_SET += NUMPY
misc_visp_SET += OGRE
science_tfel_SET += PYTHON
textproc_kiss-templates_SET += TEST
www_nghttp2_SET += ASIO
# Prepare for FFmpeg updates
OPTIONS_SET += FFMPEG
audio_libsoxr_SET += AVFFT
graphics_pqiv_SET += LIBAV
multimedia_tvheadend_SET += TRANSCODING
net_freeswitch_SET += ALL_MODULES
www_nginx_SET += HTTP_VIDEO_THUMBEXTRACTOR
www_nginx-devel_SET += HTTP_VIDEO_THUMBEXTRACTOR
#multimedia_gstreamer1-libav_UNSET += FFMPEG
# https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=235240
OPTIONS_SET += INOTIFY LIBINOTIFY FSMONITOR
#### /usr/ports/Mk/Scripts/ports_env.sh ####
_CCVERSION_921dbbb2=FreeBSD clang version 6.0.0 (tags/RELEASE_600/final 326565) (based on LLVM 6.0.0) Target: x86_64-unknown-freebsd11.2 Thread model: posix InstalledDir: /usr/bin
_ALTCCVERSION_921dbbb2=none
_CXXINTERNAL_acaad9ca=FreeBSD clang version 6.0.0 (tags/RELEASE_600/final 326565) (based on LLVM 6.0.0) Target: x86_64-unknown-freebsd11.2 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--hash-style=both" "--enable-new-dtags" "-o" "a.out" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "/dev/null" "-lc++" "-lm" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "-lc" "-lgcc" "--as-needed" "-lgcc_s" "--no-as-needed" "/usr/lib/crtend.o" "/usr/lib/crtn.o"
CC_OUTPUT_921dbbb2_58173849=yes
CC_OUTPUT_921dbbb2_9bdba57c=yes
CC_OUTPUT_921dbbb2_6a4fe7f5=yes
CC_OUTPUT_921dbbb2_6bcac02b=yes
CC_OUTPUT_921dbbb2_67d20829=yes
CC_OUTPUT_921dbbb2_bfa62e83=yes
CC_OUTPUT_921dbbb2_f0b4d593=yes
CC_OUTPUT_921dbbb2_308abb44=yes
CC_OUTPUT_921dbbb2_f00456e5=yes
CC_OUTPUT_921dbbb2_65ad290d=yes
CC_OUTPUT_921dbbb2_f2776b26=yes
CC_OUTPUT_921dbbb2_b2657cc3=yes
CC_OUTPUT_921dbbb2_380987f7=yes
CC_OUTPUT_921dbbb2_160933ec=yes
CC_OUTPUT_921dbbb2_fb62803b=yes
_OBJC_CCVERSION_921dbbb2=FreeBSD clang version 6.0.0 (tags/RELEASE_600/final 326565) (based on LLVM 6.0.0) Target: x86_64-unknown-freebsd11.2 Thread model: posix InstalledDir: /usr/bin
_OBJC_ALTCCVERSION_921dbbb2=none
ARCH=amd64
OPSYS=FreeBSD
_OSRELEASE=11.2-RELEASE-p6
OSREL=11.2
OSVERSION=1102000
PYTHONBASE=/usr/local
HAVE_COMPAT_IA32_KERN=YES
_SMP_CPUS=8
CONFIGURE_MAX_CMD_LEN=262144
HAVE_PORTS_ENV=1
#### Misc Poudriere ####
---End make.conf---
--Resource limits--
cpu time (seconds, -t) unlimited
file size (512-blocks, -f) unlimited
data seg size (kbytes, -d) 33554432
stack size (kbytes, -s) 524288
core file size (512-blocks, -c) unlimited
max memory size (kbytes, -m) unlimited
locked memory (kbytes, -l) unlimited
max user processes (-u) 63536
open files (-n) 1024
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 >============================
===> License NCSA accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> klee-2.0_2 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.11.1.txz
[112amd64-default-job-05] Installing pkg-1.11.1...
[112amd64-default-job-05] Extracting pkg-1.11.1: .......... done
===> klee-2.0_2 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of klee-2.0_2
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License NCSA accepted by the user
===> klee-2.0_2 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by klee-2.0_2 for building
===========================================================================
=======================<phase: checksum >============================
===> License NCSA accepted by the user
===> klee-2.0_2 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by klee-2.0_2 for building
=> SHA256 Checksum OK for klee-klee-v2.0_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> License NCSA accepted by the user
===> klee-2.0_2 depends on file: /usr/local/sbin/pkg - found
===> Fetching all distfiles required by klee-2.0_2 for building
===> Extracting for klee-2.0_2
=> SHA256 Checksum OK for klee-klee-v2.0_GH0.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===========================================================================
=======================<phase: patch >============================
===> Patching for klee-2.0_2
===> Applying FreeBSD patches for klee-2.0_2
===========================================================================
=======================<phase: build-depends >============================
===> klee-2.0_2 depends on executable: llvm-config90 - not found
===> Installing existing package /packages/All/llvm90-9.0.0.r1.txz
[112amd64-default-job-05] Installing llvm90-9.0.0.r1...
[112amd64-default-job-05] `-- Installing libedit-3.1.20190324,1...
[112amd64-default-job-05] `-- Extracting libedit-3.1.20190324,1: .......... done
[112amd64-default-job-05] `-- Installing libxml2-2.9.9...
[112amd64-default-job-05] `-- Extracting libxml2-2.9.9: .......... done
[112amd64-default-job-05] `-- Installing perl5-5.28.2...
[112amd64-default-job-05] `-- Extracting perl5-5.28.2: .......... done
[112amd64-default-job-05] `-- Installing python36-3.6.9...
[112amd64-default-job-05] | `-- Installing gettext-runtime-0.20.1...
[112amd64-default-job-05] | | `-- Installing indexinfo-0.3.1...
[112amd64-default-job-05] | | `-- Extracting indexinfo-0.3.1: .... done
[112amd64-default-job-05] | `-- Extracting gettext-runtime-0.20.1: .......... done
[112amd64-default-job-05] | `-- Installing libffi-3.2.1_3...
[112amd64-default-job-05] | `-- Extracting libffi-3.2.1_3: .......... done
[112amd64-default-job-05] | `-- Installing readline-8.0.0...
[112amd64-default-job-05] | `-- Extracting readline-8.0.0: .......... done
[112amd64-default-job-05] `-- Extracting python36-3.6.9: .......... done
[112amd64-default-job-05] `-- Installing z3-4.8.5_1...
[112amd64-default-job-05] `-- Extracting z3-4.8.5_1: .......... done
[112amd64-default-job-05] Extracting llvm90-9.0.0.r1: .......... done
Message from perl5-5.28.2:
The /usr/bin/perl symlink has been removed starting with Perl 5.20.
For shebangs, you should either use:
#!/usr/local/bin/perl
or
#!/usr/bin/env perl
The first one will only work if you have a /usr/local/bin/perl,
the second will work as long as perl is in PATH.
Message from python36-3.6.9:
===========================================================================
Note that some standard Python modules are provided as separate ports
as they require additional dependencies. They are available as:
py36-gdbm databases/py-gdbm@py36
py36-sqlite3 databases/py-sqlite3@py36
py36-tkinter x11-toolkits/py-tkinter@py36
===========================================================================
===> klee-2.0_2 depends on executable: llvm-config90 - found
===> Returning to build of klee-2.0_2
===> klee-2.0_2 depends on executable: gmake - not found
===> Installing existing package /packages/All/gmake-4.2.1_3.txz
[112amd64-default-job-05] Installing gmake-4.2.1_3...
[112amd64-default-job-05] Extracting gmake-4.2.1_3: .......... done
===> klee-2.0_2 depends on executable: gmake - found
===> Returning to build of klee-2.0_2
===> klee-2.0_2 depends on executable: z3 - found
===> klee-2.0_2 depends on file: /usr/local/bin/cmake - not found
===> Installing existing package /packages/All/cmake-3.14.5_1.txz
[112amd64-default-job-05] Installing cmake-3.14.5_1...
[112amd64-default-job-05] `-- Installing curl-7.65.3...
[112amd64-default-job-05] | `-- Installing ca_root_nss-3.45...
[112amd64-default-job-05] | `-- Extracting ca_root_nss-3.45: ........ done
[112amd64-default-job-05] | `-- Installing libnghttp2-1.39.1_1...
[112amd64-default-job-05] | `-- Extracting libnghttp2-1.39.1_1: .......... done
[112amd64-default-job-05] `-- Extracting curl-7.65.3: .......... done
[112amd64-default-job-05] `-- Installing expat-2.2.6_1...
[112amd64-default-job-05] `-- Extracting expat-2.2.6_1: .......... done
[112amd64-default-job-05] `-- Installing jsoncpp-1.8.1_7...
[112amd64-default-job-05] `-- Extracting jsoncpp-1.8.1_7: .......... done
[112amd64-default-job-05] `-- Installing libarchive-3.3.3_1,1...
[112amd64-default-job-05] | `-- Installing liblz4-1.9.1,1...
[112amd64-default-job-05] | `-- Extracting liblz4-1.9.1,1: .......... done
[112amd64-default-job-05] | `-- Installing lzo2-2.10_1...
[112amd64-default-job-05] | `-- Extracting lzo2-2.10_1: .......... done
[112amd64-default-job-05] `-- Extracting libarchive-3.3.3_1,1: .......... done
[112amd64-default-job-05] `-- Installing libuv-1.30.1...
[112amd64-default-job-05] `-- Extracting libuv-1.30.1: .......... done
[112amd64-default-job-05] `-- Installing rhash-1.3.5...
[112amd64-default-job-05] `-- Extracting rhash-1.3.5: .......... done
[112amd64-default-job-05] Extracting cmake-3.14.5_1: .......... done
Message from ca_root_nss-3.45:
********************************* WARNING *********************************
FreeBSD does not, and can not warrant that the certification authorities
whose certificates are included in this package have in any way been
audited for trustworthiness or RFC 3647 compliance.
Assessment and verification of trust is the complete responsibility of the
system administrator.
*********************************** NOTE **********************************
This package installs symlinks to support root certificates discovery by
default for software that uses OpenSSL.
This enables SSL Certificate Verification by client software without manual
intervention.
If you prefer to do this manually, replace the following symlinks with
either an empty file or your site-local certificate bundle.
* /etc/ssl/cert.pem
* /usr/local/etc/ssl/cert.pem
* /usr/local/openssl/cert.pem
***************************************************************************
===> klee-2.0_2 depends on file: /usr/local/bin/cmake - found
===> Returning to build of klee-2.0_2
===> klee-2.0_2 depends on executable: ninja - not found
===> Installing existing package /packages/All/ninja-1.9.0,2.txz
[112amd64-default-job-05] Installing ninja-1.9.0,2...
[112amd64-default-job-05] Extracting ninja-1.9.0,2: ......... done
===> klee-2.0_2 depends on executable: ninja - found
===> Returning to build of klee-2.0_2
===> klee-2.0_2 depends on package: pkgconf>=1.3.0_1 - not found
===> Installing existing package /packages/All/pkgconf-1.6.1,1.txz
[112amd64-default-job-05] Installing pkgconf-1.6.1,1...
[112amd64-default-job-05] Extracting pkgconf-1.6.1,1: .......... done
===> klee-2.0_2 depends on package: pkgconf>=1.3.0_1 - found
===> Returning to build of klee-2.0_2
===========================================================================
=======================<phase: lib-depends >============================
===> klee-2.0_2 depends on shared library: libtcmalloc.so - not found
===> Installing existing package /packages/All/google-perftools-2.7_1.txz
[112amd64-default-job-05] Installing google-perftools-2.7_1...
[112amd64-default-job-05] `-- Installing libunwind-20170615...
[112amd64-default-job-05] `-- Extracting libunwind-20170615: .......... done
[112amd64-default-job-05] Extracting google-perftools-2.7_1: .......... done
===> klee-2.0_2 depends on shared library: libtcmalloc.so - found (/usr/local/lib/libtcmalloc.so)
===> Returning to build of klee-2.0_2
===========================================================================
=>> Recording filesystem state for prebuild... done
=======================<phase: configure >============================
===> klee-2.0_2 depends on executable: llvm-config90 - found
===> klee-2.0_2 depends on executable: gmake - found
===> klee-2.0_2 depends on executable: z3 - found
===> klee-2.0_2 depends on file: /usr/local/bin/cmake - found
===> klee-2.0_2 depends on executable: ninja - found
===> klee-2.0_2 depends on package: pkgconf>=1.3.0_1 - found
===> klee-2.0_2 depends on shared library: libtcmalloc.so - found (/usr/local/lib/libtcmalloc.so)
===> Configuring for klee-2.0_2
===> Performing out-of-source build
/bin/mkdir -p /wrkdirs/usr/ports/security/klee/work/.build
CMake Deprecation Warning at CMakeLists.txt:25 (cmake_policy):
The OLD behavior for policy CMP0054 will be removed from a future version
of CMake.
The cmake-policies(7) manual explains that the OLD behaviors of all
policies are deprecated and that a policy should be set to OLD only under
specific short-term circumstances. Projects should be ported to the NEW
behavior and not rely on setting a policy to OLD.
-- The CXX compiler identification is Clang 6.0.0
-- The C compiler identification is Clang 6.0.0
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- KLEE version 2.0
-- CMake generator: Ninja
-- Build type: Release
-- KLEE assertions enabled
-- LLVM_CONFIG_BINARY: /usr/local/bin/llvm-config90
-- LLVM_PACKAGE_VERSION: "9.0.0"
-- LLVM_VERSION_MAJOR: "9"
-- LLVM_VERSION_MINOR: "0"
-- LLVM_VERSION_PATCH: "0"
-- LLVM_DEFINITIONS: "-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS"
-- LLVM_ENABLE_ASSERTIONS: "ON"
-- LLVM_ENABLE_EH: "OFF"
-- LLVM_ENABLE_RTTI: "ON"
-- LLVM_INCLUDE_DIRS: "/usr/local/llvm90/include"
-- LLVM_LIBRARY_DIRS: "/usr/local/llvm90/lib"
-- LLVM_TOOLS_BINARY_DIR: "/usr/local/llvm90/bin"
-- LLVM_ENABLE_VISIBILITY_INLINES_HIDDEN: "OFF"
-- TARGET_TRIPLE: "x86_64-portbld-freebsd11.2"
-- Looking for bitcode compilers
-- Found /usr/local/llvm90/bin/clang
-- Found /usr/local/llvm90/bin/clang++
-- Testing bitcode compiler /usr/local/llvm90/bin/clang
-- Compile success
-- Checking compatibility with LLVM 9.0.0
-- "/usr/local/llvm90/bin/clang" is compatible
-- Testing bitcode compiler /usr/local/llvm90/bin/clang++
-- Compile success
-- Checking compatibility with LLVM 9.0.0
-- "/usr/local/llvm90/bin/clang++" is compatible
-- LLVMCC: /usr/local/llvm90/bin/clang
-- LLVMCXX: /usr/local/llvm90/bin/clang++
-- Performing Test HAS__Wall_CXX
-- Performing Test HAS__Wall_CXX - Success
-- C++ compiler supports -Wall
-- Performing Test HAS__Wextra_CXX
-- Performing Test HAS__Wextra_CXX - Success
-- C++ compiler supports -Wextra
-- Performing Test HAS__Wno_unused_parameter_CXX
-- Performing Test HAS__Wno_unused_parameter_CXX - Success
-- C++ compiler supports -Wno-unused-parameter
-- Performing Test HAS__Wall_C
-- Performing Test HAS__Wall_C - Success
-- C compiler supports -Wall
-- Performing Test HAS__Wextra_C
-- Performing Test HAS__Wextra_C - Success
-- C compiler supports -Wextra
-- Performing Test HAS__Wno_unused_parameter_C
-- Performing Test HAS__Wno_unused_parameter_C - Success
-- C compiler supports -Wno-unused-parameter
-- Not treating compiler warnings as errors
-- Could NOT find STP (missing: STP_DIR)
YURI STP_STATIC_LIBRARY=
-- STP solver support disabled
-- Found Z3 libraries: "/usr/local/lib/libz3.so"
-- Found Z3 include path: "/usr/local/include"
-- Found Z3: /usr/local/include
-- Z3 solver support enabled
-- Found Z3
-- Checking prototype Z3_get_error_msg for HAVE_Z3_GET_ERROR_MSG_NEEDS_CONTEXT - True
-- Z3_get_error_msg requires context
-- metaSMT solver support disabled
-- Performing Test HAS__fno_exceptions
-- Performing Test HAS__fno_exceptions - Success
-- C++ compiler supports -fno-exceptions
-- Found ZLIB: /usr/lib/libz.so (found version "1.2.11")
-- Zlib support enabled
-- TCMalloc support enabled
-- Looking for C++ include gperftools/malloc_extension.h
-- Looking for C++ include gperftools/malloc_extension.h - found
-- Performing Test HAS__fno_builtin_malloc
-- Performing Test HAS__fno_builtin_malloc - Success
-- C++ compiler supports -fno-builtin-malloc
-- Performing Test HAS__fno_builtin_calloc
-- Performing Test HAS__fno_builtin_calloc - Success
-- C++ compiler supports -fno-builtin-calloc
-- Performing Test HAS__fno_builtin_realloc
-- Performing Test HAS__fno_builtin_realloc - Success
-- C++ compiler supports -fno-builtin-realloc
-- Performing Test HAS__fno_builtin_free
-- Performing Test HAS__fno_builtin_free - Success
-- C++ compiler supports -fno-builtin-free
-- Looking for pty.h
-- Looking for pty.h - not found
-- Looking for util.h
-- Looking for util.h - not found
-- Looking for __ctype_b_loc
-- Looking for __ctype_b_loc - not found
-- Looking for mallinfo
-- Looking for mallinfo - not found
-- Looking for malloc_zone_statistics
-- Looking for malloc_zone_statistics - not found
-- Looking for sys/statfs.h
-- Looking for sys/statfs.h - not found
-- Looking for selinux/selinux.h
-- Looking for selinux/selinux.h - not found
-- Looking for sys/acl.h
-- Looking for sys/acl.h - found
-- SELinux support disabled
-- Workaround for LLVM PR39177 (affecting LLVM 3.9 - 7.0.0) disabled
-- KLEE_RUNTIME_BUILD_TYPE is not set. Setting default
-- The available runtime build types are: Release;Release+Debug;Release+Asserts;Release+Debug+Asserts;Debug;Debug+Asserts
CMake Warning (dev) at CMakeLists.txt:540 (set):
implicitly converting 'String' to 'STRING' type.
This warning is for project developers. Use -Wno-dev to suppress it.
-- KLEE_RUNTIME_BUILD_TYPE: Debug+Asserts
-- POSIX runtime disabled
-- klee-uclibc support disabled
-- libc++ support disabled
-- -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter
-- KLEE_COMPONENT_EXTRA_INCLUDE_DIRS: '/usr/local/llvm90/include;/usr/local/include;/usr/include;/usr/local/include'
-- KLEE_COMPONENT_CXX_DEFINES: '-D__STDC_CONSTANT_MACROS;-D__STDC_FORMAT_MACROS;-D__STDC_LIMIT_MACROS'
-- KLEE_COMPONENT_CXX_FLAGS: '-fno-exceptions;-fno-builtin-malloc;-fno-builtin-calloc;-fno-builtin-realloc;-fno-builtin-free'
-- KLEE_COMPONENT_EXTRA_LIBRARIES: '/usr/lib/libz.so;/usr/local/lib/libtcmalloc.so'
-- KLEE_SOLVER_LIBRARIES: '/usr/local/lib/libz3.so'
CMake Warning at tools/klee-replay/CMakeLists.txt:23 (message):
Not building klee-replay due to missing library for pty functions.
-- Testing is disabled
-- Unit tests disabled
-- System tests disabled
-- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE)
CMake Warning at docs/CMakeLists.txt:46 (message):
Doxygen not found. Can't build Doxygen documentation
-- Configuring done
-- Generating done
CMake Warning:
Manually-specified variables were not used by the project:
BOOST_PYTHON_SUFFIX
CMAKE_COLOR_MAKEFILE
CMAKE_CXX_FLAGS_DEBUG
CMAKE_C_FLAGS_DEBUG
CMAKE_MODULE_LINKER_FLAGS
CMAKE_VERBOSE_MAKEFILE
Python_ADDITIONAL_VERSIONS
THREADS_HAVE_PTHREAD_ARG
-- Build files have been written to: /wrkdirs/usr/ports/security/klee/work/.build
===========================================================================
=======================<phase: build >============================
===> Building for klee-2.0_2
[1/111] /usr/bin/cc -DkleeRuntest_EXPORTS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -fPIC -MD -MT runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o -MF runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o.d -o runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/runtime/Runtest/intrinsics.c
[2/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -MF tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o.d -o tools/gen-random-bout/CMakeFiles/gen-random-bout.dir/gen-random-bout.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/tools/gen-random-bout/gen-random-bout.cpp
[3/111] /usr/bin/c++ -DkleeRuntest_EXPORTS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fPIC -std=gnu++14 -MD -MT runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o -MF runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o.d -o runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/KTest.cpp
[4/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o -MF tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o.d -o tools/gen-bout/CMakeFiles/gen-bout.dir/gen-bout.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/tools/gen-bout/gen-bout.cpp
[5/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o -MF lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o.d -o lib/Basic/CMakeFiles/kleeBasic.dir/KTest.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/KTest.cpp
[6/111] : && /usr/bin/c++ -fPIC -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fstack-protector-strong -shared -Wl,-soname,libkleeRuntest.so.1.0 -o lib/libkleeRuntest.so.1.0 runtime/Runtest/CMakeFiles/kleeRuntest.dir/intrinsics.c.o runtime/Runtest/CMakeFiles/kleeRuntest.dir/__/__/lib/Basic/KTest.cpp.o && :
[7/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o -MF lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o.d -o lib/Basic/CMakeFiles/kleeBasic.dir/Statistics.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/Statistics.cpp
[8/111] /usr/local/bin/cmake -E cmake_symlink_library lib/libkleeRuntest.so.1.0 lib/libkleeRuntest.so.1.0 lib/libkleeRuntest.so && :
[9/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o -MF lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o.d -o lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/CmdLineOptions.cpp
FAILED: lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o
/usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o -MF lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o.d -o lib/Basic/CMakeFiles/kleeBasic.dir/CmdLineOptions.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/CmdLineOptions.cpp
/wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/CmdLineOptions.cpp:125:22: error: no member named 'Category' in 'llvm::cl::Option'
if (elem.second->Category == &Category) {
~~~~~~~~~~~ ^
/wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/CmdLineOptions.cpp:140:20: error: no member named 'Category' in 'llvm::cl::Option'
if (i->second->Category != &Category) {
~~~~~~~~~ ^
2 errors generated.
[10/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/MemoryUsage.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Support/MemoryUsage.cpp
[11/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/CompressionStream.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Support/CompressionStream.cpp
[12/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/ErrorHandling.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Support/ErrorHandling.cpp
[13/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/PrintVersion.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Support/PrintVersion.cpp
[14/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o -MF lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o.d -o lib/Support/CMakeFiles/kleeSupport.dir/FileHandling.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Support/FileHandling.cpp
[15/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -MD -MT lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o -MF lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o.d -o lib/Basic/CMakeFiles/kleeBasic.dir/ConstructSolverChain.cpp.o -c /wrkdirs/usr/ports/security/klee/work/klee-2.0/lib/Basic/ConstructSolverChain.cpp
[16/111] /usr/bin/c++ -D__STDC_CONSTANT_MACROS -D__STDC_FORMAT_MACROS -D__STDC_LIMIT_MACROS -Iinclude -I/wrkdirs/usr/ports/security/klee/work/klee-2.0/include -I/usr/local/llvm90/include -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -Wall -Wextra -Wno-unused-parameter -O2 -pipe -fstack-protector-strong -isystem /usr/local/include -fno-strict-aliasing -isystem /usr/local/include -fno-exceptions -fno-builtin-malloc -fno-builtin-calloc -fno-builtin-realloc -fno-builtin-free -std=gnu++14 -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-2.0/tools/kleaver/main.cpp
ninja: build stopped: subcommand failed.
===> Compilation failed unexpectedly.
Try to set MAKE_JOBS_UNSAFE=yes and rebuild before reporting the failure to
the maintainer.
*** Error code 1
Stop.
make: stopped in /usr/ports/security/klee
=>> Cleaning up wrkdir
===> Cleaning for klee-2.0_2
build of security/klee | klee-2.0_2 ended at Tue Aug 6 18:18:59 -03 2019
build time: 00:00:34
!!! build failure encountered !!!