From owner-freebsd-pkg-fallout@freebsd.org Sat Oct 19 04:14:55 2019 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 0983C15463F for ; Sat, 19 Oct 2019 04:14:55 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.nyi.freebsd.org (unknown [127.0.1.3]) by mx1.freebsd.org (Postfix) with ESMTP id 46w8gg032qz3Brc for ; Sat, 19 Oct 2019 04:14:55 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id F3F0015463E; Sat, 19 Oct 2019 04:14:54 +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 F3B0115463D for ; Sat, 19 Oct 2019 04:14:54 +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 46w8gf6wYrz3Brb for ; Sat, 19 Oct 2019 04:14:54 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (thunderx1.nyi.freebsd.org [IPv6:2610:1c1:1:6082::16:fb]) (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 B35351CE69 for ; Sat, 19 Oct 2019 04:14:54 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from thunderx1.nyi.freebsd.org (localhost [127.0.0.1]) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2) with ESMTP id x9J4Esp4093831 for ; Sat, 19 Oct 2019 04:14:54 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2/Submit) id x9J4EsKt093814; Sat, 19 Oct 2019 04:14:54 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Sat, 19 Oct 2019 04:14:54 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201910190414.x9J4EsKt093814@thunderx1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 112arm64-quarterly][devel/ikos] Failed for ikos-2.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: Sat, 19 Oct 2019 04:14:55 -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: yuri@FreeBSD.org Last committer: jbeich@FreeBSD.org Ident: $FreeBSD: branches/2019Q4/devel/ikos/Makefile 512440 2019-09-20 19:58:36Z jbeich $ Log URL: http://thunderx1.nyi.freebsd.org/data/112arm64-quarterly/514736/logs/ikos-2.2_1.log Build URL: http://thunderx1.nyi.freebsd.org/build.html?mastername=112arm64-quarterly&build=514736 Log: =>> Building devel/ikos build started at Sat Oct 19 04:11:10 UTC 2019 port directory: /usr/ports/devel/ikos package name: ikos-2.2_1 building for: FreeBSD 112arm64-quarterly-job-09 11.2-RELEASE-p14 FreeBSD 11.2-RELEASE-p14 1102000 arm64 maintained by: yuri@FreeBSD.org Makefile ident: $FreeBSD: branches/2019Q4/devel/ikos/Makefile 512440 2019-09-20 19:58:36Z jbeich $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300002 Jail OSVERSION: 1102000 Job Id: 09 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1102000 UNAME_v=FreeBSD 11.2-RELEASE-p14 1102000 UNAME_r=11.2-RELEASE-p14 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/112arm64-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/112arm64-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=112arm64-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/112arm64-quarterly/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--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- PYTHON="/usr/local/bin/python3.6" XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ikos/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ikos/work HOME=/wrkdirs/usr/ports/devel/ikos/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/ikos/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ikos/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ikos/work HOME=/wrkdirs/usr/ports/devel/ikos/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/devel/ikos/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/devel/ikos/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="clang80" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="clang-cpp80" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="clang++80" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing -DNDEBUG " 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/ikos" EXAMPLESDIR="share/examples/ikos" DATADIR="share/ikos" WWWDIR="www/ikos" ETCDIR="etc/ikos" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/ikos DOCSDIR=/usr/local/share/doc/ikos EXAMPLESDIR=/usr/local/share/examples/ikos WWWDIR=/usr/local/www/ikos ETCDIR=/usr/local/etc/ikos --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=2 #### /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: aarch64-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: aarch64-unknown-freebsd11.2 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 6.0.0 (tags/RELEASE_600/final 326565) (based on LLVM 6.0.0) Target: aarch64-unknown-freebsd11.2 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=aarch64 OPSYS=FreeBSD _OSRELEASE=11.2-RELEASE-p14 OSREL=11.2 OSVERSION=1102000 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=262144 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) 1048576 stack size (kbytes, -s) 1048576 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 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 MIT accepted by the user =========================================================================== =================================================== ===> ikos-2.2_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0.txz [112arm64-quarterly-job-09] Installing pkg-1.12.0... [112arm64-quarterly-job-09] Extracting pkg-1.12.0: .......... done ===> ikos-2.2_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ikos-2.2_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.2_1 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.2_1 for building => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.2_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.2_1 for building ===> Extracting for ikos-2.2_1 => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.2_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for ikos-2.2_1 ===> Applying FreeBSD patches for ikos-2.2_1 =========================================================================== =================================================== ===> ikos-2.2_1 depends on package: llvm80>0 - not found ===> Installing existing package /packages/All/llvm80-8.0.1_3.txz [112arm64-quarterly-job-09] Installing llvm80-8.0.1_3... [112arm64-quarterly-job-09] `-- Installing libedit-3.1.20190324,1... [112arm64-quarterly-job-09] `-- Extracting libedit-3.1.20190324,1: .......... done [112arm64-quarterly-job-09] `-- Installing libxml2-2.9.9... [112arm64-quarterly-job-09] `-- Extracting libxml2-2.9.9: .......... done [112arm64-quarterly-job-09] `-- Installing perl5-5.30.0... [112arm64-quarterly-job-09] `-- Extracting perl5-5.30.0: .......... done [112arm64-quarterly-job-09] `-- Installing python36-3.6.9... [112arm64-quarterly-job-09] | `-- Installing gettext-runtime-0.20.1... [112arm64-quarterly-job-09] | | `-- Installing indexinfo-0.3.1... [112arm64-quarterly-job-09] | | `-- Extracting indexinfo-0.3.1: .... done [112arm64-quarterly-job-09] | `-- Extracting gettext-runtime-0.20.1: .......... done [112arm64-quarterly-job-09] | `-- Installing libffi-3.2.1_3... [112arm64-quarterly-job-09] | `-- Extracting libffi-3.2.1_3: .......... done [112arm64-quarterly-job-09] | `-- Installing readline-8.0.0... [112arm64-quarterly-job-09] | `-- Extracting readline-8.0.0: .......... done [112arm64-quarterly-job-09] `-- Extracting python36-3.6.9: .......... done [112arm64-quarterly-job-09] Extracting llvm80-8.0.1_3: .......... done ===> ikos-2.2_1 depends on shared library: libboost_system.so - not found ===> Installing existing package /packages/All/boost-libs-1.71.0.txz [112arm64-quarterly-job-09] Installing boost-libs-1.71.0... [112arm64-quarterly-job-09] `-- Installing icu-64.2,1... [112arm64-quarterly-job-09] `-- Extracting icu-64.2,1: .......... done [112arm64-quarterly-job-09] Extracting boost-libs-1.71.0: .......... done ===== Message from boost-libs-1.71.0: -- You have built the Boost library with thread support. Don't forget to add -pthread to your linker options when linking your code. ===> ikos-2.2_1 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so) ===> Returning to build of ikos-2.2_1 ===> ikos-2.2_1 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> ikos-2.2_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> ikos-2.2_1 depends on shared library: libppl.so - found (/usr/local/lib/libppl.so) ===> ikos-2.2_1 depends on shared library: libsqlite3.so - not found ===> Installing existing package /packages/All/sqlite3-3.29.0.txz [112arm64-quarterly-job-09] Installing sqlite3-3.29.0... [112arm64-quarterly-job-09] Extracting sqlite3-3.29.0: .......... done ===> ikos-2.2_1 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Returning to build of ikos-2.2_1 =========================================================================== =================================================== ===> Configuring for ikos-2.2_1 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/devel/ikos/work/.build -- The C compiler identification is Clang 8.0.1 -- The CXX compiler identification is Clang 8.0.1 -- Check for working C compiler: /usr/local/bin/clang80 -- Check for working C compiler: /usr/local/bin/clang80 -- works -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Detecting C compile features -- Detecting C compile features - done -- Check for working CXX compiler: /usr/local/bin/clang++80 -- Check for working CXX compiler: /usr/local/bin/clang++80 -- works -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Detecting CXX compile features -- Detecting CXX compile features - done -- Install prefix: /usr/local -- Build type: Release -- CMake version: 3.15.3 -- CMake generator: Ninja -- Including core -- Found Boost: /usr/local/include (found version "1.71.0") -- Found the following Boost libraries: -- unit_test_framework -- Found GMP: /usr/local/include (found version "6.1.2") -- Found MPFR: /usr/local/include (found version "4.0.2") -- Found PPL: /usr/local/include (found version "1.2") -- Found APRON: /usr/local/include -- Performing Test CXX_SUPPORTS_CXX14 -- Performing Test CXX_SUPPORTS_CXX14 - Success -- Performing Test CXX_SUPPORTS_FVISIBILITY_INLINES_HIDDEN -- Performing Test CXX_SUPPORTS_FVISIBILITY_INLINES_HIDDEN - Success -- Performing Test CXX_SUPPORTS_WALL -- Performing Test CXX_SUPPORTS_WALL - Success -- Performing Test CXX_SUPPORTS_WEXTRA -- Performing Test CXX_SUPPORTS_WEXTRA - Success -- Performing Test CXX_SUPPORTS_WEVERYTHING -- Performing Test CXX_SUPPORTS_WEVERYTHING - Success -- Performing Test CXX_SUPPORTS_WNO_SWITCH_ENUM -- Performing Test CXX_SUPPORTS_WNO_SWITCH_ENUM - Success -- Performing Test CXX_SUPPORTS_WNO_PADDED -- Performing Test CXX_SUPPORTS_WNO_PADDED - Success -- Performing Test CXX_SUPPORTS_WNO_CXX98_COMPAT -- Performing Test CXX_SUPPORTS_WNO_CXX98_COMPAT - Success -- Performing Test CXX_SUPPORTS_WNO_CXX98_COMPAT_PEDANTIC -- Performing Test CXX_SUPPORTS_WNO_CXX98_COMPAT_PEDANTIC - Success -- Performing Test CXX_SUPPORTS_WNO_C99_EXTENSIONS -- Performing Test CXX_SUPPORTS_WNO_C99_EXTENSIONS - Success -- Performing Test CXX_SUPPORTS_WNO_COVERED_SWITCH_DEFAULT -- Performing Test CXX_SUPPORTS_WNO_COVERED_SWITCH_DEFAULT - Success -- Performing Test CXX_SUPPORTS_WNO_EXIT_TIME_DESTRUCTORS -- Performing Test CXX_SUPPORTS_WNO_EXIT_TIME_DESTRUCTORS - Success -- Performing Test CXX_SUPPORTS_WNO_GLOBAL_CONSTRUCTORS -- Performing Test CXX_SUPPORTS_WNO_GLOBAL_CONSTRUCTORS - Success -- Performing Test CXX_SUPPORTS_WNO_WEAK_VTABLES -- Performing Test CXX_SUPPORTS_WNO_WEAK_VTABLES - Success -- Performing Test CXX_SUPPORTS_WNO_DISABLED_MACRO_EXPANSION -- Performing Test CXX_SUPPORTS_WNO_DISABLED_MACRO_EXPANSION - Success -- Performing Test CXX_SUPPORTS_WNO_USED_BUT_MARKED_UNUSED -- Performing Test CXX_SUPPORTS_WNO_USED_BUT_MARKED_UNUSED - Success -- Performing Test CXX_SUPPORTS_WNO_REDUNDANT_MOVE -- Performing Test CXX_SUPPORTS_WNO_REDUNDANT_MOVE - Success -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Including ar -- Found Boost: /usr/local/include (found version "1.71.0") -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Including frontend/llvm -- Found Boost: /usr/local/include (found version "1.71.0") -- Found the following Boost libraries: -- filesystem -- system -- Found LLVM: /usr/local/llvm80 (found version "8.0.1") CMake Error at /usr/local/llvm80/lib/cmake/llvm/HandleLLVMOptions.cmake:9 (include): include could not find load file: CheckCompilerVersion Call Stack (most recent call first): frontend/llvm/CMakeLists.txt:122 (include) CMake Error at /usr/local/llvm80/lib/cmake/llvm/HandleLLVMStdlib.cmake:4 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): /usr/local/llvm80/lib/cmake/llvm/HandleLLVMOptions.cmake:10 (include) frontend/llvm/CMakeLists.txt:122 (include) -- Performing Test C_SUPPORTS_FPIC -- Performing Test C_SUPPORTS_FPIC - Success -- Performing Test CXX_SUPPORTS_FPIC -- Performing Test CXX_SUPPORTS_FPIC - Success -- Building with -fPIC -- Performing Test SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG -- Performing Test SUPPORTS_FVISIBILITY_INLINES_HIDDEN_FLAG - Success -- Performing Test LINKER_SUPPORTS_COLOR_DIAGNOSTICS -- Performing Test LINKER_SUPPORTS_COLOR_DIAGNOSTICS - Success -- Performing Test C_SUPPORTS_FNO_FUNCTION_SECTIONS -- Performing Test C_SUPPORTS_FNO_FUNCTION_SECTIONS - Success -- Performing Test C_SUPPORTS_FFUNCTION_SECTIONS -- Performing Test C_SUPPORTS_FFUNCTION_SECTIONS - Success -- Performing Test CXX_SUPPORTS_FFUNCTION_SECTIONS -- Performing Test CXX_SUPPORTS_FFUNCTION_SECTIONS - Success -- Performing Test C_SUPPORTS_FDATA_SECTIONS -- Performing Test C_SUPPORTS_FDATA_SECTIONS - Success -- Performing Test CXX_SUPPORTS_FDATA_SECTIONS -- Performing Test CXX_SUPPORTS_FDATA_SECTIONS - Success CMake Error at /usr/local/llvm80/lib/cmake/llvm/AddLLVM.cmake:3 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): frontend/llvm/CMakeLists.txt:123 (include) -- Linker detection: LLD CMake Warning at frontend/llvm/test/regression/pass/CMakeLists.txt:9 (message): Could NOT find bash. Tests for ikos-pp are disabled. CMake Warning at frontend/llvm/test/regression/import/CMakeLists.txt:9 (message): Could NOT find bash. Tests for llvm-to-ar are disabled. -- Including analyzer -- Looking for pthread.h -- Looking for pthread.h - found -- Found Threads: TRUE -- Found Boost: /usr/local/include (found version "1.71.0") -- Found the following Boost libraries: -- filesystem -- system -- Found SQLite3: /usr/local/include (found version "3.29.0") -- Found PythonInterp: /usr/local/bin/python3.6 (found version "3.6.9") CMake Error at /usr/local/llvm80/lib/cmake/llvm/HandleLLVMOptions.cmake:9 (include): include could not find load file: CheckCompilerVersion Call Stack (most recent call first): analyzer/CMakeLists.txt:138 (include) CMake Error at /usr/local/llvm80/lib/cmake/llvm/HandleLLVMStdlib.cmake:4 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): /usr/local/llvm80/lib/cmake/llvm/HandleLLVMOptions.cmake:10 (include) analyzer/CMakeLists.txt:138 (include) -- Building with -fPIC CMake Error at /usr/local/llvm80/lib/cmake/llvm/AddLLVM.cmake:3 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): analyzer/CMakeLists.txt:139 (include) -- Linker detection: LLD -- Found Clang: /usr/local/llvm80/bin/clang (found version "8.0.1") -- Performing Test CXX_SUPPORTS_WNO_UNUSED_LOCAL_TYPEDEFS -- Performing Test CXX_SUPPORTS_WNO_UNUSED_LOCAL_TYPEDEFS - Success -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring incomplete, errors occurred! See also "/wrkdirs/usr/ports/devel/ikos/work/.build/CMakeFiles/CMakeOutput.log". *** Error code 1 Stop. make: stopped in /usr/ports/devel/ikos