From owner-freebsd-pkg-fallout@freebsd.org Sat Apr 13 12:29:27 2019 Return-Path: Delivered-To: freebsd-pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 06E901577A34 for ; Sat, 13 Apr 2019 12:29:27 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: from mailman.ysv.freebsd.org (mailman.ysv.freebsd.org [IPv6:2001:1900:2254:206a::50:5]) by mx1.freebsd.org (Postfix) with ESMTP id 91CCB82793 for ; Sat, 13 Apr 2019 12:29:26 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id 519311577A33; Sat, 13 Apr 2019 12:29:26 +0000 (UTC) Delivered-To: pkg-fallout@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id 1BAD11577A32 for ; Sat, 13 Apr 2019 12:29:26 +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 B2A8182792 for ; Sat, 13 Apr 2019 12:29:25 +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 83D0B8E5E for ; Sat, 13 Apr 2019 12:29:25 +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 x3DCTPD9025200 for ; Sat, 13 Apr 2019 12:29:25 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by pylon.nyi.freebsd.org (8.15.2/8.15.2/Submit) id x3DCTPqc025169; Sat, 13 Apr 2019 12:29:25 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Sat, 13 Apr 2019 12:29:25 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201904131229.x3DCTPqc025169@pylon.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 120powerpc64-quarterly][devel/ikos] Failed for ikos-2.1.104 in configure X-Rspamd-Queue-Id: B2A8182792 X-Spamd-Bar: -- Authentication-Results: mx1.freebsd.org X-Spamd-Result: default: False [-2.99 / 15.00]; local_wl_from(0.00)[FreeBSD.org]; NEURAL_HAM_MEDIUM(-1.00)[-0.999,0]; NEURAL_HAM_SHORT(-0.99)[-0.992,0]; NEURAL_HAM_LONG(-1.00)[-1.000,0]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US] 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, 13 Apr 2019 12:29:27 -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/2019Q2/devel/ikos/Makefile 493829 2019-02-25 02:06:14Z yuri $ Log URL: http://pylon.nyi.freebsd.org/data/120powerpc64-quarterly/498780/logs/ikos-2.1.104.log Build URL: http://pylon.nyi.freebsd.org/build.html?mastername=120powerpc64-quarterly&build=498780 Log: =>> Building devel/ikos build started at Sat Apr 13 12:26:18 UTC 2019 port directory: /usr/ports/devel/ikos package name: ikos-2.1.104 building for: FreeBSD 120powerpc64-quarterly-job-07 12.0-RELEASE-p3 FreeBSD 12.0-RELEASE-p3 1200086 powerpc maintained by: yuri@FreeBSD.org Makefile ident: $FreeBSD: branches/2019Q2/devel/ikos/Makefile 493829 2019-02-25 02:06:14Z yuri $ Poudriere version: 3.2.8-3-g02cc9753 Host OSVERSION: 1300012 Jail OSVERSION: 1200086 Job Id: 07 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1200086 UNAME_v=FreeBSD 12.0-RELEASE-p3 1200086 UNAME_r=12.0-RELEASE-p3 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-3-g02cc9753 MASTERMNT=/usr/local/poudriere/data/.m/120powerpc64-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM= PWD=/usr/local/poudriere/data/.m/120powerpc64-quarterly/ref/.p/pool P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS MASTERNAME=120powerpc64-quarterly SCRIPTPREFIX=/usr/local/share/poudriere OLDPWD=/usr/local/poudriere/data/.m/120powerpc64-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/python2.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="clang70" CFLAGS="-O2 -pipe -fno-strict-aliasing " CPP="clang-cpp70" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="clang++70" CXXFLAGS="-O2 -pipe -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/python2.7 PYTHON_LIBDIR=lib/python2.7 PYTHON_PLATFORM=freebsd12 PYTHON_PYOEXTENSION=pyo PYTHON_SITELIBDIR=lib/python2.7/site-packages PYTHON_SUFFIX=27 PYTHON_VER=2.7 PYTHON_VERSION=python2.7 PYTHON2="" PYTHON3="@comment " 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=cc (GCC) 4.2.1 20070831 patched [FreeBSD] Copyright (C) 2007 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. _ALTCCVERSION_921dbbb2=none _CXXINTERNAL_acaad9ca=Using built-in specs. Target: powerpc64-undermydesk-freebsd Configured with: FreeBSD/powerpc64 system compiler Thread model: posix gcc version 4.2.1 20070831 patched [FreeBSD] "/usr/bin/ld" "--eh-frame-hdr" "-Qy" "-melf64ppc_fbsd" "--enable-new-dtags" "-dynamic-linker" "/libexec/ld-elf.so.1" "/usr/lib/crt1.o" "/usr/lib/crti.o" "/usr/lib/crtbegin.o" "-L/usr/lib" "-L/usr/lib" "/dev/null" "-lstdc++" "-lm" "-lgcc_s" "-lgcc" "-lc" "-lgcc_s" "-lgcc" "/usr/lib/crtsavres.o" "/usr/lib/crtend.o" "/usr/lib/crtn.o" CC_OUTPUT_921dbbb2_58173849=yes CC_OUTPUT_921dbbb2_9bdba57c=yes CC_OUTPUT_921dbbb2_6a4fe7f5=cc1: error: unrecognized command line option "-std=c11" CC_OUTPUT_921dbbb2_6bcac02b=yes CC_OUTPUT_921dbbb2_67d20829=yes CC_OUTPUT_921dbbb2_bfa62e83=cc1: error: unrecognized command line option "-std=gnu11" CC_OUTPUT_921dbbb2_f0b4d593=yes CC_OUTPUT_921dbbb2_308abb44=cc1plus: error: unrecognized command line option "-std=c++0x" CC_OUTPUT_921dbbb2_f00456e5=cc1plus: error: unrecognized command line option "-std=c++11" CC_OUTPUT_921dbbb2_65ad290d=cc1plus: error: unrecognized command line option "-std=c++14" CC_OUTPUT_921dbbb2_f2776b26=cc1plus: error: unrecognized command line option "-std=c++17" CC_OUTPUT_921dbbb2_b2657cc3=yes CC_OUTPUT_921dbbb2_380987f7=cc1plus: error: unrecognized command line option "-std=gnu++11" CC_OUTPUT_921dbbb2_160933ec=cc1plus: error: unrecognized command line option "-std=gnu++14" CC_OUTPUT_921dbbb2_fb62803b=cc1plus: error: unrecognized command line option "-std=gnu++17" _OBJC_CCVERSION_921dbbb2=cc (GCC) 4.2.1 20070831 patched [FreeBSD] Copyright (C) 2007 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. _OBJC_ALTCCVERSION_921dbbb2=none ARCH=powerpc64 OPSYS=FreeBSD _OSRELEASE=12.0-RELEASE-p3 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) 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 MIT accepted by the user =========================================================================== =================================================== ===> ikos-2.1.104 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz [120powerpc64-quarterly-job-07] Installing pkg-1.10.5_5... [120powerpc64-quarterly-job-07] Extracting pkg-1.10.5_5: .......... done ===> ikos-2.1.104 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ikos-2.1.104 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1.104 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1.104 for building => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.1-104-g5244fd8_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1.104 for building ===> Extracting for ikos-2.1.104 => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.1-104-g5244fd8_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for ikos-2.1.104 ===> Applying FreeBSD patches for ikos-2.1.104 =========================================================================== =================================================== ===> ikos-2.1.104 depends on package: llvm70>0 - not found ===> Installing existing package /packages/All/llvm70-7.0.1_2.txz [120powerpc64-quarterly-job-07] Installing llvm70-7.0.1_2... [120powerpc64-quarterly-job-07] `-- Installing gcc8-8.3.0_1... [120powerpc64-quarterly-job-07] | `-- Installing binutils-2.32,1... [120powerpc64-quarterly-job-07] | | `-- Installing gettext-runtime-0.19.8.1_2... [120powerpc64-quarterly-job-07] | | `-- Installing indexinfo-0.3.1... [120powerpc64-quarterly-job-07] | | `-- Extracting indexinfo-0.3.1: .... done [120powerpc64-quarterly-job-07] | | `-- Extracting gettext-runtime-0.19.8.1_2: .......... done [120powerpc64-quarterly-job-07] | `-- Extracting binutils-2.32,1: .......... done [120powerpc64-quarterly-job-07] | `-- Installing gmp-6.1.2_1... [120powerpc64-quarterly-job-07] | `-- Extracting gmp-6.1.2_1: .......... done [120powerpc64-quarterly-job-07] | `-- Installing mpc-1.1.0_2... [120powerpc64-quarterly-job-07] | | `-- Installing mpfr-4.0.2... [120powerpc64-quarterly-job-07] | `-- Extracting libffi-3.2.1_3: .......... done [120powerpc64-quarterly-job-07] | `-- Installing readline-7.0.5... [120powerpc64-quarterly-job-07] | `-- Extracting readline-7.0.5: .......... done [120powerpc64-quarterly-job-07] `-- Extracting python27-2.7.16: .......... done [120powerpc64-quarterly-job-07] Extracting llvm70-7.0.1_2: .......... done Message from gcc8-8.3.0_1: To ensure binaries built with this toolchain find appropriate versions of the necessary run-time libraries, you may want to link using -Wl,-rpath=/usr/local/lib/gcc8 For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens transparently. Message from perl5-5.28.1_1: The /usr/bin/perl symlink has been removed starting with Perl 5.20. For shebangs, you should either use: #!/usr/local/bin/perl or #!/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 python27-2.7.16: =========================================================================== Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: bsddb databases/py-bsddb gdbm databases/py-gdbm sqlite3 databases/py-sqlite3 tkinter x11-toolkits/py-tkinter =========================================================================== ===> ikos-2.1.104 depends on package: llvm70>0 - found ===> Returning to build of ikos-2.1.104 ===> ikos-2.1.104 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.13.4.txz [120powerpc64-quarterly-job-07] Installing cmake-3.13.4... [120powerpc64-quarterly-job-07] `-- Installing curl-7.64.1_1... [120powerpc64-quarterly-job-07] | `-- Installing ca_root_nss-3.43... [120powerpc64-quarterly-job-07] | `-- Extracting ca_root_nss-3.43: ........ done [120powerpc64-quarterly-job-07] | `-- Installing libnghttp2-1.37.0... [120powerpc64-quarterly-job-07] | `-- Extracting libnghttp2-1.37.0: .......... done [120powerpc64-quarterly-job-07] `-- Extracting curl-7.64.1_1: .......... done [120powerpc64-quarterly-job-07] `-- Installing expat-2.2.6_1... [120powerpc64-quarterly-job-07] `-- Extracting expat-2.2.6_1: .......... done [120powerpc64-quarterly-job-07] `-- Installing jsoncpp-1.8.1_6... [120powerpc64-quarterly-job-07] `-- Extracting jsoncpp-1.8.1_6: .......... done [120powerpc64-quarterly-job-07] `-- Installing libarchive-3.3.3,1... [120powerpc64-quarterly-job-07] | `-- Installing liblz4-1.8.3,1... [120powerpc64-quarterly-job-07] | `-- Extracting liblz4-1.8.3,1: .......... done [120powerpc64-quarterly-job-07] | `-- Installing lzo2-2.10_1... [120powerpc64-quarterly-job-07] | `-- Extracting lzo2-2.10_1: .......... done [120powerpc64-quarterly-job-07] `-- Extracting libarchive-3.3.3,1: .......... done [120powerpc64-quarterly-job-07] `-- Installing libuv-1.27.0... [120powerpc64-quarterly-job-07] `-- Extracting libuv-1.27.0: .......... done [120powerpc64-quarterly-job-07] `-- Installing rhash-1.3.5... [120powerpc64-quarterly-job-07] `-- Extracting rhash-1.3.5: .......... done [120powerpc64-quarterly-job-07] Extracting cmake-3.13.4: .......... done Message from ca_root_nss-3.43: ********************************* WARNING ********************************* 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. *********************************** NOTE ********************************** 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 *************************************************************************** ===> ikos-2.1.104 depends on file: /usr/local/bin/cmake - found ===> Returning to build of ikos-2.1.104 ===> ikos-2.1.104 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.8.2_1,2.txz [120powerpc64-quarterly-job-07] Installing ninja-1.8.2_1,2... [120powerpc64-quarterly-job-07] Extracting ninja-1.8.2_1,2: ......... done ===> ikos-2.1.104 depends on executable: ninja - found ===> Returning to build of ikos-2.1.104 ===> ikos-2.1.104 depends on file: /usr/local/bin/python2.7 - found =========================================================================== =================================================== ===> ikos-2.1.104 depends on shared library: libapron.so - not found ===> Installing existing package /packages/All/apron-0.9.11.txz [120powerpc64-quarterly-job-07] Installing apron-0.9.11... [120powerpc64-quarterly-job-07] `-- Installing ppl-1.2... [120powerpc64-quarterly-job-07] | `-- Installing glpk-4.65... [120powerpc64-quarterly-job-07] | `-- Extracting glpk-4.65: .......... done [120powerpc64-quarterly-job-07] `-- Extracting ppl-1.2: .......... done [120powerpc64-quarterly-job-07] Extracting apron-0.9.11: .......... done Message from ppl-1.2: ===> NOTICE: The ppl port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: 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.104 depends on shared library: libapron.so - found (/usr/local/lib/libapron.so) ===> Returning to build of ikos-2.1.104 ===> ikos-2.1.104 depends on shared library: libboost_system.so - not found ===> Installing existing package /packages/All/boost-libs-1.69.0_2.txz [120powerpc64-quarterly-job-07] Installing boost-libs-1.69.0_2... [120powerpc64-quarterly-job-07] `-- Installing icu-64.1,1... [120powerpc64-quarterly-job-07] `-- Extracting icu-64.1,1: .......... done [120powerpc64-quarterly-job-07] Extracting boost-libs-1.69.0_2: .......... done Message from boost-libs-1.69.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.104 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so) ===> Returning to build of ikos-2.1.104 ===> ikos-2.1.104 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> ikos-2.1.104 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> ikos-2.1.104 depends on shared library: libppl.so - found (/usr/local/lib/libppl.so) ===> ikos-2.1.104 depends on shared library: libsqlite3.so - not found ===> Installing existing package /packages/All/sqlite3-3.27.1_1.txz [120powerpc64-quarterly-job-07] Installing sqlite3-3.27.1_1... [120powerpc64-quarterly-job-07] Extracting sqlite3-3.27.1_1: .......... done ===> ikos-2.1.104 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Returning to build of ikos-2.1.104 =========================================================================== =================================================== ===> Configuring for ikos-2.1.104 ===> Performing out-of-source build /bin/mkdir -p /wrkdirs/usr/ports/devel/ikos/work/.build -- The C compiler identification is Clang 7.0.1 -- The CXX compiler identification is Clang 7.0.1 -- Check for working C compiler: /usr/local/bin/clang70 -- Check for working C compiler: /usr/local/bin/clang70 -- 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++70 -- Check for working CXX compiler: /usr/local/bin/clang++70 -- broken CMake Error at /usr/local/share/cmake/Modules/CMakeTestCXXCompiler.cmake:45 (message): The C++ compiler "/usr/local/bin/clang++70" is not able to compile a simple test program. It fails with the following output: Change Dir: /wrkdirs/usr/ports/devel/ikos/work/.build/CMakeFiles/CMakeTmp Run Build Command:"/usr/local/bin/ninja" "cmTC_abe91" [1/2] Building CXX object CMakeFiles/cmTC_abe91.dir/testCXXCompiler.cxx.o [2/2] Linking CXX executable cmTC_abe91 FAILED: cmTC_abe91 : && /usr/local/bin/clang++70 -O2 -pipe -fno-strict-aliasing -DNDEBUG CMakeFiles/cmTC_abe91.dir/testCXXCompiler.cxx.o -o cmTC_abe91 && : /usr/bin/ld: cannot find -lc++ clang-7: error: linker command failed with exit code 1 (use -v to see invocation) ninja: build stopped: subcommand failed. CMake will not be able to correctly generate this project. Call Stack (most recent call first): CMakeLists.txt:50 (project) -- 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