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>