From owner-freebsd-pkg-fallout@freebsd.org Thu Feb 14 21:15:17 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 DAEAF14E1E24 for ; Thu, 14 Feb 2019 21:15:16 +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 749298C390 for ; Thu, 14 Feb 2019 21:15:16 +0000 (UTC) (envelope-from pkg-fallout@FreeBSD.org) Received: by mailman.ysv.freebsd.org (Postfix) id 3360214E1E23; Thu, 14 Feb 2019 21:15:16 +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 F060914E1E22 for ; Thu, 14 Feb 2019 21:15:15 +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 A24278C38F for ; Thu, 14 Feb 2019 21:15:15 +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 94A30CC54 for ; Thu, 14 Feb 2019 21:15:15 +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 x1ELFFw9047329 for ; Thu, 14 Feb 2019 21:15:15 GMT (envelope-from pkg-fallout@FreeBSD.org) Received: (from root@localhost) by pylon.nyi.freebsd.org (8.15.2/8.15.2/Submit) id x1ELFFPp047299; Thu, 14 Feb 2019 21:15:15 GMT (envelope-from pkg-fallout@FreeBSD.org) Date: Thu, 14 Feb 2019 21:15:15 GMT From: pkg-fallout@FreeBSD.org Message-Id: <201902142115.x1ELFFPp047299@pylon.nyi.freebsd.org> To: pkg-fallout@FreeBSD.org Subject: [package - 120powerpc64-quarterly][devel/ikos] Failed for ikos-2.1_1 in configure X-Rspamd-Queue-Id: A24278C38F 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_SHORT(-0.99)[-0.987,0]; ASN(0.00)[asn:11403, ipnet:2610:1c1:1::/48, country:US]; NEURAL_HAM_MEDIUM(-1.00)[-0.998,0]; NEURAL_HAM_LONG(-1.00)[-1.000,0] 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: Thu, 14 Feb 2019 21:15:17 -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: tcberner@FreeBSD.org Ident: $FreeBSD: branches/2019Q1/devel/ikos/Makefile 488341 2018-12-25 20:25:39Z tcberner $ Log URL: http://pylon.nyi.freebsd.org/data/120powerpc64-quarterly/492798/logs/ikos-2.1_1.log Build URL: http://pylon.nyi.freebsd.org/build.html?mastername=120powerpc64-quarterly&build=492798 Log: =>> Building devel/ikos build started at Thu Feb 14 21:13:44 UTC 2019 port directory: /usr/ports/devel/ikos package name: ikos-2.1_1 building for: FreeBSD 120powerpc64-quarterly-job-08 12.0-RELEASE-p3 FreeBSD 12.0-RELEASE-p3 1200086 powerpc maintained by: yuri@FreeBSD.org Makefile ident: $FreeBSD: branches/2019Q1/devel/ikos/Makefile 488341 2018-12-25 20:25:39Z tcberner $ Poudriere version: 3.2.8-1-g2a843cca Host OSVERSION: 1300012 Jail OSVERSION: 1200086 Job Id: 08 ---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-1-g2a843cca MASTERMNT=/usr/local/poudriere/data/.m/120powerpc64-quarterly/ref POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=vt100 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_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz [120powerpc64-quarterly-job-08] Installing pkg-1.10.5_5... [120powerpc64-quarterly-job-08] Extracting pkg-1.10.5_5: .......... done ===> ikos-2.1_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ikos-2.1_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user => NASA-SW-VnV-ikos-v2.1_GH0.tar.gz doesn't seem to exist in /portdistfiles/. => Attempting to fetch https://codeload.github.com/NASA-SW-VnV/ikos/tar.gz/v2.1?dummy=/NASA-SW-VnV-ikos-v2.1_GH0.tar.gz fetch: https://codeload.github.com/NASA-SW-VnV/ikos/tar.gz/v2.1?dummy=/NASA-SW-VnV-ikos-v2.1_GH0.tar.gz: size unknown fetch: https://codeload.github.com/NASA-SW-VnV/ikos/tar.gz/v2.1?dummy=/NASA-SW-VnV-ikos-v2.1_GH0.tar.gz: size of remote file is not known NASA-SW-VnV-ikos-v2.1_GH0.tar.gz 1017 kB 5273 kBps 00s ===> Fetching all distfiles required by ikos-2.1_1 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1_1 for building => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.1_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by ikos-2.1_1 for building ===> Extracting for ikos-2.1_1 => SHA256 Checksum OK for NASA-SW-VnV-ikos-v2.1_GH0.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for ikos-2.1_1 ===> Applying FreeBSD patches for ikos-2.1_1 =========================================================================== =================================================== ===> ikos-2.1_1 depends on package: llvm70>0 - not found ===> Installing existing package /packages/All/llvm70-7.0.1_1.txz [120powerpc64-quarterly-job-08] Installing llvm70-7.0.1_1... [120powerpc64-quarterly-job-08] `-- Installing gcc8-8.2.0_4... [120powerpc64-quarterly-job-08] | `-- Installing binutils-2.30_7,1... [120powerpc64-quarterly-job-08] | | `-- Installing gettext-runtime-0.19.8.1_2... [120powerpc64-quarterly-job-08] | | `-- Installing indexinfo-0.3.1... [120powerpc64-quarterly-job-08] | | `-- Extracting indexinfo-0.3.1: .... done [120powerpc64-quarterly-job-08] | | `-- Extracting gettext-runtime-0.19.8.1_2: .......... done ===> NOTICE: This port is deprecated; you may wish to reconsider installing it: Unsupported by upstream. Use GCC 7 or newer instead.. Message from gcc8-8.2.0_4: 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: 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.15: =========================================================================== 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_1 depends on package: llvm70>0 - found ===> Returning to build of ikos-2.1_1 ===> ikos-2.1_1 depends on file: /usr/local/bin/cmake - not found ===> Installing existing package /packages/All/cmake-3.13.2.txz [120powerpc64-quarterly-job-08] Installing cmake-3.13.2... [120powerpc64-quarterly-job-08] `-- Installing curl-7.64.0... [120powerpc64-quarterly-job-08] | `-- Installing ca_root_nss-3.42.1... [120powerpc64-quarterly-job-08] | `-- Extracting ca_root_nss-3.42.1: ........ done [120powerpc64-quarterly-job-08] | `-- Installing libnghttp2-1.35.1... [120powerpc64-quarterly-job-08] | `-- Extracting libnghttp2-1.35.1: .......... done [120powerpc64-quarterly-job-08] `-- Extracting curl-7.64.0: .......... done [120powerpc64-quarterly-job-08] `-- Installing expat-2.2.6_1... [120powerpc64-quarterly-job-08] `-- Extracting expat-2.2.6_1: .......... done [120powerpc64-quarterly-job-08] `-- Installing jsoncpp-1.8.1_5... [120powerpc64-quarterly-job-08] `-- Extracting jsoncpp-1.8.1_5: .......... done [120powerpc64-quarterly-job-08] `-- Installing libarchive-3.3.3,1... [120powerpc64-quarterly-job-08] | `-- Installing liblz4-1.8.3,1... [120powerpc64-quarterly-job-08] | `-- Extracting liblz4-1.8.3,1: .......... done [120powerpc64-quarterly-job-08] | `-- Installing lzo2-2.10_1... [120powerpc64-quarterly-job-08] | `-- Extracting lzo2-2.10_1: .......... done [120powerpc64-quarterly-job-08] `-- Extracting libarchive-3.3.3,1: .......... done [120powerpc64-quarterly-job-08] `-- Installing libuv-1.24.1... [120powerpc64-quarterly-job-08] `-- Extracting libuv-1.24.1: .......... done [120powerpc64-quarterly-job-08] `-- Installing rhash-1.3.5... [120powerpc64-quarterly-job-08] `-- Extracting rhash-1.3.5: .......... done [120powerpc64-quarterly-job-08] Extracting cmake-3.13.2: .......... done Message from ca_root_nss-3.42.1: ********************************* 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_1 depends on file: /usr/local/bin/cmake - found ===> Returning to build of ikos-2.1_1 ===> ikos-2.1_1 depends on executable: ninja - not found ===> Installing existing package /packages/All/ninja-1.8.2_1,2.txz [120powerpc64-quarterly-job-08] Installing ninja-1.8.2_1,2... [120powerpc64-quarterly-job-08] Extracting ninja-1.8.2_1,2: ......... done ===> ikos-2.1_1 depends on executable: ninja - found ===> Returning to build of ikos-2.1_1 ===> ikos-2.1_1 depends on file: /usr/local/bin/python2.7 - found =========================================================================== =================================================== ===> ikos-2.1_1 depends on shared library: libapron.so - not found ===> Installing existing package /packages/All/apron-0.9.11.txz [120powerpc64-quarterly-job-08] Installing apron-0.9.11... [120powerpc64-quarterly-job-08] `-- Installing ppl-1.2... [120powerpc64-quarterly-job-08] | `-- Installing glpk-4.65... [120powerpc64-quarterly-job-08] | `-- Extracting glpk-4.65: .......... done [120powerpc64-quarterly-job-08] `-- Extracting ppl-1.2: .......... done [120powerpc64-quarterly-job-08] 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_1 depends on shared library: libapron.so - found (/usr/local/lib/libapron.so) ===> Returning to build of ikos-2.1_1 ===> ikos-2.1_1 depends on shared library: libboost_system.so - not found ===> Installing existing package /packages/All/boost-libs-1.69.0.txz [120powerpc64-quarterly-job-08] Installing boost-libs-1.69.0... [120powerpc64-quarterly-job-08] `-- Installing icu-63.1_1,1... [120powerpc64-quarterly-job-08] `-- Extracting icu-63.1_1,1: .......... done [120powerpc64-quarterly-job-08] Extracting boost-libs-1.69.0: .......... done Message from boost-libs-1.69.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.1_1 depends on shared library: libboost_system.so - found (/usr/local/lib/libboost_system.so) ===> Returning to build of ikos-2.1_1 ===> ikos-2.1_1 depends on shared library: libmpfr.so - found (/usr/local/lib/libmpfr.so) ===> ikos-2.1_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> ikos-2.1_1 depends on shared library: libppl.so - found (/usr/local/lib/libppl.so) ===> ikos-2.1_1 depends on shared library: libsqlite3.so - not found ===> Installing existing package /packages/All/sqlite3-3.26.0.txz [120powerpc64-quarterly-job-08] Installing sqlite3-3.26.0... [120powerpc64-quarterly-job-08] Extracting sqlite3-3.26.0: .......... done ===> ikos-2.1_1 depends on shared library: libsqlite3.so - found (/usr/local/lib/libsqlite3.so) ===> Returning to build of ikos-2.1_1 =========================================================================== =================================================== ===> Configuring for ikos-2.1_1 ===> 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_1fd89" [1/2] Building CXX object CMakeFiles/cmTC_1fd89.dir/testCXXCompiler.cxx.o [2/2] Linking CXX executable cmTC_1fd89 FAILED: cmTC_1fd89 : && /usr/local/bin/clang++70 -O2 -pipe -fno-strict-aliasing -DNDEBUG CMakeFiles/cmTC_1fd89.dir/testCXXCompiler.cxx.o -o cmTC_1fd89 && : /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:47 (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