=> Building math/minisat build started at Wed Oct 5 02:52:28 PDT 2016 port directory: /usr/ports/math/minisat 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: vsevolod@FreeBSD.org ident warning: no id keywords in /build/boomdata/data/.m/bleeding-edge-default/ref/../05//usr/ports/math/minisat/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=minisat-2.2.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-- MAKE=gmake XDG_DATA_HOME=/wrkdirs/math/minisat XDG_CONFIG_HOME=/wrkdirs/math/minisat HOME=/wrkdirs/math/minisat TMPDIR="/tmp" SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 --End CONFIGURE_ENV-- --MAKE_ENV-- prefix=/usr/local CFLAGS="-std=c++03" XDG_DATA_HOME=/wrkdirs/math/minisat XDG_CONFIG_HOME=/wrkdirs/math/minisat HOME=/wrkdirs/math/minisat 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/minisat" EXAMPLESDIR="share/examples/minisat" DATADIR="share/minisat" WWWDIR="www/minisat" ETCDIR="etc/minisat" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/minisat DOCSDIR=/usr/local/share/doc/minisat EXAMPLESDIR=/usr/local/share/examples/minisat WWWDIR=/usr/local/www/minisat ETCDIR=/usr/local/etc/minisat --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--- =================================================== ===> License MIT accepted by the user =========================================================================== =================================================== ===> minisat-2.2.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 ===> minisat-2.2.1_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of minisat-2.2.1_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by minisat-2.2.1_1 for building =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by minisat-2.2.1_1 for building => SHA256 Checksum OK for minisat-2.2.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> License MIT accepted by the user ===> Fetching all distfiles required by minisat-2.2.1_1 for building ===> Extracting for minisat-2.2.1_1 => SHA256 Checksum OK for minisat-2.2.1.tar.gz. =========================================================================== =================================================== =========================================================================== =================================================== ===> Patching for minisat-2.2.1_1 ===> Applying ports patches for minisat-2.2.1_1 =========================================================================== =================================================== ===> minisat-2.2.1_1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_1.txz Installing gmake-4.2.1_1... `-- Installing indexinfo-0.2.5... `-- Extracting indexinfo-0.2.5: .... done `-- Installing gettext-runtime-0.19.8.1... `-- Extracting gettext-runtime-0.19.8.1: .......... done Extracting gmake-4.2.1_1: .......... done ===> minisat-2.2.1_1 depends on executable: gmake - found ===> Returning to build of minisat-2.2.1_1 =========================================================================== =================================================== =========================================================================== =================================================== ===> Configuring for minisat-2.2.1_1 =========================================================================== =================================================== ===> Building for minisat-2.2.1_1 gmake[1]: Entering directory '/wrkdirs/math/minisat/minisat-2.2.1' Compiling: build/release/minisat/simp/Main.o Compiling: build/release/minisat/core/Solver.o Compiling: build/release/minisat/simp/SimpSolver.o Compiling: build/release/minisat/utils/Options.o Compiling: build/release/minisat/utils/System.o In file included from minisat/simp/Main.cc:27:0: ./minisat/core/Dimacs.h: In instantiation of 'void Minisat::parse_DIMACS_main(B&, Solver&, bool) [with B = Minisat::StreamBuffer; Solver = Minisat::SimpSolver]': ./minisat/core/Dimacs.h:82:22: required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = Minisat::SimpSolver; gzFile = gzFile_s*]' minisat/simp/Main.cc:99:42: required from here ./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable] int vars = 0; ^ Compiling: build/dynamic/minisat/core/Solver.o Compiling: build/dynamic/minisat/simp/SimpSolver.o Compiling: build/dynamic/minisat/utils/Options.o Compiling: build/dynamic/minisat/utils/System.o Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0 Linking Static Library: build/release/lib/libminisat.a Linking Binary: build/release/bin/minisat gmake[1]: Leaving directory '/wrkdirs/math/minisat/minisat-2.2.1' =========================================================================== =================================================== =========================================================================== =================================================== ===> Staging for minisat-2.2.1_1 ===> Generating temporary packing list gmake[1]: Entering directory '/wrkdirs/math/minisat/minisat-2.2.1' install -d /wrkdirs/math/minisat/stage/usr/local/include/minisat for dir in mtl utils core simp; do \ install -d /wrkdirs/math/minisat/stage/usr/local/include/minisat/$dir ; \ done for h in minisat/mtl/XAlloc.h minisat/mtl/Heap.h minisat/mtl/IntTypes.h minisat/mtl/Queue.h minisat/mtl/IntMap.h minisat/mtl/Sort.h minisat/mtl/Rnd.h minisat/mtl/Vec.h minisat/mtl/Alloc.h minisat/mtl/Map.h minisat/mtl/Alg.h minisat/core/Solver.h minisat/core/Dimacs.h minisat/core/SolverTypes.h minisat/simp/SimpSolver.h minisat/utils/Options.h minisat/utils/ParseUtils.h minisat/utils/System.h ; do \ install -m 644 $h /wrkdirs/math/minisat/stage/usr/local/include/$h ; \ done install -d /wrkdirs/math/minisat/stage/usr/local/lib install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /wrkdirs/math/minisat/stage/usr/local/lib ln -sf libminisat.so.2.1.0 /wrkdirs/math/minisat/stage/usr/local/lib/libminisat.so.2 ln -sf libminisat.so.2 /wrkdirs/math/minisat/stage/usr/local/lib/libminisat.so install -m 644 build/release/lib/libminisat.a /wrkdirs/math/minisat/stage/usr/local/lib Compiling: build/dynamic/minisat/simp/Main.o In file included from minisat/simp/Main.cc:27:0: ./minisat/core/Dimacs.h: In instantiation of 'void Minisat::parse_DIMACS_main(B&, Solver&, bool) [with B = Minisat::StreamBuffer; Solver = Minisat::SimpSolver]': ./minisat/core/Dimacs.h:82:22: required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = Minisat::SimpSolver; gzFile = gzFile_s*]' minisat/simp/Main.cc:99:42: required from here ./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable] int vars = 0; ^ Linking Binary: build/dynamic/bin/minisat install -d /wrkdirs/math/minisat/stage/usr/local/bin install -m 755 build/dynamic/bin/minisat /wrkdirs/math/minisat/stage/usr/local/bin gmake[1]: Leaving directory '/wrkdirs/math/minisat/minisat-2.2.1' /usr/bin/strip /wrkdirs/math/minisat/stage/usr/local/bin/minisat /wrkdirs/math/minisat/stage/usr/local/lib/libminisat.so ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===> Building package for minisat-2.2.1_1 file sizes/checksums [26]: . done packing files [26]: . done packing directories [0]: . done =========================================================================== => Cleaning up wrkdir ===> Cleaning for minisat-2.2.1_1 build of math/minisat ended at Wed Oct 5 02:52:45 PDT 2016 build time: 00:00:17