From owner-freebsd-pkg-fallout@freebsd.org Mon Sep 9 00:31:53 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 E4A3BE884F for ; Mon, 9 Sep 2019 00:31:53 +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 46RTcn6YDdz4HvK for ; Mon, 9 Sep 2019 00:31:53 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id E0D10E884E; Mon, 9 Sep 2019 00:31:53 +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 E096AE884D for ; Mon, 9 Sep 2019 00:31:53 +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 46RTcn6N1Bz4HvJ for ; Mon, 9 Sep 2019 00:31:53 +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 BE85D5726 for ; Mon, 9 Sep 2019 00:31:53 +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 x890Vrpo079167 for ; Mon, 9 Sep 2019 00:31:53 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2/Submit) id x890VrWL079166; Mon, 9 Sep 2019 00:31:53 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Mon, 9 Sep 2019 00:31:53 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201909090031.x890VrWL079166@thunderx1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 120arm64-quarterly][devel/ikos] Failed for ikos-2.1.152_2 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, 09 Sep 2019 00:31:54 -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: yuri@FreeBSD.org Ident: $FreeBSD: branches/2019Q3/devel/ikos/Makefile 505142 2019-06-26 07:45:03Z yuri $ Log URL: http://thunderx1.nyi.freebsd.org/data/120arm64-quarterly/511387/logs/ikos-2.1.152_2.log Build URL: http://thunderx1.nyi.freebsd.org/build.html?mastername=120arm64-quarterly&build=511387 Log: =>> Building devel/ikos build started at Mon Sep 9 00:29:55 UTC 2019 port directory: /usr/ports/devel/ikos package name: ikos-2.1.152_2 building for: FreeBSD 120arm64-quarterly-job-19 12.0-RELEASE-p10 FreeBSD 12.0-RELEASE-p10 1200086 arm64 maintained by: yuri@FreeBSD.org Makefile ident: $FreeBSD: branches/2019Q3/devel/ikos/Makefile 505142 2019-06-26 07:45:03Z yuri $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300002 Jail OSVERSION: 1200086 Job Id: 19 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RELEASE-p10 1200086 UNAME_r=12.0-RELEASE-p10 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/120arm64-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/120arm64-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=120arm64-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/120arm64-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=freebsd12 PYTHON_SITELIBDIR=lib/python3.6/site-packages PYTHON_SUFFIX=36 PYTHON_VER=3.6 PYTHON_VERSION=python3.6 PYTHON2="@comment " PYTHON3="" OSREL=12.0 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 # stable/10 includes src.conf too late but make.conf is in sys.mk .if ${.CURDIR:M/poudriere/jails/10*/usr/src/usr.bin/xlint*} # Disable build of llib now that head no longer has lint(1) LINT= true .endif #### /usr/ports/Mk/Scripts/ports_env.sh #### _CCVERSION_921dbbb2=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: aarch64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: aarch64-unknown-freebsd12.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 6.0.1 (tags/RELEASE_601/final 335540) (based on LLVM 6.0.1) Target: aarch64-unknown-freebsd12.0 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=aarch64 OPSYS=FreeBSD _OSRELEASE=12.0-RELEASE-p10 OSREL=12.0 OSVERSION=1200086 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.1.152_2 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.11.1.txz [120arm64-quarterly-job-19] Installing pkg-1.11.1... [120arm64-quarterly-job-19] Extracting pkg-1.11.1: .......... done ===> ikos-2.1.152_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ikos-2.1.152_2 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1.152_2 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1.152_2 for building => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.1-152-gbf4ac4a_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1.152_2 for building ===> Extracting for ikos-2.1.152_2 => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.1-152-gbf4ac4a_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for ikos-2.1.152_2 ===> Applying FreeBSD patches for ikos-2.1.152_2 =========================================================================== =================================================== ===> ikos-2.1.152_2 depends on package: llvm80>0 - not found ===> Installing existing package /packages/All/llvm80-8.0.0_2.txz [120arm64-quarterly-job-19] Installing llvm80-8.0.0_2... [120arm64-quarterly-job-19] `-- Installing libedit-3.1.20190324,1... [120arm64-quarterly-job-19] `-- Extracting libedit-3.1.20190324,1: .......... done [120arm64-quarterly-job-19] `-- Installing libxml2-2.9.9... [120arm64-quarterly-job-19] `-- Extracting libxml2-2.9.9: .......... done [120arm64-quarterly-job-19] `-- Installing perl5-5.28.2... [120arm64-quarterly-job-19] `-- Extracting perl5-5.28.2: .......... done [120arm64-quarterly-job-19] `-- Installing python27-2.7.16_1... [120arm64-quarterly-job-19] | `-- Installing gettext-runtime-0.20.1... [120arm64-quarterly-job-19] | | `-- Installing indexinfo-0.3.1... [120arm64-quarterly-job-19] | | `-- Extracting indexinfo-0.3.1: .... done [120arm64-quarterly-job-19] | `-- Extracting gettext-runtime-0.20.1: .......... done https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> ikos-2.1.152_2 depends on shared library: libapron.so - found (/usr/local/lib/libapron.so) ===> Returning to build of ikos-2.1.152_2 ===> ikos-2.1.152_2 depends on shared library: libboost_system.so - not found ===> Installing existing package /packages/All/boost-libs-1.70.0_2.txz [120arm64-quarterly-job-19] Installing boost-libs-1.70.0_2... [120arm64-quarterly-job-19] `-- Installing icu-64.2,1... [120arm64-quarterly-job-19] `-- Extracting icu-64.2,1: .......... done [120arm64-quarterly-job-19] Extracting boost-libs-1.70.0_2: .......... done Message from boost-libs-1.70.0_2: 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.1.152_2 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so) ===> Returning to build of ikos-2.1.152_2 ===> ikos-2.1.152_2 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> ikos-2.1.152_2 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> ikos-2.1.152_2 depends on shared library: libppl.so - found (/usr/local/lib/libppl.so) ===> ikos-2.1.152_2 depends on shared library: libsqlite3.so - not found ===> Installing existing package /packages/All/sqlite3-3.28.0.txz [120arm64-quarterly-job-19] Installing sqlite3-3.28.0... [120arm64-quarterly-job-19] Extracting sqlite3-3.28.0: .......... done ===> ikos-2.1.152_2 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Returning to build of ikos-2.1.152_2 =========================================================================== =================================================== ===> Configuring for ikos-2.1.152_2 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/devel/ikos/work/.build -- The C compiler identification is Clang 8.0.0 -- The CXX compiler identification is Clang 8.0.0 -- 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.14.5 -- CMake generator: Ninja -- Including core -- Found Boost: /usr/local/include (found version "1.70.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.0.0") -- 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 -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Including ar -- Found Boost: /usr/local/include (found version "1.70.0") -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Including frontend/llvm -- Found Boost: /usr/local/include (found version "1.70.0") -- Found the following Boost libraries: -- filesystem -- system -- Found LLVM: /usr/local/llvm80 (found version "8.0.0") 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:137 (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:137 (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:138 (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 -- Found Boost: /usr/local/include (found version "1.70.0") -- Found the following Boost libraries: -- filesystem -- system -- Found SQLite3: /usr/local/include (found version "3.28.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:151 (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:151 (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:152 (include) -- Linker detection: LLD -- Found Clang: /usr/local/llvm80/bin/clang (found version "8.0.0") -- 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