=> Building math/picosat Started : Wednesday, 6 MAR 2019 at 03:37:56 UTC Platform: 5.5-DEVELOPMENT DragonFly v5.5.0.192.g15ae7f0-DEVELOPMENT #34: Tue Feb 19 09:07:07 PST 2019 root@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.5-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.5-SYNTH UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 TERM=dumb PKG_CACHEDIR=/var/cache/pkg8 PKG_DBDIR=/var/db/pkg8 PORTSDIR=/xports LANG=C HOME=/root USER=root -------------------------------------------------- -- Options -------------------------------------------------- ===> The following configuration options are available for picosat-965: DEBUG=off: Build with debugging support ===> Use 'make config' to modify these settings -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/picosat XDG_CONFIG_HOME=/construction/math/picosat HOME=/construction/math/picosat TMPDIR="/tmp" PATH=/construction/math/picosat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --shared --static -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/picosat XDG_CONFIG_HOME=/construction/math/picosat HOME=/construction/math/picosat TMPDIR="/tmp" PATH=/construction/math/picosat/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local 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 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" -------------------------------------------------- -- MAKE_ARGS -------------------------------------------------- DESTDIR=/construction/math/picosat/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- OSREL=5.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/picosat" EXAMPLESDIR="share/examples/picosat" DATADIR="share/picosat" WWWDIR="www/picosat" ETCDIR="etc/picosat" -------------------------------------------------- -- 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 -------------------------------------------------- -- /etc/make.conf -------------------------------------------------- SYNTHPROFILE=Release-BE USE_PACKAGE_DEPENDS_ONLY=yes PACKAGE_BUILDING=yes BATCH=yes PKG_CREATE_VERBOSE=yes PORTSDIR=/xports DISTDIR=/distfiles WRKDIRPREFIX=/construction PORT_DBDIR=/options PACKAGES=/packages MAKE_JOBS_NUMBER_LIMIT=5 LICENSES_ACCEPTED= NONE HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.26.2 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500500 OSVERSION=9999999 OSREL=5.5 _OSRELEASE=5.5-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- ===> License MIT accepted by the user -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> picosat-965 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.10.5_5.txz Installing pkg-1.10.5_5... Extracting pkg-1.10.5_5: .......... done ===> picosat-965 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of picosat-965 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by picosat-965 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by picosat-965 for building => SHA256 Checksum OK for picosat-965.tar.gz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> 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. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for picosat-965 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> 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 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for picosat-965 cc -pipe -O2 -fno-strict-aliasing -fPIC -c picosat.c In file included from picosat.c:26: picosat.c: In function 'fixvar': picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] assert (VAR2LIT (v) != UNDEF); ^~ picosat.c:180:20: note: did you mean to dereference the pointer? #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) ^ picosat.c:1943:11: note: in expansion of macro 'VAR2LIT' assert (VAR2LIT (v) != UNDEF); ^~~~~~~ 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 -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for picosat-965 ===> Generating temporary packing list install -s -m 555 /construction/math/picosat/picosat-965/picosat /construction/math/picosat/stage/usr/local/bin install -s -m 555 /construction/math/picosat/picosat-965/picomcs /construction/math/picosat/stage/usr/local/bin install -s -m 555 /construction/math/picosat/picosat-965/picomus /construction/math/picosat/stage/usr/local/bin install -s -m 555 /construction/math/picosat/picosat-965/picogcnf /construction/math/picosat/stage/usr/local/bin install -s -m 0644 /construction/math/picosat/picosat-965/libpicosat.so /construction/math/picosat/stage/usr/local/lib install -m 0644 /construction/math/picosat/picosat-965/libpicosat.a /construction/math/picosat/stage/usr/local/lib install -m 0644 /construction/math/picosat/picosat-965/picosat.h /construction/math/picosat/stage/usr/local/include ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for picosat-965 file sizes/checksums [10]: . done packing files [10]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Wednesday, 6 MAR 2019 at 03:38:12 UTC Duration: 00:00:16