=> Building math/picosat Started : Wednesday, 11 APR 2018 at 15:13:27 UTC Platform: 5.3-DEVELOPMENT DragonFly v5.3.0.81.g32506c-DEVELOPMENT #29: Tue Apr 10 08:49:52 PDT 2018 marino@pkgbox64.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.2-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.2-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 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 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.2 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-5.2 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 _SMP_CPUS=8 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500200 OSVERSION=9999999 OSREL=5.2 _OSRELEASE=5.2-SYNTH -------------------------------------------------------------------------------- -- 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.txz Installing pkg-1.10.5... Extracting pkg-1.10.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 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, 11 APR 2018 at 15:13:45 UTC Duration: 00:00:18