[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-07-09_16h35m32s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-07-09_16h35m32s Log: Building math/isabelle build started at Thu Jul 10 02:51:02 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-03 8.4-RELEASE-p10 FreeBSD 8.4-RELEASE-p10 i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100022 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p10 UNAME_r=8.4-RELEASE-p10 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=42850 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp SMLNJ_DEVEL=yes XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp NO_PIE=yes 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= LIBS= 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-07-03_17h53m38s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-07-03_17h53m38s Log: Building math/isabelle build started at Fri Jul 4 08:32:36 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-21 8.4-RELEASE-p10 FreeBSD 8.4-RELEASE-p10 i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100022 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p10 UNAME_r=8.4-RELEASE-p10 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=26664 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp SMLNJ_DEVEL=yes XDG_DATA_HOME=/wrkdirs/usr/ports/math/isabelle/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/isabelle/work HOME=/wrkdirs/usr/ports/math/isabelle/work TMPDIR=/tmp NO_PIE=yes 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= LIBS= 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-25_04h40m11s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-25_04h40m11s Log: Building math/isabelle build started at Wed Jun 25 17:59:30 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-02 8.4-RELEASE-p10 FreeBSD 8.4-RELEASE-p10 i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100022 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p10 UNAME_r=8.4-RELEASE-p10 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=54849 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl TMPDIR=/tmp SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- TMPDIR=/tmp TMPDIR=/tmp SMLNJ_DEVEL=yes TMPDIR=/tmp NO_PIE=yes 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= LIBS= 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes # clean-restricted via poudriere.conf NO_RESTRICTED #NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_3.txz Installing
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-18_16h37m28s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-18_16h37m28s Log: Building math/isabelle build started at Thu Jun 19 03:12:30 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-13 8.4-RELEASE-p10 FreeBSD 8.4-RELEASE-p10 i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100022 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p10 UNAME_r=8.4-RELEASE-p10 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=92703 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl TMPDIR=/tmp SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- TMPDIR=/tmp TMPDIR=/tmp SMLNJ_DEVEL=yes TMPDIR=/tmp NO_PIE=yes 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= LIBS= 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes # clean-restricted via poudriere.conf NO_RESTRICTED #NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_3.txz Installing
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-11_12h07m14s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-11_12h07m14s Log: Building math/isabelle build started at Thu Jun 12 01:45:09 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-16 8.4-RELEASE-p10 FreeBSD 8.4-RELEASE-p10 i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100022 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p10 UNAME_r=8.4-RELEASE-p10 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=10500 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl TMPDIR=/tmp SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- TMPDIR=/tmp TMPDIR=/tmp SMLNJ_DEVEL=yes TMPDIR=/tmp NO_PIE=yes 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes # clean-restricted via poudriere.conf NO_RESTRICTED #NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_2.txz Installing pkg-1.2.7_2... done
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-04_09h01m46s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-06-04_09h01m46s Log: Building math/isabelle build started at Wed Jun 4 20:38:21 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-21 8.4-RELEASE-p10 FreeBSD 8.4-RELEASE-p10 i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100013 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p10 UNAME_r=8.4-RELEASE-p10 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=25901 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes # clean-restricted via poudriere.conf NO_RESTRICTED #NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_2.txz Installing pkg-1.2.7_2... done If you are
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-29_17h12m41s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-29_17h12m41s Log: Building math/isabelle build started at Fri May 30 11:33:34 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-02 8.4-RELEASE-p10 FreeBSD 8.4-RELEASE-p10 i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100013 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE-p10 UNAME_r=8.4-RELEASE-p10 FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=84618 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes # clean-restricted via poudriere.conf NO_RESTRICTED #NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_2.txz Installing pkg-1.2.7_2... done If you are
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-21_10h31m04s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-21_10h31m04s Log: Building math/isabelle build started at Wed May 21 23:29:43 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-12 8.4-RELEASE FreeBSD 8.4-RELEASE i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100013 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE UNAME_r=8.4-RELEASE FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=90570 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_2.txz Installing pkg-1.2.7_2... done If you are upgrading from the old package format, first run: # pkg2ng ===
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-14_06h48m14s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-14_06h48m14s Log: Building math/isabelle build started at Wed May 14 21:37:13 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-13 8.4-RELEASE FreeBSD 8.4-RELEASE i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100013 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE UNAME_r=8.4-RELEASE FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM= MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=22122 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_2.txz Installing pkg-1.2.7_2... done If you are upgrading from the old package format, first run: # pkg2ng ===
[REL - 84i386-default][math/isabelle] Failed for isabelle-2009.2 in build/runaway
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: bey...@cs.ucr.edu Last committer: m...@freebsd.org Ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Log URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-11_21h52m45s/logs/isabelle-2009.2.log Build URL: http://beefy1.isc.freebsd.org/bulk/84i386-default/2014-05-11_21h52m45s Log: Building math/isabelle build started at Mon May 12 15:26:16 UTC 2014 port directory: /usr/ports/math/isabelle building for: FreeBSD 84i386-default-job-04 8.4-RELEASE FreeBSD 8.4-RELEASE i386 maintained by: bey...@cs.ucr.edu Makefile ident: $FreeBSD: head/math/isabelle/Makefile 340722 2014-01-22 17:00:46Z mat $ Poudriere version: 3.1-pre Host OSVERSION: 1100013 Jail OSVERSION: 804000 ---Begin Environment--- UNAME_m=i386 UNAME_p=i386 OSVERSION=804000 UNAME_v=FreeBSD 8.4-RELEASE UNAME_r=8.4-RELEASE FTP_PASSIVE_MODE=YES BLOCKSIZE=K MAIL=/var/mail/root STATUS=1 SAVED_TERM=screen MASTERMNT=/usr/local/poudriere/data/build/84i386-default/ref PKG_EXT=txz tpid=51841 PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/games:/usr/local/sbin:/usr/local/bin:/root/bin POUDRIERE_BUILD_TYPE=bulk PKGNG=1 PKGNAME=isabelle-2009.2 PKG_DELETE=/usr/local/sbin/pkg-static delete -y -f PKG_ADD=/usr/local/sbin/pkg-static add OLDPWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/rdeps PWD=/usr/local/poudriere/data/build/84i386-default/ref/poudriere/pool MASTERNAME=84i386-default USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes PKG_VERSION=/poudriere/pkg-static version PKG_BIN=/usr/local/sbin/pkg-static ---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 ac_cv_path_PERL=/usr/local/bin/perl ac_cv_path_PERL_PATH=/usr/local/bin/perl 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-- --PLIST_SUB-- HEAPSUBDIR=smlnj-110_x86-bsd HEAP_HOL_ALGEBRA=@comment HEAP_HOL_NOMINAL=@comment HEAP_HOL_NSA=@comment HEAP_HOL_WORD=@comment HEAP_HOL_TLA=@comment HEAP_HOL_HOL4=@comment OSREL=8.4 PREFIX=%D LOCALBASE=/usr/local PORTDOCS= PORTEXAMPLES= PORTDATA= LIB32DIR=lib PERL_VERSION=5.16.3 PERL_VER=5.16 PERL_ARCH=mach PERL5_MAN3=lib/perl5/5.16/man/man3 SITE_PERL=lib/perl5/site_perl/5.16 DOCSDIR=share/doc/isabelle EXAMPLESDIR=share/examples/isabelle DATADIR=share/isabelle WWWDIR=www/isabelle ETCDIR=etc/isabelle --End PLIST_SUB-- --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 PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles /usr/local/etc/poudriere.d/make.conf WITH_PKGNG=yes NO_RESTRICTED=yes DISABLE_MAKE_JOBS=poudriere ---End make.conf--- === Cleaning for isabelle-2009.2 ===phase: check-sanity === License BSD accepted by the user === ===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.2.7_2.txz Installing pkg-1.2.7_2... done If you are upgrading from the old package format, first run: # pkg2ng