=> Building math/ltl2ba build started at Tue Oct 4 23:07:02 PDT 2016 port directory: /usr/ports/math/ltl2ba building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.78.g7d868-DEVELOPMENT #7: Mon Aug 1 22:25:32 PDT 2016 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: ports@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/bleeding-edge-default/ref/../02//usr/ports/math/ltl2ba/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400700 Jail OSVERSION: 400702 !!! Jail is newer than host. (Jail: 400702, Host: 400700) !!! !!! This is not supported. !!! !!! Host kernel must be same or newer than jail. !!! !!! Expect build failures. !!! ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/bleeding-edge-default/ref PATH=/usr/local/libexec/poudriere:/sbin:/bin:/usr/sbin:/usr/bin:/usr/pkg/bin:/usr/pkg/sbin:/usr/games:/usr/local/sbin:/usr/local/bin:/usr/pkg/xorg/bin:/usr/X11R6/bin:/root/bin:/sbin:/usr/sbin POUDRIERE_BUILD_TYPE=bulk PKGNAME=ltl2ba-1.1 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/bleeding-edge-default/ref/.p/pool MASTERNAME=bleeding-edge-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ---End OPTIONS List--- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/math/ltl2ba XDG_CONFIG_HOME=/wrkdirs/math/ltl2ba HOME=/wrkdirs/math/ltl2ba TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/math/ltl2ba XDG_CONFIG_HOME=/wrkdirs/math/ltl2ba HOME=/wrkdirs/math/ltl2ba TMPDIR="/tmp" NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc50 PREFIX=/usr/local LOCALBASE=/usr/local LIBDIR="/usr/lib" NOPROFILE=1 CC="cc" CFLAGS="-pipe -DNXT -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -DNXT -O2 -fno-strict-aliasing" MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 444" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OSREL=4.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local PORTDOCS="" PORTEXAMPLES="" LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/ltl2ba" EXAMPLESDIR="share/examples/ltl2ba" DATADIR="share/ltl2ba" WWWDIR="www/ltl2ba" ETCDIR="etc/ltl2ba" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/ltl2ba DOCSDIR=/usr/local/share/doc/ltl2ba EXAMPLESDIR=/usr/local/share/examples/ltl2ba WWWDIR=/usr/local/www/ltl2ba ETCDIR=/usr/local/etc/ltl2ba --End SUB_LIST-- ---Begin make.conf--- USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs NO_BACKUP=yes USE_PACKAGE_DEPENDS=yes PKG_CREATE_VERBOSE=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORT_DBDIR=/options PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles MAKE_JOBS_NUMBER=5 ---End make.conf--- =================================================== ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License GPLv2 accepted by the user =========================================================================== =================================================== ===> ltl2ba-1.1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.8.7_3.txz Installing pkg-1.8.7_3... Extracting pkg-1.8.7_3: .......... done ===> ltl2ba-1.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ltl2ba-1.1 =========================================================================== =================================================== =========================================================================== =================================================== ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License GPLv2 accepted by the user ===> Fetching all distfiles required by ltl2ba-1.1 for building =========================================================================== =================================================== ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License GPLv2 accepted by the user ===> Fetching all distfiles required by ltl2ba-1.1 for building => SHA256 Checksum OK for ltl2ba-1.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> NOTICE: The ltl2ba port currently does not have a maintainer. As a result, it is more likely to have unresolved issues, not be up-to-date, or even be removed in the future. To volunteer to maintain this port, please create an issue at: https://bugs.freebsd.org/bugzilla More information about port maintainership is available at: https://www.freebsd.org/doc/en/articles/contributing/ports-contributing.html#maintain-port ===> License GPLv2 accepted by the user ===> Fetching all distfiles required by ltl2ba-1.1 for building ===> Extracting for ltl2ba-1.1 => SHA256 Checksum OK for ltl2ba-1.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for ltl2ba-1.1 /usr/bin/sed -i.bak -e '/^CC=/d' -e '/^CFLAGS=/d' /wrkdirs/math/ltl2ba/ltl2ba-1.1/Makefile =========================================================================== =================================================== =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for ltl2ba-1.1 =========================================================================== =================================================== ===> Building for ltl2ba-1.1 --- parse.o --- --- lex.o --- --- main.o --- --- trans.o --- --- buchi.o --- --- parse.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c parse.c --- lex.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c lex.c --- main.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c main.c --- trans.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c trans.c --- buchi.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c buchi.c --- main.o --- main.c: In function 'alldone': main.c:61:24: warning: implicit declaration of function 'unlink' [-Wimplicit-function-declaration] (void) unlink((const char *)out1); ^ --- parse.o --- parse.c: In function 'tl_parse': parse.c:568:3: warning: implicit declaration of function 'put_uform' [-Wimplicit-function-declaration] put_uform(); ^ --- set.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c set.c --- mem.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c mem.c --- rewrt.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c rewrt.c --- cache.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c cache.c --- alternating.o --- --- generalized.o --- --- alternating.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c alternating.c --- generalized.o --- cc -pipe -DNXT -O2 -fno-strict-aliasing -c generalized.c --- ltl2ba --- cc -pipe -DNXT -O2 -fno-strict-aliasing -o ltl2ba parse.o lex.o main.o trans.o buchi.o set.o mem.o rewrt.o cache.o alternating.o generalized.o =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for ltl2ba-1.1 ===> Generating temporary packing list install -s -m 555 /wrkdirs/math/ltl2ba/ltl2ba-1.1/ltl2ba /wrkdirs/math/ltl2ba/stage/usr/local/bin ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for ltl2ba-1.1 file sizes/checksums [4]: . done packing files [4]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for ltl2ba-1.1 build of math/ltl2ba ended at Tue Oct 4 23:07:07 PDT 2016 build time: 00:00:05