From owner-freebsd-pkg-fallout@freebsd.org Mon Apr 27 12:04:51 2020 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 3D34B2B61CB for ; Mon, 27 Apr 2020 12:04:51 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (mailman.nyi.freebsd.org [IPv6:2610:1c1:1:606c::50:13]) by mx1.freebsd.org (Postfix) with ESMTP id 499k3l1C4vz3Qpp for ; Mon, 27 Apr 2020 12:04:51 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 2926B2B61CA; Mon, 27 Apr 2020 12:04:51 +0000 (UTC) Delivered-To: pkg-fallout@mailman.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.nyi.freebsd.org (Postfix) with ESMTP id 28E5E2B61C8 for ; Mon, 27 Apr 2020 12:04:51 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits) client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "Let's Encrypt Authority X3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 499k3l0hX7z3Qpn for ; Mon, 27 Apr 2020 12:04:51 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from pylon.nyi.freebsd.org (pylon.nyi.freebsd.org [IPv6:2610:1c1:1:6082::16:fc]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) server-signature RSA-PSS (4096 bits)) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id EC39CA0EF for ; Mon, 27 Apr 2020 12:04:50 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from pylon.nyi.freebsd.org (localhost [127.0.0.1]) by pylon.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id 03RC4olI077120 for ; Mon, 27 Apr 2020 12:04:50 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by pylon.nyi.freebsd.org (8.15.2/8.15.2/Submit) id 03RC4ox5077107; Mon, 27 Apr 2020 12:04:50 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Mon, 27 Apr 2020 12:04:50 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202004271204.03RC4ox5077107@pylon.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - head-powerpc64-default][security/klee] Failed for klee-2.1 in configure X-BeenThere: freebsd-pkg-fallout@freebsd.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Fallout logs from package building List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 27 Apr 2020 12:04:51 -0000 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 Last committer: arrowd@FreeBSD.org Ident: $FreeBSD: head/security/klee/Makefile 528037 2020-03-08 14:25:29Z arrowd $ Log URL: http://pylon.nyi.freebsd.org/data/head-powerpc64-default/p532060_s360085/logs/klee-2.1.log Build URL: http://pylon.nyi.freebsd.org/build.html?mastername=head-powerpc64-default&build=p532060_s360085 Log: =>> Building security/klee build started at Mon Apr 27 12:03:10 UTC 2020 port directory: /usr/ports/security/klee package name: klee-2.1 building for: FreeBSD head-powerpc64-default-job-09 13.0-CURRENT FreeBSD 13.0-CURRENT 1300092 powerpc maintained by: arrowd@FreeBSD.org Makefile ident: $FreeBSD: head/security/klee/Makefile 528037 2020-03-08 14:25:29Z arrowd $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300084 Jail OSVERSION: 1300092 Job Id: 09 !!! Jail is newer than host. (Jail: 1300092, Host: 1300084) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- SHELL=/bin/csh OSVERSION=1300092 UNAME_v=FreeBSD 13.0-CURRENT 1300092 UNAME_r=13.0-CURRENT BLOCKSIZE=K MAIL=/var/mail/root 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.2.8-5-gc81843e5 MASTERMNT=/usr/local/poudriere/data/.m/head-powerpc64-default/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/head-powerpc64-default/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=head-powerpc64-default SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/head-powerpc64-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.1: STP=on: Enable STP SMT solver TCMALLOC=on: Use tcmalloc library for memory management Z3=on: Enable Z3 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.7" 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_MA N="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- CMAKE_BUILD_TYPE="release" PYTHON_INCLUDEDIR=include/python3.7m PYTHON_LIBDIR=lib/python3.7 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=lib/python3.7/site-packages PYTHON_SUFFIX=37 PYTHON_VER=3.7 PYTHON_VERSION=python3.7 PYTHON2="@comment " PYTHON3="" OSREL=13.0 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 PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### /usr/local/etc/poudriere.d/make.conf #### # 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 2 jobs MAKE_JOBS_NUMBER=4 #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 10.0.0 (git@github.com:llvm/llvm-project.git llvmorg-10.0.0-0-gd32170dbd5b) Target: powerpc64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 10.0.0 (git@github.com:llvm/llvm-project.git llvmorg-10.0.0-0-gd32170dbd5b) Target: powerpc64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--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 10.0.0 (git@github.com:llvm/llvm-project.git llvmorg-10.0.0-0-gd32170dbd5b) Target: powerpc64-unknown-freebsd13.0 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=powerpc64 PPC_ABI=ELFv2 OPSYS=FreeBSD _OSRELEASE=13.0-CURRENT OSREL=13.0 OSVERSION=1300092 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 DISABLE_MAKE_JOBS=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) 89999 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.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.14.2.txz [head-powerpc64-default-job-09] Installing pkg-1.14.2... [head-powerpc64-default-job-09] Extracting pkg-1.14.2: .......... done ===> klee-2.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of klee-2.1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-2.1 for building =========================================================================== =================================================== ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-2.1 for building => SHA256 Checksum OK for klee-klee-v2.1_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License NCSA accepted by the user ===> Fetching all distfiles required by klee-2.1 for building ===> Extracting for klee-2.1 => SHA256 Checksum OK for klee-klee-v2.1_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for klee-2.1 =========================================================================== =================================================== ===> klee-2.1 depends on executable: llvm-config90 - not found ===> Installing existing package /packages/All/llvm90-9.0.1_1.txz [head-powerpc64-default-job-09] Installing llvm90-9.0.1_1... [head-powerpc64-default-job-09] `-- Installing libedit-3.1.20191231,1... [head-powerpc64-default-job-09] `-- Extracting libedit-3.1.20191231,1: .......... done #!/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 python37-3.7.7: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py37-gdbm databases/py-gdbm@py37 py37-sqlite3 databases/py-sqlite3@py37 py37-tkinter x11-toolkits/py-tkinter@py37 ===> klee-2.1 depends on executable: llvm-config90 - found ===> Returning to build of klee-2.1 ===> klee-2.1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_3.txz [head-powerpc64-default-job-09] Installing gmake-4.2.1_3... [head-powerpc64-default-job-09] Extracting gmake-4.2.1_3: .......... done ===> klee-2.1 depends on executable: gmake - found ===> Returning to build of klee-2.1 ===> klee-2.1 depends on package: stp>0 - not found ===> Installing existing package /packages/All/stp-2.3.3_5,1.txz [head-powerpc64-default-job-09] Installing stp-2.3.3_5,1... [head-powerpc64-default-job-09] `-- Installing boost-libs-1.72.0_1... [head-powerpc64-default-job-09] | `-- Installing icu-66.1,1... [head-powerpc64-default-job-09] | `-- Extracting icu-66.1,1: .......... done [head-powerpc64-default-job-09] `-- Extracting boost-libs-1.72.0_1: .......... done [head-powerpc64-default-job-09] `-- Installing cryptominisat-5.6.8_6... [head-powerpc64-default-job-09] `-- Extracting cryptominisat-5.6.8_6: .......... done [head-powerpc64-default-job-09] `-- Installing minisat-2.2.1_2... [head-powerpc64-default-job-09] `-- Extracting minisat-2.2.1_2: .......... done [head-powerpc64-default-job-09] Extracting stp-2.3.3_5,1: .......... done ===== Message from boost-libs-1.72.0_1: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> klee-2.1 depends on package: stp>0 - found ===> Returning to build of klee-2.1 ===> klee-2.1 depends on executable: z3 - not found ===> Installing existing package /packages/All/z3-4.8.7.txz [head-powerpc64-default-job-09] Installing z3-4.8.7... [head-powerpc64-default-job-09] Extracting z3-4.8.7: .......... done ===> klee-2.1 depends on executable: z3 - found ===> Returning to build of klee-2.1 ===> klee-2.1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.17.1.txz [head-powerpc64-default-job-09] Installing cmake-3.17.1... [head-powerpc64-default-job-09] `-- Installing curl-7.69.1_1... [head-powerpc64-default-job-09] | `-- Installing ca_root_nss-3.51.1... [head-powerpc64-default-job-09] | `-- Extracting ca_root_nss-3.51.1: ........ done [head-powerpc64-default-job-09] | `-- Installing libnghttp2-1.40.0... [head-powerpc64-default-job-09] | `-- Extracting libnghttp2-1.40.0: .......... done [head-powerpc64-default-job-09] `-- Extracting curl-7.69.1_1: .......... done [head-powerpc64-default-job-09] `-- Installing expat-2.2.8... [head-powerpc64-default-job-09] `-- Extracting expat-2.2.8: .......... done [head-powerpc64-default-job-09] `-- Installing jsoncpp-1.9.2... [head-powerpc64-default-job-09] `-- Extracting jsoncpp-1.9.2: .......... done [head-powerpc64-default-job-09] `-- Installing libarchive-3.4.2,1... [head-powerpc64-default-job-09] | `-- Installing liblz4-1.9.2_1,1... [head-powerpc64-default-job-09] | `-- Extracting liblz4-1.9.2_1,1: .......... done [head-powerpc64-default-job-09] | `-- Installing lzo2-2.10_1... [head-powerpc64-default-job-09] | `-- Extracting lzo2-2.10_1: .......... done [head-powerpc64-default-job-09] `-- Extracting libarchive-3.4.2,1: .......... done [head-powerpc64-default-job-09] `-- Installing libuv-1.36.0_1... [head-powerpc64-default-job-09] `-- Extracting libuv-1.36.0_1: .......... done [head-powerpc64-default-job-09] `-- Installing rhash-1.3.9... [head-powerpc64-default-job-09] `-- Extracting rhash-1.3.9: .......... done [head-powerpc64-default-job-09] Extracting cmake-3.17.1: .......... done ===== Message from ca_root_nss-3.51.1: -- FreeBSD does not, and can not warrant that the certification authorities whose certificates are included in this package have in any way been audited for trustworthiness or RFC 3647 compliance. Assessment and verification of trust is the complete responsibility of the system administrator. This package installs symlinks to support root certificates discovery by default for software that uses OpenSSL. This enables SSL Certificate Verification by client software without manual intervention. If you prefer to do this manually, replace the following symlinks with either an empty file or your site-local certificate bundle. * /etc/ssl/cert.pem * /usr/local/etc/ssl/cert.pem * /usr/local/openssl/cert.pem ===> klee-2.1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of klee-2.1 ===> klee-2.1 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.10.0,2.txz [head-powerpc64-default-job-09] Installing ninja-1.10.0,2... [head-powerpc64-default-job-09] Extracting ninja-1.10.0,2: ........ done ===> klee-2.1 depends on executable: ninja - found ===> Returning to build of klee-2.1 ===> klee-2.1 depends on package: pkgconf>=1.3.0_1 - not found ===> Installing existing package /packages/All/pkgconf-1.6.3,1.txz [head-powerpc64-default-job-09] Installing pkgconf-1.6.3,1... [head-powerpc64-default-job-09] Extracting pkgconf-1.6.3,1: .......... done ===> klee-2.1 depends on package: pkgconf>=1.3.0_1 - found ===> Returning to build of klee-2.1 =========================================================================== =================================================== ===> klee-2.1 depends on shared library: libcryptominisat5.so - found (/usr/local/lib/libcryptominisat5.so) ===> klee-2.1 depends on shared library: libtcmalloc.so - not found ===> Installing existing package /packages/All/google-perftools-2.7_1.txz [head-powerpc64-default-job-09] Installing google-perftools-2.7_1... [head-powerpc64-default-job-09] Extracting google-perftools-2.7_1: .......... done ===> klee-2.1 depends on shared library: libtcmalloc.so - found (/usr/local/lib/libtcmalloc.so) ===> Returning to build of klee-2.1 ===> klee-2.1 depends on shared library: libsqlite3.so - not found ===> Installing existing package /packages/All/sqlite3-3.30.1_1,1.txz [head-powerpc64-default-job-09] Installing sqlite3-3.30.1_1,1... [head-powerpc64-default-job-09] Extracting sqlite3-3.30.1_1,1: .......... done ===> klee-2.1 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Returning to build of klee-2.1 =========================================================================== =================================================== ===> Configuring for klee-2.1 ===> 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 10.0.0 -- The C compiler identification is Clang 10.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.1 -- CMake generator: Ninja -- Build type: Release -- KLEE assertions enabled -- LLVM_CONFIG_BINARY: /usr/local/bin/llvm-config90 -- LLVM_PACKAGE_VERSION: "9.0.1" -- LLVM_VERSION_MAJOR: "9" -- LLVM_VERSION_MINOR: "0" -- LLVM_VERSION_PATCH: "1" -- 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: "powerpc64-portbld-freebsd13.0" -- 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.1 /usr/local/llvm90/bin/llvm-dis: error: Stack dump: 0. Program arguments: /usr/local/llvm90/bin/llvm-dis -o /wrkdirs/usr/ports/security/klee/work/.build/test_bitcode_compiler.c.ll /wrkdirs/usr/ports/security/klee/work/.build/test_bitcode_compiler.c.bc #0 0x0000000811ea0114 llvm::sys::PrintStackTrace(llvm::raw_ostream&) (/usr/local/llvm90/bin/../lib/libLLVM-9.so+0x1df7114) #1 0x0000000811ea07b0 (/usr/local/llvm90/bin/../lib/libLLVM-9.so+0x1df77b0) #2 0x0000000811e9dc00 llvm::sys::RunSignalHandlers() (/usr/local/llvm90/bin/../lib/libLLVM-9.so+0x1df4c00) #3 0x0000000811ea0b70 (/usr/local/llvm90/bin/../lib/libLLVM-9.so+0x1df7b70) #4 0x000000081491b888 (/lib/libthr.so.3+0x27888) CMake Error at cmake/find_bitcode_compiler.cmake:85 (message): "/usr/local/llvm90/bin/clang" is not compatible with LLVM 9.0.1 Call Stack (most recent call first): cmake/find_bitcode_compiler.cmake:95 (test_bitcode_compiler) CMakeLists.txt:292 (include) -- Configuring incomplete, errors occurred! See also "/wrkdirs/usr/ports/security/klee/work/.build/CMakeFiles/CMakeOutput.log". *** Error code 1 Stop. make: stopped in /usr/ports/security/klee