[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-07-09 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-07-09_01h07m24s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-07-09_01h07m24s
Log:

 Building math/isabelle
build started at Wed Jul  9 06:46:58 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-03 9.1-RELEASE-p13 FreeBSD 
9.1-RELEASE-p13 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100022
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p13
UNAME_r=9.1-RELEASE-p13
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=9026
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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=9.1
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 - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-07-02 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-07-02_01h16m05s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-07-02_01h16m05s
Log:

 Building math/isabelle
build started at Wed Jul  2 19:11:27 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-22 9.1-RELEASE-p13 FreeBSD 
9.1-RELEASE-p13 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100022
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p13
UNAME_r=9.1-RELEASE-p13
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=19106
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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=9.1
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 - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-06-24 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-25_01h18m39s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-25_01h18m39s
Log:

 Building math/isabelle
build started at Wed Jun 25 02:18:31 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-17 9.1-RELEASE-p13 FreeBSD 
9.1-RELEASE-p13 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100022
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p13
UNAME_r=9.1-RELEASE-p13
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=25672
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-06-18 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-18_01h17m47s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-18_01h17m47s
Log:

 Building math/isabelle
build started at Wed Jun 18 07:06:25 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-01 9.1-RELEASE-p13 FreeBSD 
9.1-RELEASE-p13 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100022
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p13
UNAME_r=9.1-RELEASE-p13
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=489
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-06-11 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-11_01h25m56s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-11_01h25m56s
Log:

 Building math/isabelle
build started at Wed Jun 11 04:41:38 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-19 9.1-RELEASE-p13 FreeBSD 
9.1-RELEASE-p13 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100022
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p13
UNAME_r=9.1-RELEASE-p13
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=22056
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-06-04 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-04_01h17m45s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-06-04_01h17m45s
Log:

 Building math/isabelle
build started at Wed Jun  4 01:37:34 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-02 9.1-RELEASE-p13 FreeBSD 
9.1-RELEASE-p13 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p13
UNAME_r=9.1-RELEASE-p13
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=58507
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-05-28 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-28_01h04m39s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-28_01h04m39s
Log:

 Building math/isabelle
build started at Wed May 28 20:01:49 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-21 9.1-RELEASE-p13 FreeBSD 
9.1-RELEASE-p13 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p13
UNAME_r=9.1-RELEASE-p13
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=69671
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-05-20 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-21_01h04m17s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-21_01h04m17s
Log:

 Building math/isabelle
build started at Wed May 21 03:44:09 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-14 9.1-RELEASE-p11 FreeBSD 
9.1-RELEASE-p11 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p11
UNAME_r=9.1-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=27530
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:

  # pkg2ng
===   Returning to 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-05-13 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-14_01h05m18s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-14_01h05m18s
Log:

 Building math/isabelle
build started at Wed May 14 01:31:19 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-02 9.1-RELEASE-p11 FreeBSD 
9.1-RELEASE-p11 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p11
UNAME_r=9.1-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=48651
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:

  # pkg2ng
===   Returning to 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-05-06 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-07_01h03m39s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-05-07_01h03m39s
Log:

 Building math/isabelle
build started at Wed May  7 01:29:40 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-04 9.1-RELEASE-p11 FreeBSD 
9.1-RELEASE-p11 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p11
UNAME_r=9.1-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=75056
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:

  # pkg2ng
===   Returning to 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-04-30 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-30_01h05m14s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-30_01h05m14s
Log:

 Building math/isabelle
build started at Wed Apr 30 06:51:19 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-06 9.1-RELEASE-p11 FreeBSD 
9.1-RELEASE-p11 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p11
UNAME_r=9.1-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=41580
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:

  # pkg2ng
===   Returning to 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-04-22 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-23_01h05m40s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-23_01h05m40s
Log:

 Building math/isabelle
build started at Wed Apr 23 01:24:59 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-23 9.1-RELEASE-p11 FreeBSD 
9.1-RELEASE-p11 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p11
UNAME_r=9.1-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=6347
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:

  # pkg2ng
===   Returning to 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-04-16 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-16_01h05m29s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-16_01h05m29s
Log:

 Building math/isabelle
build started at Wed Apr 16 19:41:08 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-15 9.1-RELEASE-p11 FreeBSD 
9.1-RELEASE-p11 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre
Host OSVERSION: 1100013
Jail OSVERSION: 901000

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p11
UNAME_r=9.1-RELEASE-p11
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
SAVED_TERM=
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=53119
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/91i386-quarterly/ref/poudriere/rdeps
PWD=/usr/local/poudriere/data/build/91i386-quarterly/ref/poudriere/pool
MASTERNAME=91i386-quarterly
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 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=9.1
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.txz
Installing pkg-1.2.7... done
If you are upgrading from the old package format, first run:

  # pkg2ng
===   Returning to 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-04-08 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-09_01h05m04s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-09_01h05m04s
Log:

 Building math/isabelle
build started at Wed Apr  9 01:24:52 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-24 9.1-RELEASE-p10 FreeBSD 
9.1-RELEASE-p10 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p10
UNAME_r=9.1-RELEASE-p10
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=25152
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
PWD=/root
MASTERNAME=91i386-quarterly
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 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
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-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.2.7.txz
Installing pkg-1.2.7... 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 

[REL - 91i386-quarterly][math/isabelle] Failed for isabelle-2009.2 in build/runaway

2014-04-02 Thread pkg-fallout-builder
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: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Log URL:
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-02_01h04m51s/logs/isabelle-2009.2.log
Build URL:  
http://beefy1.isc.freebsd.org/bulk/91i386-quarterly/2014-04-02_01h04m51s
Log:

 Building math/isabelle
build started at Wed Apr  2 18:58:53 UTC 2014
port directory: /usr/ports/math/isabelle
building for: FreeBSD 91i386-quarterly-job-14 9.1-RELEASE-p10 FreeBSD 
9.1-RELEASE-p10 i386
maintained by: bey...@cs.ucr.edu
Makefile ident:  $FreeBSD: branches/2014Q2/math/isabelle/Makefile 340722 
2014-01-22 17:00:46Z mat $
Poudriere version: 3.1-pre

---Begin Environment---
UNAME_m=i386
UNAME_p=i386
OSVERSION=901000
UNAME_v=FreeBSD 9.1-RELEASE-p10
UNAME_r=9.1-RELEASE-p10
BLOCKSIZE=K
MAIL=/var/mail/root
STATUS=1
MASTERMNT=/usr/local/poudriere/data/build/91i386-quarterly/ref
PKG_EXT=txz
tpid=64755
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
PWD=/root
MASTERNAME=91i386-quarterly
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 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
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-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.2.7.txz
Installing pkg-1.2.7... 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