=> Building math/cadical Started : Friday, 14 FEB 2020 at 13:30:39 UTC Platform: 5.7-DEVELOPMENT DragonFly v5.7.0.1432.g9cd86-DEVELOPMENT #23: Thu Feb 13 14:43:04 PST 2020 root@sting.dragonflybsd.org:/usr/obj/usr/src/sys/X86_64_GENERIC x86_64 -------------------------------------------------- -- Environment -------------------------------------------------- UNAME_r=5.7-SYNTH UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=DragonFly 5.7-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 -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- MAKE=gmake XDG_DATA_HOME=/construction/math/cadical XDG_CONFIG_HOME=/construction/math/cadical HOME=/construction/math/cadical TMPDIR="/tmp" PATH=/construction/math/cadical/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 CONFIG_SITE=/xports/Templates/config.site lt_cv_sys_max_cmd_len=262144 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/cadical XDG_CONFIG_HOME=/construction/math/cadical HOME=/construction/math/cadical TMPDIR="/tmp" PATH=/construction/math/cadical/.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 -fPIC " 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/cadical/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- OSREL=5.7 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/cadical" EXAMPLESDIR="share/examples/cadical" DATADIR="share/cadical" WWWDIR="www/cadical" ETCDIR="etc/cadical" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cadical DOCSDIR=/usr/local/share/doc/cadical EXAMPLESDIR=/usr/local/share/examples/cadical WWWDIR=/usr/local/www/cadical ETCDIR=/usr/local/etc/cadical -------------------------------------------------- -- /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=15 DPORTS_BUILDER= yes DISABLE_LICENSES= yes DEFAULT_VERSIONS= ssl=openssl FORCE_PACKAGE= yes DEVELOPER= yes HAVE_COMPAT_IA32_KERN= CONFIGURE_MAX_CMD_LEN=262144 _PERL5_FROM_BIN=5.30.1 _ALTCCVERSION_921dbbb2=none _OBJC_ALTCCVERSION_921dbbb2=none _SMP_CPUS=32 UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=500709 OSVERSION=9999999 OSREL=5.7 _OSRELEASE=5.7-SYNTH PYTHONBASE=/usr/local _PKG_CHECKED=1 -------------------------------------------------------------------------------- -- Phase: check-sanity -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: pkg-depends -------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-1.12.0_1.txz Installing pkg-1.12.0_1... Extracting pkg-1.12.0_1: .......... done ===> cadical-1.0.3_1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cadical-1.0.3_1 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> Fetching all distfiles required by cadical-1.0.3_1 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> Fetching all distfiles required by cadical-1.0.3_1 for building => SHA256 Checksum OK for cadical-1.0.3-cb89cbf.tar.xz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> Fetching all distfiles required by cadical-1.0.3_1 for building ===> Extracting for cadical-1.0.3_1 => SHA256 Checksum OK for cadical-1.0.3-cb89cbf.tar.xz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for cadical-1.0.3_1 ===> Applying ports patches for cadical-1.0.3_1 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> cadical-1.0.3_1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_3.txz Installing gmake-4.2.1_3... `-- Installing gettext-runtime-0.20.1... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: . done `-- Extracting gettext-runtime-0.20.1: .......... done Extracting gmake-4.2.1_3: .......... done ===> cadical-1.0.3_1 depends on executable: gmake - found ===> Returning to build of cadical-1.0.3_1 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for cadical-1.0.3_1 configure: reusing default 'build' directory configure: building in default '/construction/math/cadical/cadical-1.0.3-cb89cbf/build' configure: root directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' configure: compiler supports all required C99/C++0x extensions configure: unlocked IO with '{putc,getc}_unlocked' seems to work configure: compiling with 'c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG' configure: generated 'build/makefile' from '../makefile.in' configure: generated '../makefile' as proxy to ... configure: ... '/construction/math/cadical/cadical-1.0.3-cb89cbf/build/makefile' configure: now run 'make' to compile CaDiCaL configure: optionally run 'make test' -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for cadical-1.0.3_1 gmake[1]: Entering directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' make -C "/construction/math/cadical/cadical-1.0.3-cb89cbf/build" make[2]: Entering directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' make[2]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/analyze.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/arena.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/assume.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/averages.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/backtrack.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/backward.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/bins.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/block.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ccadical.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/checker.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/clause.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/collect.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/compact.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/config.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/cover.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/decide.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/decompose.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/deduplicate.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/elim.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ema.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/extend.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/external.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/file.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/flags.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/format.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/gates.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/instantiate.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/internal.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ipasir.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/limit.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/logging.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/lucky.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/message.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/minimize.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/occs.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/options.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/parse.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/phases.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/probe.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/profile.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/proof.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/propagate.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/queue.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/random.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/reduce.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/rephase.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/report.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/resources.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/restart.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/restore.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/score.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/signal.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/solution.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/solver.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/stats.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/subsume.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/terminal.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/ternary.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/tracer.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/transred.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/util.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/var.cpp ../scripts/make-build-header.sh > build.hpp make-build-header.sh: warning: could not determine 'COMPILER' ('CXX') c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/version.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/vivify.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/walk.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/watch.cpp ar rc libcadical.a analyze.o arena.o assume.o averages.o backtrack.o backward.o bins.o block.o ccadical.o checker.o clause.o collect.o compact.o config.o cover.o decide.o decompose.o deduplicate.o elim.o ema.o extend.o external.o file.o flags.o format.o gates.o instantiate.o internal.o ipasir.o limit.o logging.o lucky.o message.o minimize.o occs.o options.o parse.o phases.o probe.o profile.o proof.o propagate.o queue.o random.o reduce.o rephase.o report.o resources.o restart.o restore.o score.o signal.o solution.o solver.o stats.o subsume.o terminal.o ternary.o tracer.o transred.o util.o var.o version.o vivify.o walk.o watch.o c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/cadical.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -o cadical cadical.o -L. -lcadical c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -c ../src/mobical.cpp c++ -pipe -O2 -fno-strict-aliasing -fPIC -W -O -DNDEBUG -I../build -o mobical mobical.o -L. -lcadical make[2]: Leaving directory '/construction/math/cadical/cadical-1.0.3-cb89cbf/build' gmake[1]: Leaving directory '/construction/math/cadical/cadical-1.0.3-cb89cbf' -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for cadical-1.0.3_1 ===> Generating temporary packing list install -s -m 555 /construction/math/cadical/cadical-1.0.3-cb89cbf/build/cadical /construction/math/cadical/stage/usr/local/bin install -s -m 555 /construction/math/cadical/cadical-1.0.3-cb89cbf/build/mobical /construction/math/cadical/stage/usr/local/bin install -m 0644 /construction/math/cadical/cadical-1.0.3-cb89cbf/src/ccadical.h /construction/math/cadical/stage/usr/local/include install -m 0644 /construction/math/cadical/cadical-1.0.3-cb89cbf/build/libcadical.a /construction/math/cadical/stage/usr/local/lib ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for cadical-1.0.3_1 file sizes/checksums [4]: . done packing files [4]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Friday, 14 FEB 2020 at 13:33:08 UTC Duration: 00:02:29