[RELEASE - head-default] Build failed for isabelle-2009.2 during build/runaway
Bryan Drewery
bdrewery at FreeBSD.org
Thu Sep 5 11:53:11 UTC 2013
On 9/5/2013 3:19 AM, pkg-fallout at FreeBSD.org wrote:
> 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: beyert at cs.ucr.edu
> Last committer: bapt at FreeBSD.org
> Ident: $FreeBSD: head/math/isabelle/Makefile 319994 2013-06-05 14:12:59Z bapt $
> Log URL: http://beefy1.isc.freebsd.org/bulk/head-default/2013-09-04_23h56m58s/logs/isabelle-2009.2.log
> Build URL: http://beefy1.isc.freebsd.org/bulk/head-default/2013-09-04_23h56m58s
> Log:
>
> ====>> Building math/isabelle
> build started at Thu Sep 5 06:07:17 UTC 2013
> port directory: /usr/ports/math/isabelle
> building for: FreeBSD head-default-job-04 10.0-CURRENT FreeBSD 10.0-CURRENT i386
> maintained by: beyert at cs.ucr.edu
> Makefile ident: $FreeBSD: head/math/isabelle/Makefile 319994 2013-06-05 14:12:59Z bapt $
> Poudriere version: 3.1-pre
>
> ---Begin Environment---
> UNAME_m=i386
> UNAME_p=i386
> OSVERSION=1000035
> UNAME_v=FreeBSD 10.0-CURRENT
> UNAME_r=10.0-CURRENT
> BLOCKSIZE=K
> MAIL=/var/mail/root
> STATUS=1
> MASTERMNT=/usr/local/poudriere/data/build/head-default/ref
> PKG_EXT=txz
> tpid=34112
> PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin
> POUDRIERE_BUILD_TYPE=bulk
> NBPARALLEL=24
> PKGNG=1
> PKGNAME=isabelle-2009.2
> PKG_DELETE=/usr/local/sbin/pkg delete -y -f
> PKG_ADD=/usr/local/sbin/pkg add
> PWD=/root
> MASTERNAME=head-default
> USER=root
> HOME=/root
> POUDRIERE_VERSION=3.1-pre
> SKIPSANITY=0
> LOCALBASE=/usr/local
> PACKAGE_BUILDING=yes
> ---End Environment---
>
> ---Begin OPTIONS List---
> ===> The following configuration options are available for isabelle-2009.2:
> EMACS_PKG=off: Build with Emacs Packages
> HOL_ALGEBRA=off: Build optional heap: HOL-Algebra
> HOL_HOL4=off: Build optional heap: HOL4
> HOL_NOMINAL=off: Build optional heap: HOL-Nominal
> HOL_NSA=off: Build optional heap: HOL-NSA
> HOL_TLA=off: Build optional heap: TLA
> HOL_WORD=off: Build optional heap: HOL-Word
> LEDIT=off: Use ledit as line editor
> POLYML=off: Use Poly/ML (fast but broken) instead of SML/NJ
> RLWRAP=on: Use rlwrap as line editor
> ===> Use 'make config' to modify these settings
> ---End OPTIONS List---
>
> --CONFIGURE_ARGS--
>
> --End CONFIGURE_ARGS--
>
> --CONFIGURE_ENV--
> TMPDIR="/tmp" TMPDIR="/tmp" TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh
> --End CONFIGURE_ENV--
>
> --MAKE_ENV--
> TMPDIR="/tmp" TMPDIR="/tmp" SMLNJ_DEVEL=yes TMPDIR="/tmp" SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" CC="cc" CFLAGS="-O2 -pipe -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" CXX="c++" CXXFLAGS="-O2 -pipe -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -o root -g wheel -m 555" BSD_INSTALL_LIB="install -s -o root -g wheel -m 444" BSD_INSTALL_SCRIPT="install -o root -g wheel -m 555" BSD_INSTALL_DATA="install -o root -g wheel -m 444" BSD_INSTALL_MAN="install -o root -g wheel -m 444"
> --End MAKE_ENV--
>
> --SUB_LIST--
> PREFIX=/usr/local
> LOCALBASE=/usr/local
> DATADIR=/usr/local/share/isabelle
> DOCSDIR=/usr/local/share/doc/isabelle
> EXAMPLESDIR=/usr/local/share/examples/isabelle
> WWWDIR=/usr/local/www/isabelle
> ETCDIR=/usr/local/etc/isabelle
> --End SUB_LIST--
>
> ---Begin make.conf---
> ARCH=i386
> MACHINE=i386
> MACHINE_ARCH=i386
> USE_PACKAGE_DEPENDS=yes
> BATCH=yes
> WRKDIRPREFIX=/wrkdirs
> PACKAGES=/packages
> DISTDIR=/distfiles
> #### /usr/local/etc/poudriere.d/make.conf ####
> WITH_PKGNG=yes
> NO_RESTRICTED=yes
> DISABLE_MAKE_JOBS=yes
> ---End make.conf---
> ===> Cleaning for isabelle-2009.2
> =======================<phase: check-config >============================
> ===========================================================================
> =======================<phase: pkg-depends >============================
> ===> isabelle-2009.2 depends on file: /usr/local/sbin/pkg - not found
> ===> Verifying install for /usr/local/sbin/pkg in /usr/ports/ports-mgmt/pkg
> ===> Installing existing package /packages/All/pkg-1.1.4_1.txz
> Installing pkg-1.1.4_1... done
> If you are upgrading from the old package format, first run:
>
> # pkg2ng
> ===> Returning to build of isabelle-2009.2
> ===========================================================================
> =======================<phase: fetch-depends >============================
> ===========================================================================
> =======================<phase: fetch >============================
> ===> License BSD accepted by the user
> ===> Fetching all distfiles required by isabelle-2009.2 for building
> ===========================================================================
> =======================<phase: checksum >============================
> ===> License BSD accepted by the user
> ===> Fetching all distfiles required by isabelle-2009.2 for building
> => SHA256 Checksum OK for Isabelle2009-2.tar.gz.
> => SHA256 Checksum OK for Isabelle2009-2_library.tar.gz.
> ===========================================================================
> =======================<phase: extract-depends>============================
> ===========================================================================
> =======================<phase: extract >============================
> ===> License BSD accepted by the user
> ===> Fetching all distfiles required by isabelle-2009.2 for building
> ===> Extracting for isabelle-2009.2
> => SHA256 Checksum OK for Isabelle2009-2.tar.gz.
> => SHA256 Checksum OK for Isabelle2009-2_library.tar.gz.
> ===========================================================================
> =======================<phase: patch-depends >============================
> ===========================================================================
> =======================<phase: patch >============================
> ===> Patching for isabelle-2009.2
> ===> Applying FreeBSD patches for isabelle-2009.2
> ===========================================================================
> =======================<phase: build-depends >============================
> ===> isabelle-2009.2 depends on executable: bash - not found
> ===> Verifying install for bash in /usr/ports/shells/bash
> ===> Installing existing package /packages/All/bash-4.2.45.txz
> Installing bash-4.2.45...Installing gettext-0.18.3...Installing libiconv-1.14_1... done
> done
> done
> ===> Returning to build of isabelle-2009.2
> ===> isabelle-2009.2 depends on package: smlnj-devel>=110.71 - not found
> ===> Verifying install for smlnj-devel>=110.71 in /usr/ports/lang/sml-nj-devel
> ===> Installing existing package /packages/All/smlnj-devel-110.71.txz
> Installing smlnj-devel-110.71...cannot open config-init: No such file or directory
> multiexec-wrapper: config-init of /usr/local/etc/multiexec-wrapper.conf failed.
> pkg: POST-INSTALL script failed
> done
> ===> Returning to build of isabelle-2009.2
> ===> isabelle-2009.2 depends on file: /usr/local/bin/perl5.14.4 - not found
> ===> Verifying install for /usr/local/bin/perl5.14.4 in /usr/ports/lang/perl5.14
> ===> Installing existing package /packages/All/perl-5.14.4.txz
> Installing perl-5.14.4...Removing stale symlinks from /usr/bin...
> Skipping /usr/bin/perl
> Skipping /usr/bin/perl5
> Done.
> Creating various symlinks in /usr/bin...
> Symlinking /usr/local/bin/perl5.14.4 to /usr/bin/perl
> Symlinking /usr/local/bin/perl5.14.4 to /usr/bin/perl5
> Done.
> Cleaning up /etc/make.conf... Done.
> Spamming /etc/make.conf... Done.
> done
> ===> Returning to build of isabelle-2009.2
> ===========================================================================
> =======================<phase: lib-depends >============================
> ===========================================================================
> =======================<phase: configure >============================
> ===> Configuring for isabelle-2009.2
> ===========================================================================
> =======================<phase: build >============================
> ===> Building for isabelle-2009.2
> ./build -a -b
>
> Isabelle build: Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents
>
> ML_SYSTEM=smlnj-110
> ML_HOME=/usr/local/smlnj/bin
> ML_OPTIONS=-Ccontrol.poly-eq-warn=false @SMLdebug=/dev/null
> ML_PLATFORM=x86-bsd
>
> ISABELLE_USEDIR_OPTIONS=-M max -p 1 -q 2 -v true -V outline=/proof,/ML
>
> Started at Thu Sep 5 06:07:33 UTC 2013 (smlnj-110_x86-bsd on head-default-job-04)
> Building Pure ...
> Finished Pure (0:01:54 elapsed time, 0:01:45 cpu time, factor 0.92)
> Building FOL ...
> Finished FOL (0:00:21 elapsed time, 0:00:19 cpu time, factor 0.90)
> Building HOL ...
> ====>> Killing runaway build
> ===> Cleaning for isabelle-2009.2
It is killing the build since it has not had any output for 120 minutes.
Is there some way to make the build more verbose? This would avoid the
runaway kill.
--
Regards,
Bryan Drewery
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 899 bytes
Desc: OpenPGP digital signature
URL: <http://lists.freebsd.org/pipermail/freebsd-pkg-fallout/attachments/20130905/97a6a2e0/attachment.sig>
More information about the freebsd-pkg-fallout
mailing list