[package - 120powerpc64-quarterly][math/lean] Failed for lean-3.4.1 in configure
pkg-fallout at FreeBSD.org
pkg-fallout at FreeBSD.org
Thu Feb 14 15:03:13 UTC 2019
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 at FreeBSD.org
Last committer: tcberner at FreeBSD.org
Ident: $FreeBSD: branches/2019Q1/math/lean/Makefile 488341 2018-12-25 20:25:39Z tcberner $
Log URL: http://pylon.nyi.freebsd.org/data/120powerpc64-quarterly/492798/logs/lean-3.4.1.log
Build URL: http://pylon.nyi.freebsd.org/build.html?mastername=120powerpc64-quarterly&build=492798
Log:
=>> Building math/lean
build started at Thu Feb 14 15:02:42 UTC 2019
port directory: /usr/ports/math/lean
package name: lean-3.4.1
building for: FreeBSD 120powerpc64-quarterly-job-04 12.0-RELEASE-p3 FreeBSD 12.0-RELEASE-p3 1200086 powerpc
maintained by: yuri at FreeBSD.org
Makefile ident: $FreeBSD: branches/2019Q1/math/lean/Makefile 488341 2018-12-25 20:25:39Z tcberner $
Poudriere version: 3.2.8-1-g2a843cca
Host OSVERSION: 1300012
Jail OSVERSION: 1200086
Job Id: 04
---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 at FreeBSD.org
--End MAINTAINER--
--CONFIGURE_ARGS--
--End CONFIGURE_ARGS--
--CONFIGURE_ENV--
XDG_DATA_HOME=/wrkdirs/usr/ports/math/lean/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean/work HOME=/wrkdirs/usr/ports/math/lean/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lean/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/math/lean/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/lean/work HOME=/wrkdirs/usr/ports/math/lean/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/lean/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/math/lean/work/stage PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fno-strict-aliasing " 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" OSREL=12.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/lean" EXAMPLESDIR="share/examples/lean" DATADIR="share/lean" WWWDIR="www/lean" ETCDIR="etc/lean"
--End PLIST_SUB--
--SUB_LIST--
PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/lean DOCSDIR=/usr/local/share/doc/lean EXAMPLESDIR=/usr/local/share/examples/lean WWWDIR=/usr/local/www/lean ETCDIR=/usr/local/etc/lean
--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--
=======================<phase: check-sanity >============================
===> License APACHE20 accepted by the user
===========================================================================
=======================<phase: pkg-depends >============================
===> lean-3.4.1 depends on file: /usr/local/sbin/pkg - not found
===> Installing existing package /packages/All/pkg-1.10.5_5.txz
[120powerpc64-quarterly-job-04] Installing pkg-1.10.5_5...
[120powerpc64-quarterly-job-04] Extracting pkg-1.10.5_5: .......... done
===> lean-3.4.1 depends on file: /usr/local/sbin/pkg - found
===> Returning to build of lean-3.4.1
===========================================================================
=======================<phase: fetch-depends >============================
===========================================================================
=======================<phase: fetch >============================
===> License APACHE20 accepted by the user
=> leanprover-lean-v3.4.1_GH0.tar.gz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch https://codeload.github.com/leanprover/lean/tar.gz/v3.4.1?dummy=/leanprover-lean-v3.4.1_GH0.tar.gz
fetch: https://codeload.github.com/leanprover/lean/tar.gz/v3.4.1?dummy=/leanprover-lean-v3.4.1_GH0.tar.gz: size unknown
fetch: https://codeload.github.com/leanprover/lean/tar.gz/v3.4.1?dummy=/leanprover-lean-v3.4.1_GH0.tar.gz: size of remote file is not known
leanprover-lean-v3.4.1_GH0.tar.gz 1773 kB 5207 kBps 00s
===> Fetching all distfiles required by lean-3.4.1 for building
===========================================================================
=======================<phase: checksum >============================
===> License APACHE20 accepted by the user
===> Fetching all distfiles required by lean-3.4.1 for building
=> SHA256 Checksum OK for leanprover-lean-v3.4.1_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract >============================
===> License APACHE20 accepted by the user
===> Fetching all distfiles required by lean-3.4.1 for building
===> Extracting for lean-3.4.1
=> SHA256 Checksum OK for leanprover-lean-v3.4.1_GH0.tar.gz.
===========================================================================
=======================<phase: patch-depends >============================
===========================================================================
=======================<phase: patch >============================
===> Patching for lean-3.4.1
===> Applying FreeBSD patches for lean-3.4.1
===========================================================================
=======================<phase: build-depends >============================
===> lean-3.4.1 depends on file: /usr/local/bin/cmake - not found
===> Installing existing package /packages/All/cmake-3.13.2.txz
[120powerpc64-quarterly-job-04] Installing cmake-3.13.2...
[120powerpc64-quarterly-job-04] `-- Installing curl-7.64.0...
[120powerpc64-quarterly-job-04] | `-- Installing ca_root_nss-3.42.1...
[120powerpc64-quarterly-job-04] | `-- Extracting ca_root_nss-3.42.1: ........ done
[120powerpc64-quarterly-job-04] | `-- Installing libnghttp2-1.35.1...
[120powerpc64-quarterly-job-04] | | `-- Installing gcc8-8.2.0_4...
[120powerpc64-quarterly-job-04] | | `-- Installing binutils-2.30_7,1...
[120powerpc64-quarterly-job-04] | | | `-- Installing gettext-runtime-0.19.8.1_2...
[120powerpc64-quarterly-job-04] | | | `-- Installing indexinfo-0.3.1...
[120powerpc64-quarterly-job-04] | | | `-- Extracting indexinfo-0.3.1: .... done
[120powerpc64-quarterly-job-04] | | | `-- Extracting gettext-runtime-0.19.8.1_2: .......... done
[120powerpc64-quarterly-job-04] | | `-- Extracting binutils-2.30_7,1: .......... done
[120powerpc64-quarterly-job-04] | | `-- Installing gcc5-5.5.0_6...
[120powerpc64-quarterly-job-04] | | | `-- Installing gmp-6.1.2_1...
[120powerpc64-quarterly-job-04] | | | `-- Extracting gmp-6.1.2_1: .......... done
[120powerpc64-quarterly-job-04] | | | `-- Installing mpc-1.1.0_2...
[120powerpc64-quarterly-job-04] | | | `-- Installing mpfr-4.0.1_2...
[120powerpc64-quarterly-job-04] | | | `-- Extracting mpfr-4.0.1_2: .......... done
[120powerpc64-quarterly-job-04] | | | `-- Extracting mpc-1.1.0_2: ......... done
[120powerpc64-quarterly-job-04] | | `-- Extracting gcc5-5.5.0_6: .......... done
[120powerpc64-quarterly-job-04] | | `-- Extracting gcc8-8.2.0_4: .......... done
[120powerpc64-quarterly-job-04] | `-- Extracting libnghttp2-1.35.1: .......... done
[120powerpc64-quarterly-job-04] `-- Extracting curl-7.64.0: .......... done
[120powerpc64-quarterly-job-04] `-- Installing expat-2.2.6_1...
[120powerpc64-quarterly-job-04] `-- Extracting expat-2.2.6_1: .......... done
[120powerpc64-quarterly-job-04] `-- Installing jsoncpp-1.8.1_5...
[120powerpc64-quarterly-job-04] `-- Extracting jsoncpp-1.8.1_5: .......... done
[120powerpc64-quarterly-job-04] `-- Installing libarchive-3.3.3,1...
[120powerpc64-quarterly-job-04] | `-- Installing liblz4-1.8.3,1...
[120powerpc64-quarterly-job-04] | `-- Extracting liblz4-1.8.3,1: .......... done
[120powerpc64-quarterly-job-04] | `-- Installing lzo2-2.10_1...
[120powerpc64-quarterly-job-04] | `-- Extracting lzo2-2.10_1: .......... done
[120powerpc64-quarterly-job-04] `-- Extracting libarchive-3.3.3,1: .......... done
[120powerpc64-quarterly-job-04] `-- Installing libuv-1.24.1...
[120powerpc64-quarterly-job-04] `-- Extracting libuv-1.24.1: .......... done
[120powerpc64-quarterly-job-04] `-- Installing rhash-1.3.5...
[120powerpc64-quarterly-job-04] `-- Extracting rhash-1.3.5: .......... done
[120powerpc64-quarterly-job-04] 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
***************************************************************************
Message from gcc5-5.5.0_6:
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/gcc5
For ports leveraging USE_GCC, USES=compiler, or USES=fortran this happens
transparently.
===> 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.
===> lean-3.4.1 depends on file: /usr/local/bin/cmake - found
===> Returning to build of lean-3.4.1
===> lean-3.4.1 depends on executable: ninja - not found
===> Installing existing package /packages/All/ninja-1.8.2_1,2.txz
[120powerpc64-quarterly-job-04] Installing ninja-1.8.2_1,2...
[120powerpc64-quarterly-job-04] `-- Installing python27-2.7.15...
[120powerpc64-quarterly-job-04] | `-- Installing libffi-3.2.1_3...
[120powerpc64-quarterly-job-04] | `-- Extracting libffi-3.2.1_3: .......... done
[120powerpc64-quarterly-job-04] | `-- Installing readline-7.0.5...
[120powerpc64-quarterly-job-04] | `-- Extracting readline-7.0.5: .......... done
[120powerpc64-quarterly-job-04] `-- Extracting python27-2.7.15: .......... done
[120powerpc64-quarterly-job-04] Extracting ninja-1.8.2_1,2: ......... done
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
===========================================================================
===> lean-3.4.1 depends on executable: ninja - found
===> Returning to build of lean-3.4.1
===========================================================================
=======================<phase: lib-depends >============================
===> lean-3.4.1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so)
===========================================================================
=======================<phase: configure >============================
===> Configuring for lean-3.4.1
===> Performing out-of-source build
/bin/mkdir -p /wrkdirs/usr/ports/math/lean/work/.build
-- The CXX compiler identification is GNU 4.2.1
-- The C compiler identification is GNU 4.2.1
-- Check for working CXX compiler: /usr/bin/c++
-- Check for working CXX compiler: /usr/bin/c++ -- works
-- Detecting CXX compiler ABI info
-- Detecting CXX compiler ABI info - done
-- Detecting CXX compile features
-- Detecting CXX compile features - done
-- Check for working C compiler: /usr/bin/cc
-- Check for working C compiler: /usr/bin/cc -- works
-- Detecting C compiler ABI info
-- Detecting C compiler ABI info - done
-- Detecting C compile features
-- Detecting C compile features - done
-- Lean library will be installed at /usr/local/lib/lean
CMake Error at CMakeLists.txt:243 (message):
LEAN requires g++ 4.9 or greater.
-- Configuring incomplete, errors occurred!
See also "/wrkdirs/usr/ports/math/lean/work/.build/CMakeFiles/CMakeOutput.log".
*** Error code 1
Stop.
make: stopped in /usr/ports/math/lean
More information about the freebsd-pkg-fallout
mailing list