=> Building math/picosat build started at Mon Mar 13 01:56:48 PDT 2017 port directory: /usr/ports/math/picosat building for: DragonFly pkgbox64.dragonflybsd.org 4.7-DEVELOPMENT DragonFly v4.7.0.1380.gb4315f-DEVELOPMENT #0: Fri Mar 3 17:20:21 PST 2017 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 maintained by: koobs@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/Release48-default/ref/../05//usr/ports/math/picosat/Makefile Makefile ident: Poudriere version: 3.1-pre Host OSVERSION: 400713 Jail OSVERSION: 400713 ---Begin Environment--- STATUS=1 SAVED_TERM=screen MASTERMNT=/build/boomdata/data/.m/Release48-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=picosat-965 OLDPWD=/root/boom PWD=/build/boomdata/data/.m/Release48-default/ref/.p/pool MASTERNAME=Release48-default TERM=cons25 USER=root HOME=/root POUDRIERE_VERSION=3.1-pre LOCALBASE=/usr/local PACKAGE_BUILDING=yes ---End Environment--- ---Begin OPTIONS List--- ===> The following configuration options are available for picosat-965: DEBUG=off: Build with debugging support ===> Use 'make config' to modify these settings ---End OPTIONS List--- --CONFIGURE_ARGS-- --shared --static --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- XDG_DATA_HOME=/wrkdirs/math/picosat XDG_CONFIG_HOME=/wrkdirs/math/picosat HOME=/wrkdirs/math/picosat TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/math/picosat XDG_CONFIG_HOME=/wrkdirs/math/picosat HOME=/wrkdirs/math/picosat 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 -O2 -fno-strict-aliasing" CPP="cpp" CPPFLAGS="" LDFLAGS="" LIBS="" CXX="c++" CXXFLAGS=" -pipe -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/picosat" EXAMPLESDIR="share/examples/picosat" DATADIR="share/picosat" WWWDIR="www/picosat" ETCDIR="etc/picosat" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/picosat DOCSDIR=/usr/local/share/doc/picosat EXAMPLESDIR=/usr/local/share/examples/picosat WWWDIR=/usr/local/www/picosat ETCDIR=/usr/local/etc/picosat --End SUB_LIST-- ---Begin make.conf--- 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--- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> picosat-965 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.9.4_1.txz Installing pkg-1.9.4_1... Extracting pkg-1.9.4_1: .......... done ===> picosat-965 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of picosat-965 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by picosat-965 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by picosat-965 for building => SHA256 Checksum OK for picosat-965.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by picosat-965 for building ===> Extracting for picosat-965 => SHA256 Checksum OK for picosat-965.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for picosat-965 =========================================================================== =================================================== =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for picosat-965 version ... 965 debug ... no log ... no stats ... no trace ... no static ... yes shared ... yes targets ... picosat picomcs picomus picogcnf libpicosat.a libpicosat.so cc ... cc cflags ... -pipe -O2 -fno-strict-aliasing -fPIC makefile ... done =========================================================================== =================================================== ===> Building for picosat-965 cc -pipe -O2 -fno-strict-aliasing -fPIC -c picosat.c rm -f config.h; ./mkconfig.sh > config.h cc -pipe -O2 -fno-strict-aliasing -fPIC -c version.c ar rc libpicosat.a picosat.o version.o ranlib libpicosat.a cc -pipe -O2 -fno-strict-aliasing -fPIC -c app.c cc -pipe -O2 -fno-strict-aliasing -fPIC -c main.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picosat main.o app.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -c picomcs.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picomcs picomcs.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -c picomus.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picomus picomus.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -c picogcnf.c cc -pipe -O2 -fno-strict-aliasing -fPIC -o picogcnf picogcnf.o -L. -lpicosat cc -pipe -O2 -fno-strict-aliasing -fPIC -shared -o libpicosat.so picosat.o version.o -Xlinker -soname -Xlinker libpicosat.so =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for picosat-965 ===> Generating temporary packing list install -s -m 555 /wrkdirs/math/picosat/picosat-965/picosat /wrkdirs/math/picosat/stage/usr/local/bin install -s -m 555 /wrkdirs/math/picosat/picosat-965/picomcs /wrkdirs/math/picosat/stage/usr/local/bin install -s -m 555 /wrkdirs/math/picosat/picosat-965/picomus /wrkdirs/math/picosat/stage/usr/local/bin install -s -m 555 /wrkdirs/math/picosat/picosat-965/picogcnf /wrkdirs/math/picosat/stage/usr/local/bin install -s -m 444 /wrkdirs/math/picosat/picosat-965/libpicosat.so /wrkdirs/math/picosat/stage/usr/local/lib install -m 0644 /wrkdirs/math/picosat/picosat-965/libpicosat.a /wrkdirs/math/picosat/stage/usr/local/lib install -m 0644 /wrkdirs/math/picosat/picosat-965/picosat.h /wrkdirs/math/picosat/stage/usr/local/include ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for picosat-965 file sizes/checksums [10]: . done packing files [10]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for picosat-965 build of math/picosat ended at Mon Mar 13 01:57:12 PDT 2017 build time: 00:00:24