=> Building math/glucose Started : Thursday, 12 APR 2018 at 00:13:00 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 -------------------------------------------------- -------------------------------------------------- -- CONFIGURE_ENV -------------------------------------------------- MAKE=gmake XDG_DATA_HOME=/construction/math/glucose XDG_CONFIG_HOME=/construction/math/glucose HOME=/construction/math/glucose TMPDIR="/tmp" PATH=/construction/math/glucose/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc50 -------------------------------------------------- -- CONFIGURE_ARGS -------------------------------------------------- -------------------------------------------------- -- MAKE_ENV -------------------------------------------------- XDG_DATA_HOME=/construction/math/glucose XDG_CONFIG_HOME=/construction/math/glucose HOME=/construction/math/glucose TMPDIR="/tmp" PATH=/construction/math/glucose/.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/glucose/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- PORTDOCS="" PORTEXAMPLES="" OSREL=5.2 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib PROFILE="@comment " DOCSDIR="share/doc/glucose" EXAMPLESDIR="share/examples/glucose" DATADIR="share/glucose" WWWDIR="www/glucose" ETCDIR="etc/glucose" -------------------------------------------------- -- SUB_LIST -------------------------------------------------- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/glucose DOCSDIR=/usr/local/share/doc/glucose EXAMPLESDIR=/usr/local/share/examples/glucose WWWDIR=/usr/local/www/glucose ETCDIR=/usr/local/etc/glucose -------------------------------------------------- -- /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 -------------------------------------------------------------------------------- ===> glucose-4.1 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 ===> glucose-4.1 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of glucose-4.1 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by glucose-4.1 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by glucose-4.1 for building => SHA256 Checksum OK for glucose-syrup-4.1.tgz. -------------------------------------------------------------------------------- -- Phase: extract-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: extract -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by glucose-4.1 for building ===> Extracting for glucose-4.1 => SHA256 Checksum OK for glucose-syrup-4.1.tgz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for glucose-4.1 ===> Applying ports patches for glucose-4.1 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> glucose-4.1 depends on executable: gmake - not found ===> Installing existing package /packages/All/gmake-4.2.1_2.txz Installing gmake-4.2.1_2... `-- Installing gettext-runtime-0.19.8.1_1... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: .... done `-- Extracting gettext-runtime-0.19.8.1_1: .......... done Extracting gmake-4.2.1_2: .......... done ===> glucose-4.1 depends on executable: gmake - found ===> Returning to build of glucose-4.1 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for glucose-4.1 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for glucose-4.1 gmake[1]: Entering directory '/construction/math/glucose/glucose-syrup-4.1/simp' Making dependencies Compiling: /construction/math/glucose/glucose-syrup-4.1/simp/Main.o Compiling: /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.o Compiling: utils/Options.o Compiling: utils/System.o Compiling: core/Solver.o /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'void Glucose::Solver::analyze(Glucose::CRef, Glucose::vec&, Glucose::vec&, int&, unsigned int&, unsigned int&)': /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:774:49: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ^ /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'void Glucose::Solver::adaptSolver()': /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:1416:24: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if(c.lbd() <= coLBDBound) { ^ /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc: In member function 'Glucose::lbool Glucose::Solver::search(int)': /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:1562:49: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ^ Linking: glucose ( /construction/math/glucose/glucose-syrup-4.1/simp/Main.o /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.o utils/Options.o utils/System.o core/Solver.o ) gmake[1]: Leaving directory '/construction/math/glucose/glucose-syrup-4.1/simp' gmake[1]: Entering directory '/construction/math/glucose/glucose-syrup-4.1/parallel' Making dependencies Depends on: simp Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/Main.o Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.o Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SolverCompanion.o Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.o /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc: In member function 'virtual void Glucose::ParallelSolver::parallelImportClauseDuringConflictAnalysis(Glucose::Clause&, Glucose::CRef)': /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:242:90: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if (dontExportDirectReusedClauses && (confl == lastLearntClause) && (c.getExported() < nbTimesSeenBeforeExport)) { // Experimental stuff ^ /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:245:55: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] } else if (shareAfterProbation && c.getExported() != nbTimesSeenBeforeExport && conflicts > firstSharing) { ^ /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:247:49: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if (!c.wasImported() && c.getExported() == nbTimesSeenBeforeExport) { // It's a new interesting clause: ^ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.o Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.o Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.o Linking: glucose-syrup ( /construction/math/glucose/glucose-syrup-4.1/parallel/Main.o /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.o /construction/math/glucose/glucose-syrup-4.1/parallel/SolverCompanion.o /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.o /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.o /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.o /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.o utils/Options.o utils/System.o core/Solver.o simp/SimpSolver.o ) gmake[1]: Leaving directory '/construction/math/glucose/glucose-syrup-4.1/parallel' -------------------------------------------------------------------------------- -- Phase: run-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: stage -------------------------------------------------------------------------------- ===> Staging for glucose-4.1 ===> Generating temporary packing list install -s -m 555 /construction/math/glucose/glucose-syrup-4.1/simp/glucose /construction/math/glucose/stage/usr/local/bin/ install -s -m 555 /construction/math/glucose/glucose-syrup-4.1/parallel/glucose-syrup /construction/math/glucose/stage/usr/local/bin/ ====> Compressing man pages (compress-man) -------------------------------------------------------------------------------- -- Phase: package -------------------------------------------------------------------------------- ===> Building package for glucose-4.1 file sizes/checksums [5]: . done packing files [5]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Thursday, 12 APR 2018 at 00:14:03 UTC Duration: 00:01:02