On 9/5/2013 3:19 AM, [email protected] 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: [email protected] > Last committer: [email protected] > 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: [email protected] > 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
signature.asc
Description: OpenPGP digital signature
