=>> 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-- =================================================== ===> License NCSA accepted by the user =========================================================================== =================================================== ===> 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 =========================================================================== =================================================== =========================================================================== =================================================== ===> 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 =========================================================================== =================================================== ===> 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. =========================================================================== =================================================== =========================================================================== =================================================== ===> 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. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for klee-2.0_2 ===> Applying FreeBSD patches for klee-2.0_2 =========================================================================== =================================================== ===> 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 =========================================================================== =================================================== ===> 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 =================================================== ===> 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 =========================================================================== =================================================== ===> 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 !!!