Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 19 Feb 2019 01:56:38 GMT
From:      pkg-fallout@FreeBSD.org
To:        pkg-fallout@FreeBSD.org
Subject:   [package - head-powerpc64-default][math/lean] Failed for lean-3.4.2 in configure
Message-ID:  <201902190156.x1J1ucoB003038@pylon.nyi.freebsd.org>

next in thread | raw e-mail | index | archive | help

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: head/math/lean/Makefile 491029 2019-01-23 09:59:54Z yuri $
Log URL:        http://pylon.nyi.freebsd.org/data/head-powerpc64-default/p492815_s343942/logs/lean-3.4.2.log
Build URL:      http://pylon.nyi.freebsd.org/build.html?mastername=head-powerpc64-default&build=p492815_s343942
Log:

=>> Building math/lean
build started at Tue Feb 19 01:56:06 UTC 2019
port directory: /usr/ports/math/lean
package name: lean-3.4.2
building for: FreeBSD head-powerpc64-default-job-05 13.0-CURRENT FreeBSD 13.0-CURRENT 1300010 powerpc
maintained by: yuri@FreeBSD.org
Makefile ident:      $FreeBSD: head/math/lean/Makefile 491029 2019-01-23 09:59:54Z yuri $
Poudriere version: 3.2.8-1-g2a843cca
Host OSVERSION: 1300012
Jail OSVERSION: 1300010
Job Id: 05

---Begin Environment---
SHELL=/bin/csh
OSVERSION=1300010
UNAME_v=FreeBSD 13.0-CURRENT 1300010
UNAME_r=13.0-CURRENT
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/head-powerpc64-default/ref
POUDRIERE_BUILD_TYPE=bulk
PACKAGE_BUILDING=yes
SAVED_TERM=vt100
PWD=/usr/local/poudriere/data/.m/head-powerpc64-default/ref/.p/pool
P_PORTS_FEATURES=FLAVORS SELECTED_OPTIONS
MASTERNAME=head-powerpc64-default
SCRIPTPREFIX=/usr/local/share/poudriere
OLDPWD=/usr/local/poudriere/data/.m/head-powerpc64-default/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--
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=13.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=13.0-CURRENT
OSREL=13.0
OSVERSION=1300010
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.2 depends on file: /usr/local/sbin/pkg - not found
===>   Installing existing package /packages/All/pkg-1.10.5_5.txz
[head-powerpc64-default-job-05] Installing pkg-1.10.5_5...
[head-powerpc64-default-job-05] Extracting pkg-1.10.5_5: .......... done
===>   lean-3.4.2 depends on file: /usr/local/sbin/pkg - found
===>   Returning to build of lean-3.4.2
===========================================================================
=======================<phase: fetch-depends  >============================
===========================================================================
=======================<phase: fetch          >============================
===>  License APACHE20 accepted by the user
=> leanprover-lean-v3.4.2_GH0.tar.gz doesn't seem to exist in /portdistfiles/.
=> Attempting to fetch https://codeload.github.com/leanprover/lean/tar.gz/v3.4.2?dummy=/leanprover-lean-v3.4.2_GH0.tar.gz
fetch: https://codeload.github.com/leanprover/lean/tar.gz/v3.4.2?dummy=/leanprover-lean-v3.4.2_GH0.tar.gz: size unknown
fetch: https://codeload.github.com/leanprover/lean/tar.gz/v3.4.2?dummy=/leanprover-lean-v3.4.2_GH0.tar.gz: size of remote file is not known
leanprover-lean-v3.4.2_GH0.tar.gz                     1765 kB 5937 kBps    00s
===> Fetching all distfiles required by lean-3.4.2 for building
===========================================================================
=======================<phase: checksum       >============================
===>  License APACHE20 accepted by the user
===> Fetching all distfiles required by lean-3.4.2 for building
=> SHA256 Checksum OK for leanprover-lean-v3.4.2_GH0.tar.gz.
===========================================================================
=======================<phase: extract-depends>============================
===========================================================================
=======================<phase: extract        >============================
===>  License APACHE20 accepted by the user
===> Fetching all distfiles required by lean-3.4.2 for building
===>  Extracting for lean-3.4.2
=> SHA256 Checksum OK for leanprover-lean-v3.4.2_GH0.tar.gz.
===========================================================================
=======================<phase: patch-depends  >============================
===========================================================================
=======================<phase: patch          >============================
===>  Patching for lean-3.4.2
===>  Applying FreeBSD patches for lean-3.4.2
===========================================================================
=======================<phase: build-depends  >============================
===>   lean-3.4.2 depends on file: /usr/local/bin/cmake - not found
===>   Installing existing package /packages/All/cmake-3.13.4.txz
[head-powerpc64-default-job-05] Installing cmake-3.13.4...
[head-powerpc64-default-job-05] `-- Installing curl-7.64.0_1...
[head-powerpc64-default-job-05] |   `-- Installing ca_root_nss-3.42.1...
[head-powerpc64-default-job-05] |   `-- Extracting ca_root_nss-3.42.1: ........ done
[head-powerpc64-default-job-05] |   `-- Installing libnghttp2-1.36.0...
[head-powerpc64-default-job-05] |   | `-- Installing gcc8-8.2.0_4...
[head-powerpc64-default-job-05] |   |   `-- Installing binutils-2.32,1...
[head-powerpc64-default-job-05] |   |   | `-- Installing gettext-runtime-0.19.8.1_2...
[head-powerpc64-default-job-05] |   |   |   `-- Installing indexinfo-0.3.1...
[head-powerpc64-default-job-05] |   |   |   `-- Extracting indexinfo-0.3.1: .... done
[head-powerpc64-default-job-05] |   |   | `-- Extracting gettext-runtime-0.19.8.1_2: .......... done
[head-powerpc64-default-job-05] |   |   `-- Extracting binutils-2.32,1: .......... done
[head-powerpc64-default-job-05] |   |   `-- Installing gcc5-5.5.0_6...
[head-powerpc64-default-job-05] |   |   | `-- Installing gmp-6.1.2_1...
[head-powerpc64-default-job-05] |   |   | `-- Extracting gmp-6.1.2_1: .......... done
[head-powerpc64-default-job-05] |   |   | `-- Installing mpc-1.1.0_2...
[head-powerpc64-default-job-05] |   |   |   `-- Installing mpfr-4.0.1_2...
[head-powerpc64-default-job-05] |   |   |   `-- Extracting mpfr-4.0.1_2: .......... done
[head-powerpc64-default-job-05] |   |   | `-- Extracting mpc-1.1.0_2: ......... done
[head-powerpc64-default-job-05] |   |   `-- Extracting gcc5-5.5.0_6: .......... done
[head-powerpc64-default-job-05] |   | `-- Extracting gcc8-8.2.0_4: .......... done
[head-powerpc64-default-job-05] |   `-- Extracting libnghttp2-1.36.0: .......... done
[head-powerpc64-default-job-05] `-- Extracting curl-7.64.0_1: .......... done
[head-powerpc64-default-job-05] `-- Installing expat-2.2.6_1...
[head-powerpc64-default-job-05] `-- Extracting expat-2.2.6_1: .......... done
[head-powerpc64-default-job-05] `-- Installing jsoncpp-1.8.1_5...
[head-powerpc64-default-job-05] `-- Extracting jsoncpp-1.8.1_5: .......... done
[head-powerpc64-default-job-05] `-- Installing libarchive-3.3.3,1...
[head-powerpc64-default-job-05] |   `-- Installing liblz4-1.8.3,1...
[head-powerpc64-default-job-05] |   `-- Extracting liblz4-1.8.3,1: .......... done
[head-powerpc64-default-job-05] |   `-- Installing lzo2-2.10_1...
[head-powerpc64-default-job-05] |   `-- Extracting lzo2-2.10_1: .......... done
[head-powerpc64-default-job-05] `-- Extracting libarchive-3.3.3,1: .......... done
[head-powerpc64-default-job-05] `-- Installing libuv-1.26.0...
[head-powerpc64-default-job-05] `-- Extracting libuv-1.26.0: .......... done
[head-powerpc64-default-job-05] `-- Installing rhash-1.3.5...
[head-powerpc64-default-job-05] `-- Extracting rhash-1.3.5: .......... done
[head-powerpc64-default-job-05] Extracting cmake-3.13.4: .......... 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.2 depends on file: /usr/local/bin/cmake - found
===>   Returning to build of lean-3.4.2
===>   lean-3.4.2 depends on executable: ninja - not found
===>   Installing existing package /packages/All/ninja-1.8.2_1,2.txz
[head-powerpc64-default-job-05] Installing ninja-1.8.2_1,2...
[head-powerpc64-default-job-05] `-- Installing python27-2.7.15...
[head-powerpc64-default-job-05] |   `-- Installing libffi-3.2.1_3...
[head-powerpc64-default-job-05] |   `-- Extracting libffi-3.2.1_3: .......... done
[head-powerpc64-default-job-05] |   `-- Installing readline-7.0.5...
[head-powerpc64-default-job-05] |   `-- Extracting readline-7.0.5: .......... done
[head-powerpc64-default-job-05] `-- Extracting python27-2.7.15: .......... done
[head-powerpc64-default-job-05] 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.2 depends on executable: ninja - found
===>   Returning to build of lean-3.4.2
===========================================================================
=======================<phase: lib-depends    >============================
===>   lean-3.4.2 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so)
===========================================================================
=======================<phase: configure      >============================
===>  Configuring for lean-3.4.2
===>  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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201902190156.x1J1ucoB003038>