=> Building math/picosat Started : Thursday, 30 AUG 2018 at 10:14:31 UTC Platform: 5.3-DEVELOPMENT DragonFly 5.3-DEVELOPMENT #140: Wed Aug 29 22:06:30 PDT 2018 root@test.backplane.com:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.3-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.3-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=gcc50 -------------------------------------------------- -- 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=gcc50 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 -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" OSREL=5.3 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=LiveSystem 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=12 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500316 OSVERSION=9999999 OSREL=5.3 _OSRELEASE=5.3-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_1.txz Installing pkg-1.10.5_1... Extracting pkg-1.10.5_1: .......... 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 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: Thursday, 30 AUG 2018 at 10:14:43 UTC Duration: 00:00:12