From owner-freebsd-pkg-fallout@freebsd.org Wed Jan 22 06:09: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 716E922E727 for ; Wed, 22 Jan 2020 06:09:51 +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 482ZkR3Bn1z4dFT for ; Wed, 22 Jan 2020 06:09:51 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.nyi.freebsd.org (Postfix) id 6BEE722E726; Wed, 22 Jan 2020 06:09: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 6BAD222E725 for ; Wed, 22 Jan 2020 06:09: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 482ZkR2vycz4dFS for ; Wed, 22 Jan 2020 06:09:51 +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 5A31F20FBA for ; Wed, 22 Jan 2020 06:09:51 +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 00M69pXD039841 for ; Wed, 22 Jan 2020 06:09:51 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by thunderx1.nyi.freebsd.org (8.15.2/8.15.2/Submit) id 00M69pvE039815; Wed, 22 Jan 2020 06:09:51 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Wed, 22 Jan 2020 06:09:51 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202001220609.00M69pvE039815@thunderx1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 120arm64-quarterly][devel/ikos] Failed for ikos-3.0_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: Wed, 22 Jan 2020 06:09: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: yuri@FreeBSD.org Last committer: martymac@FreeBSD.org Ident: $FreeBSD: branches/2020Q1/devel/ikos/Makefile 520935 2019-12-26 16:25:22Z martymac $ Log URL: http://thunderx1.nyi.freebsd.org/data/120arm64-quarterly/523494/logs/ikos-3.0_1.log Build URL: http://thunderx1.nyi.freebsd.org/build.html?mastername=120arm64-quarterly&build=523494 Log: =>> Building devel/ikos build started at Wed Jan 22 06:07:14 UTC 2020 port directory: /usr/ports/devel/ikos package name: ikos-3.0_1 building for: FreeBSD 120arm64-quarterly-job-21 12.0-RELEASE-p12 FreeBSD 12.0-RELEASE-p12 1200086 arm64 maintained by: yuri@FreeBSD.org Makefile ident: $FreeBSD: branches/2020Q1/devel/ikos/Makefile 520935 2019-12-26 16:25:22Z martymac $ Poudriere version: 3.2.8-5-gc81843e5 Host OSVERSION: 1300002 Jail OSVERSION: 1200086 Job Id: 21 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RELEASE-p12 1200086 UNAME_r=12.0-RELEASE-p12 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.7" 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="clang90" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="clang-cpp90" CPPFLAGS="" LDFLAGS=" -fstack-protector-strong " LIBS="" CXX="clang++90" 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.7m PYTHON_LIBDIR=lib/python3.7 PYTHON_PLATFORM=freebsd12 PYTHON_SITELIBDIR=lib/python3.7/site-packages PYTHON_SUFFIX=37 PYTHON_VER=3.7 PYTHON_VERSION=python3.7 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 #### /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-p12 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-3.0_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0.txz [120arm64-quarterly-job-21] Installing pkg-1.12.0... [120arm64-quarterly-job-21] Extracting pkg-1.12.0: .......... done ===> ikos-3.0_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ikos-3.0_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-3.0_1 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-3.0_1 for building => SHA256 Checksum OK for NASA-SW-VnV-ikos-v3.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-3.0_1 for building ===> Extracting for ikos-3.0_1 => SHA256 Checksum OK for NASA-SW-VnV-ikos-v3.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for ikos-3.0_1 ===> Applying FreeBSD patches for ikos-3.0_1 =========================================================================== =================================================== ===> ikos-3.0_1 depends on package: llvm90>0 - not found ===> Installing existing package /packages/All/llvm90-9.0.0_2.txz [120arm64-quarterly-job-21] Installing llvm90-9.0.0_2... [120arm64-quarterly-job-21] `-- Installing libedit-3.1.20191211,1... [120arm64-quarterly-job-21] `-- Extracting libedit-3.1.20191211,1: .......... done [120arm64-quarterly-job-21] `-- Installing libxml2-2.9.10... [120arm64-quarterly-job-21] `-- Extracting libxml2-2.9.10: .......... done [120arm64-quarterly-job-21] `-- Installing perl5-5.30.1... [120arm64-quarterly-job-21] `-- Extracting perl5-5.30.1: .......... done [120arm64-quarterly-job-21] `-- Installing python37-3.7.6... [120arm64-quarterly-job-21] | `-- Installing gettext-runtime-0.20.1... [120arm64-quarterly-job-21] | | `-- Installing indexinfo-0.3.1... [120arm64-quarterly-job-21] | | `-- Extracting indexinfo-0.3.1: .... done [120arm64-quarterly-job-21] | `-- Extracting gettext-runtime-0.20.1: .......... done [120arm64-quarterly-job-21] | `-- Installing libffi-3.2.1_3... [120arm64-quarterly-job-21] | `-- Extracting libffi-3.2.1_3: .......... done [120arm64-quarterly-job-21] | `-- Installing readline-8.0.1... [120arm64-quarterly-job-21] | `-- Extracting readline-8.0.1: .......... done [120arm64-quarterly-job-21] `-- Extracting python37-3.7.6: .......... done [120arm64-quarterly-job-21] Extracting llvm90-9.0.0_2: .......... done [120arm64-quarterly-job-21] `-- Installing icu-65.1,1... [120arm64-quarterly-job-21] `-- Extracting icu-65.1,1: .......... done [120arm64-quarterly-job-21] Extracting boost-libs-1.72.0: .......... done ===== Message from boost-libs-1.72.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-3.0_1 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so) ===> Returning to build of ikos-3.0_1 ===> ikos-3.0_1 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> ikos-3.0_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> ikos-3.0_1 depends on shared library: libppl.so - found (/usr/local/lib/libppl.so) ===> ikos-3.0_1 depends on shared library: libtbb.so - not found ===> Installing existing package /packages/All/tbb-2020.0.txz [120arm64-quarterly-job-21] Installing tbb-2020.0... [120arm64-quarterly-job-21] Extracting tbb-2020.0: .......... done ===> ikos-3.0_1 depends on shared library: libtbb.so - found (/usr/local/lib/libtbb.so) ===> Returning to build of ikos-3.0_1 ===> ikos-3.0_1 depends on shared library: libsqlite3.so - not found ===> Installing existing package /packages/All/sqlite3-3.30.1.txz [120arm64-quarterly-job-21] Installing sqlite3-3.30.1... [120arm64-quarterly-job-21] Extracting sqlite3-3.30.1: .......... done ===> ikos-3.0_1 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Returning to build of ikos-3.0_1 =========================================================================== =================================================== ===> Configuring for ikos-3.0_1 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/devel/ikos/work/.build -- The C compiler identification is Clang 9.0.0 -- The CXX compiler identification is Clang 9.0.0 -- Check for working C compiler: /usr/local/bin/clang90 -- Check for working C compiler: /usr/local/bin/clang90 -- 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++90 -- Check for working CXX compiler: /usr/local/bin/clang++90 -- 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.5 -- CMake generator: Ninja -- Including core -- Found Boost: /usr/local/include (found version "1.72.0") -- Found the following Boost libraries: -- unit_test_framework -- Found GMP: /usr/local/include (found version "6.1.2") -- Found TBB: /usr/local/include (found suitable version "11100", minimum required is "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_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_COVERED_SWITCH_DEFAULT -- Performing Test CXX_SUPPORTS_WNO_COVERED_SWITCH_DEFAULT - Success -- Performing Test CXX_SUPPORTS_WNO_WEAK_VTABLES -- Performing Test CXX_SUPPORTS_WNO_WEAK_VTABLES - 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_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.72.0") -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Including frontend/llvm -- Found Boost: /usr/local/include (found version "1.72.0") -- Found the following Boost libraries: -- filesystem -- system -- Found LLVM: /usr/local/llvm90 (found version "9.0.0") CMake Error at /usr/local/llvm90/lib/cmake/llvm/HandleLLVMOptions.cmake:9 (include): include could not find load file: CheckCompilerVersion Call Stack (most recent call first): frontend/llvm/CMakeLists.txt:123 (include) CMake Error at /usr/local/llvm90/lib/cmake/llvm/HandleLLVMStdlib.cmake:4 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): /usr/local/llvm90/lib/cmake/llvm/HandleLLVMOptions.cmake:10 (include) frontend/llvm/CMakeLists.txt:123 (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 -- Looking for os_signpost_interval_begin -- Looking for os_signpost_interval_begin - not found CMake Error at /usr/local/llvm90/lib/cmake/llvm/AddLLVM.cmake:3 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): frontend/llvm/CMakeLists.txt:124 (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.72.0") -- Found the following Boost libraries: -- filesystem -- system -- thread -- Found SQLite3: /usr/local/include (found version "3.30.1") -- Found PythonInterp: /usr/local/bin/python3.7 (found version "3.7.6") CMake Error at /usr/local/llvm90/lib/cmake/llvm/HandleLLVMOptions.cmake:9 (include): include could not find load file: CheckCompilerVersion Call Stack (most recent call first): analyzer/CMakeLists.txt:142 (include) CMake Error at /usr/local/llvm90/lib/cmake/llvm/HandleLLVMStdlib.cmake:4 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): /usr/local/llvm90/lib/cmake/llvm/HandleLLVMOptions.cmake:10 (include) analyzer/CMakeLists.txt:142 (include) -- Building with -fPIC CMake Error at /usr/local/llvm90/lib/cmake/llvm/AddLLVM.cmake:3 (include): include could not find load file: DetermineGCCCompatible Call Stack (most recent call first): analyzer/CMakeLists.txt:143 (include) -- Linker detection: LLD -- Found Clang: /usr/local/llvm90/bin/clang (found version "9.0.0") -- Performing Test CXX_SUPPORTS_WNO_C99_EXTENSIONS -- Performing Test CXX_SUPPORTS_WNO_C99_EXTENSIONS - Success -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Configuring incomplete, errors occurred! See also "/wrkdirs/usr/ports/devel/ikos/work/.build/CMakeFiles/CMakeOutput.log". See also "/wrkdirs/usr/ports/devel/ikos/work/.build/CMakeFiles/CMakeError.log". *** Error code 1 Stop. make: stopped in /usr/ports/devel/ikos