From nobody Wed Jan 04 08:08:33 2023 X-Original-To: pkg-fallout@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Nn2Ks5dK2z2p9Jb for ; Wed, 4 Jan 2023 08:08:33 +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) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Nn2Ks3Dx6z4L2p for ; Wed, 4 Jan 2023 08:08:33 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1672819713; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc; bh=tLJhJcYFXK+0sDu5W2MNc/ACqrXIUUm9tti1fa/jaBs=; b=oFQ6hsxEP5Ch8T0qIVmzioAhVTYzlUygxPAkqtdeIM/muy8Qd+y8wRfTLxBXVAr//bjuVE qVbwmpkZ1orrUqVUMIt31MTXvMXh862a6yMme3HE1YqPbcwhqNpErs0/Jvg+zpUPRTZiaX 4ke2xuLb9COlMhxRQg9E1s6SENjbkrjT+rsuJJ0Lkp9XTBokNFauf22GTSxfPgX3BK7kUT GqOXjh/hB86iBEDOPG17gy1ht2kCo38gdGgrj3NhgrwATJNA/cSARvnJnD3gXQ/u8B9tPx 93KDwxPgnzULZHxGD1WaTodrWGvCmGblI9K4QpPudrvB7ptLHPjfdA3CLyfJog== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1672819713; a=rsa-sha256; cv=none; b=qDRwztdDF88YPeyh8Vynl3xqf2BLHDq6RwTKHDZ10JPe2ZeWbRzsplYDp18ZcTpJowfpkU 41GccYcKO2dI6jfitx21hJVCAsyl0cMwNpkIAkx0/oiKGzJ5pMyXnZAHaVazh8lCvHUYuw k5A38eYCWLdwCtJqHajB7cQUbLYE0E84bfGFOhvep5ziKgNu0WH47SOBLFG5X1OEChDo/S QhLYswBndeurSjf07kCeCV0CClPZiUSEoqVKGslKxmDDv92DdW21Za36+cd81fflG4q1M/ YfeTYr6K2zoRtR+7c9lwrm4XPt8V/NjXUpA8LP+swFksP8//k+9QX7zg2MnktA== Received: from foul1.nyi.freebsd.org (foul1.nyi.freebsd.org [IPv6:2610:1c1:1:6080::16:25]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4Nn2Ks244Mz13vj for ; Wed, 4 Jan 2023 08:08:33 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from foul1.nyi.freebsd.org (localhost [127.0.0.1]) by foul1.nyi.freebsd.org (8.16.1/8.16.1) with ESMTP id 30488X1f023016 for ; Wed, 4 Jan 2023 08:08:33 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by foul1.nyi.freebsd.org (8.16.1/8.16.1/Submit) id 30488XxU023009; Wed, 4 Jan 2023 08:08:33 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Wed, 4 Jan 2023 08:08:33 GMT From: pkg-fallout@FreeBSD.org Message-Id: <202301040808.30488XxU023009@foul1.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 131powerpc-quarterly][devel/ikos] Failed for ikos-3.0_8 in configure X-ThisMailContainsUnwantedMimeParts: N List-Id: Fallout logs from package building List-Archive: https://lists.freebsd.org/archives/freebsd-pkg-fallout List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-pkg-fallout@freebsd.org 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 Log URL: https://pkg-status.freebsd.org/foul1/data/131powerpc-quarterly/fa196a207467/logs/ikos-3.0_8.log Build URL: https://pkg-status.freebsd.org/foul1/build.html?mastername=131powerpc-quarterly&build=fa196a207467 Log: =>> Building devel/ikos build started at Wed Jan 4 08:06:15 UTC 2023 port directory: /usr/ports/devel/ikos package name: ikos-3.0_8 building for: FreeBSD 131powerpc-quarterly-job-09 13.1-RELEASE FreeBSD 13.1-RELEASE powerpc maintained by: yuri@FreeBSD.org Makefile ident: Poudriere version: 3.2.8-23-ga7f8d188 Host OSVERSION: 1400073 Jail OSVERSION: 1301000 Job Id: 09 ---Begin Environment--- SHELL=/bin/csh UNAME_p=powerpc UNAME_m=powerpc OSVERSION=1301000 UNAME_v=FreeBSD 13.1-RELEASE UNAME_r=13.1-RELEASE BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 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-23-ga7f8d188 MASTERMNT=/usr/local/poudriere/data/.m/131powerpc-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color PWD=/usr/local/poudriere/data/.m/131powerpc-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=131powerpc-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/131powerpc-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.9" XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ikos/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ikos/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/ikos/work/.cache 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 PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/ikos/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- NINJA_STATUS="[%p %s/%t] " XDG_DATA_HOME=/wrkdirs/usr/ports/devel/ikos/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/devel/ikos/work XDG_CACHE_HOME=/wrkdirs/usr/ports/devel/ikos/work/.cache 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 PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/devel/ikos/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig 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_LI B="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.9 PYTHON_LIBDIR=lib/python3.9 PYTHON_PLATFORM=freebsd13 PYTHON_SITELIBDIR=lib/python3.9/site-packages PYTHON_SUFFIX=39 PYTHON_EXT_SUFFIX=.cpython-39 PYTHON_VER=3.9 PYTHON_VERSION=python3.9 PYTHON2="@comment " PYTHON3="" OSREL=13.1 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 MACHINE=powerpc MACHINE_ARCH=powerpc ARCH=${MACHINE_ARCH} #### /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 13.0.0 (git@github.com:llvm/llvm-project.git llvmorg-13.0.0-0-gd7b669b3a303) Target: powerpc-unknown-freebsd13.1 Thread model: posix InstalledDir: /usr/bin _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=FreeBSD clang version 13.0.0 (git@github.com:llvm/llvm-project.git llvmorg-13.0.0-0-gd7b669b3a303) Target: powerpc-unknown-freebsd13.1 Thread model: posix InstalledDir: /usr/bin "/usr/bin/ld" "--eh-frame-hdr" "-dynamic-linker" "/libexec/ld-elf.so.1" "--enable-new-dtags" "-m" "elf32ppc_fbsd" "-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_53255a77=yes CC_OUTPUT_921dbbb2_911cfe02=yes CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=yes CC_OUTPUT_921dbbb2_160933ec=yes CC_OUTPUT_921dbbb2_fb62803b=yes CC_OUTPUT_921dbbb2_af59ad06=yes CC_OUTPUT_921dbbb2_a15f3fcf=yes _OBJC_CCVERSION_921dbbb2=FreeBSD clang version 13.0.0 (git@github.com:llvm/llvm-project.git llvmorg-13.0.0-0-gd7b669b3a303) Target: powerpc-unknown-freebsd13.1 Thread model: posix InstalledDir: /usr/bin _OBJC_ALTCCVERSION_921dbbb2=none ARCH=powerpc OPSYS=FreeBSD _OSRELEASE=13.1-RELEASE OSREL=13.1 OSVERSION=1301000 PYTHONBASE=/usr/local CONFIGURE_MAX_CMD_LEN=524288 HAVE_PORTS_ENV=1 #### Misc Poudriere #### GID=0 UID=0 ---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) 65536 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_8 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.18.4.pkg [131powerpc-quarterly-job-09] Installing pkg-1.18.4... [131powerpc-quarterly-job-09] Extracting pkg-1.18.4: .......... done ===> ikos-3.0_8 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ikos-3.0_8 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-3.0_8 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-3.0_8 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_8 for building ===> Extracting for ikos-3.0_8 => SHA256 Checksum OK for NASA-SW-VnV-ikos-v3.0_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for ikos-3.0_8 ===> Applying FreeBSD patches for ikos-3.0_8 from /usr/ports/devel/ikos/files =========================================================================== =================================================== ===> ikos-3.0_8 depends on package: llvm90>0 - not found ===> Installing existing package /packages/All/llvm90-9.0.1_6.pkg [131powerpc-quarterly-job-09] Installing llvm90-9.0.1_6... [131powerpc-quarterly-job-09] `-- Installing libedit-3.1.20210910,1... [131powerpc-quarterly-job-09] `-- Extracting libedit-3.1.20210910,1: .......... done [131powerpc-quarterly-job-09] `-- Installing libxml2-2.10.3... [131powerpc-quarterly-job-09] | `-- Installing readline-8.1.2... [131powerpc-quarterly-job-09] | | `-- Installing indexinfo-0.3.1... [131powerpc-quarterly-job-09] | | `-- Extracting indexinfo-0.3.1: .... done [131powerpc-quarterly-job-09] | `-- Extracting readline-8.1.2: .......... done [131powerpc-quarterly-job-09] Extracting boost-libs-1.80.0: .......... done ===== Message from boost-libs-1.80.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_8 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so) ===> Returning to build of ikos-3.0_8 ===> ikos-3.0_8 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> ikos-3.0_8 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> ikos-3.0_8 depends on shared library: libppl.so - found (/usr/local/lib/libppl.so) ===> ikos-3.0_8 depends on shared library: libtbb.so - not found ===> Installing existing package /packages/All/tbb-2020.3_4.pkg [131powerpc-quarterly-job-09] Installing tbb-2020.3_4... [131powerpc-quarterly-job-09] Extracting tbb-2020.3_4: .......... done ===> ikos-3.0_8 depends on shared library: libtbb.so - found (/usr/local/lib/libtbb.so) ===> Returning to build of ikos-3.0_8 ===> ikos-3.0_8 depends on shared library: libsqlite3.so - not found ===> Installing existing package /packages/All/sqlite3-3.39.3,1.pkg [131powerpc-quarterly-job-09] Installing sqlite3-3.39.3,1... [131powerpc-quarterly-job-09] Extracting sqlite3-3.39.3,1: .......... done ===> ikos-3.0_8 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Returning to build of ikos-3.0_8 =========================================================================== =================================================== ===> Configuring for ikos-3.0_8 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/devel/ikos/work/.build -- The C compiler identification is Clang 9.0.1 -- The CXX compiler identification is Clang 9.0.1 -- Detecting C compiler ABI info -- Detecting C compiler ABI info - done -- Check for working C compiler: /usr/local/bin/clang90 - skipped -- Detecting C compile features -- Detecting C compile features - done -- Detecting CXX compiler ABI info -- Detecting CXX compiler ABI info - done -- Check for working CXX compiler: /usr/local/bin/clang++90 - skipped -- Detecting CXX compile features -- Detecting CXX compile features - done -- Install prefix: /usr/local -- Build type: Release -- CMake version: 3.24.0 -- CMake generator: Ninja -- Including core -- Found Boost: /usr/local/include (found version "1.80.0") -- Found the following Boost libraries: -- unit_test_framework -- Found GMP: /usr/local/include (found version "(null)") -- Found TBB: /usr/local/include (found suitable version "11103", minimum required is "2") -- Found MPFR: /usr/local/include (found version "4.1.0-p13") -- 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.80.0") -- Could NOT find Doxygen (missing: DOXYGEN_EXECUTABLE) -- Including frontend/llvm -- Found Boost: /usr/local/include (found version "1.80.0") -- Found the following Boost libraries: -- filesystem -- system -- Found LLVM: /usr/local/llvm90 (found version "9.0.1") CMake Error at /usr/local/llvm90/lib/cmake/llvm/HandleLLVMOptions.cmake:9 (include): include could not find requested 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 requested 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 requested 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 -- Performing Test CMAKE_HAVE_LIBC_PTHREAD -- Performing Test CMAKE_HAVE_LIBC_PTHREAD - Failed -- Looking for pthread_create in pthreads -- Looking for pthread_create in pthreads - not found -- Looking for pthread_create in pthread -- Looking for pthread_create in pthread - found -- Found Threads: TRUE -- Found Boost: /usr/local/include (found version "1.80.0") -- Found the following Boost libraries: -- filesystem -- system -- thread -- Found SQLite3: /usr/local/include (found version "3.39.3") -- Found PythonInterp: /usr/local/bin/python3.9 (found version "3.9.16") CMake Error at /usr/local/llvm90/lib/cmake/llvm/HandleLLVMOptions.cmake:9 (include): include could not find requested 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 requested 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 requested 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.1") -- 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