=> Building math/glucose Started : Friday, 8 MAR 2019 at 19:01:01 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 -------------------------------------------------- -------------------------------------------------- -- 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=gcc80 -------------------------------------------------- -- 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=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/glucose/stage -------------------------------------------------- -- PLIST_SUB -------------------------------------------------- OSREL=5.5 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-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 -------------------------------------------------------------------------------- ===> glucose-4.1_2 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 ===> glucose-4.1_2 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of glucose-4.1_2 -------------------------------------------------------------------------------- -- Phase: fetch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: fetch -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by glucose-4.1_2 for building -------------------------------------------------------------------------------- -- Phase: checksum -------------------------------------------------------------------------------- ===> License MIT accepted by the user ===> Fetching all distfiles required by glucose-4.1_2 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_2 for building ===> Extracting for glucose-4.1_2 => SHA256 Checksum OK for glucose-syrup-4.1.tgz. -------------------------------------------------------------------------------- -- Phase: patch-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: patch -------------------------------------------------------------------------------- ===> Patching for glucose-4.1_2 ===> Applying ports patches for glucose-4.1_2 -------------------------------------------------------------------------------- -- Phase: build-depends -------------------------------------------------------------------------------- ===> glucose-4.1_2 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.19.8.1_2... | `-- Installing indexinfo-0.3.1... | `-- Extracting indexinfo-0.3.1: .... done `-- Extracting gettext-runtime-0.19.8.1_2: .......... done Extracting gmake-4.2.1_3: .......... done ===> glucose-4.1_2 depends on executable: gmake - found ===> Returning to build of glucose-4.1_2 -------------------------------------------------------------------------------- -- Phase: lib-depends -------------------------------------------------------------------------------- -------------------------------------------------------------------------------- -- Phase: configure -------------------------------------------------------------------------------- ===> Configuring for glucose-4.1_2 -------------------------------------------------------------------------------- -- Phase: build -------------------------------------------------------------------------------- ===> Building for glucose-4.1_2 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 In file included from /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:57: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc: In function 'int main(int, char**)': /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:166:15: warning: this 'else' clause does not guard... [-Wmisleading-indentation] } else ^~~~ /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:168:17: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'else' const char *name = opt_certified_file; ^~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:29, from /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:58: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Dimacs.h:27, from /construction/math/glucose/glucose-syrup-4.1/simp/Main.cc:59: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.o In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:51: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::vec]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:137:5: required from 'void Glucose::vec::growTo(int) [with T = Glucose::vec]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:376:2: required from 'void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = int; Vec = Glucose::vec; Deleted = Glucose::SimpSolver::ClauseDeleted]' /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:135:27: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec' declared here class vec { ^~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:56, from /construction/math/glucose/glucose-syrup-4.1/simp/../simp/SimpSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/simp/SimpSolver.cc:51: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: utils/Options.o In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc:21: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc: In function 'void Glucose::printUsageAndExit(int, char**, bool)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc:62:5: warning: this 'if' clause does not guard... [-Wmisleading-indentation] if (usage != NULL) ^~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.cc:65:9: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'if' sort(Option::getOptionList(), Option::OptionLt()); ^~~~ Compiling: utils/System.o Compiling: core/Solver.o In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:54: /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/simp/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /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 of integer expressions of different signedness: 'unsigned int' and 'int' [-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 of integer expressions of different signedness: 'unsigned int' and 'int' [-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 of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] if(chanseokStrategy && nblevels <= coLBDBound) { ~~~~~~~~~^~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:53: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::vec]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:137:5: required from 'void Glucose::vec::growTo(int) [with T = Glucose::vec]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:376:2: required from 'void Glucose::OccLists::copyTo(Glucose::OccLists&) const [with Idx = Glucose::Lit; Vec = Glucose::vec; Deleted = Glucose::Solver::WatcherDeleted]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:293:29: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glucose::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:53: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:39:7: note: 'class Glucose::vec' declared here class vec { ^~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Sort.h:24, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:53: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/simp/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.h:56, from /construction/math/glucose/glucose-syrup-4.1/simp/../core/Solver.cc:54: /construction/math/glucose/glucose-syrup-4.1/simp/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ 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 In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/Main.cc:57: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:29, from /construction/math/glucose/glucose-syrup-4.1/parallel/Main.cc:58: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Dimacs.h:27, from /construction/math/glucose/glucose-syrup-4.1/parallel/Main.cc:59: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SolverCompanion.o Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ /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 of integer expressions of different signedness: 'unsigned int' and 'int' [-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 of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] } else if (shareAfterProbation && c.getExported() != nbTimesSeenBeforeExport && conflicts > firstSharing) { ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:247:49: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare] if (!c.wasImported() && c.getExported() == nbTimesSeenBeforeExport) { // It's a new interesting clause: ~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Alg.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ClausesBuffer.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/ClausesBuffer.cc:71: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Heap.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:56, from /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.cc:51: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Alg.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.cc:51: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.cc:51: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Compiling: /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.o In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/Options.h:30, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/Solver.h:55, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:54, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h: In function 'double Glucose::parseDouble(B&)': /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:99:5: warning: this 'while' clause does not guard... [-Wmisleading-indentation] while (*in >= '0' && *in <= '9') ^~~~~ /construction/math/glucose/glucose-syrup-4.1/parallel/../utils/ParseUtils.h:103:2: note: ...this statement, but the latter is misleadingly indented as if it were guarded by the 'while' if (*in != 'e') printf("PARSE ERROR! Unexpected char: %c\n", *in),exit(3); ^~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Alg.h:24, from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:59, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h: In instantiation of 'void Glucose::vec::capacity(int) [with T = Glucose::Map, long unsigned int>::Pair]': /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:74:57: required from 'void Glucose::vec::push() [with T = Glucose::Map, long unsigned int>::Pair]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:81:9: required from 'void Glucose::Map::_insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:140:76: required from 'void Glucose::Map::insert(const K&, const D&) [with K = std::__cxx11::basic_string; D = long unsigned int; H = Glucose::Hash >; E = Glucose::Equal >]' /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverStats.h:73:31: required from here /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Vec.h:121:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glucose::Map, long unsigned int>::Pair'; use 'new' and 'delete' instead [-Wclass-memaccess] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from /construction/math/glucose/glucose-syrup-4.1/parallel/../core/SolverTypes.h:61, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/ParallelSolver.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/../parallel/MultiSolvers.h:53, from /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.cc:50: /construction/math/glucose/glucose-syrup-4.1/parallel/../mtl/Map.h:62:12: note: 'struct Glucose::Map, long unsigned int>::Pair' declared here struct Pair { K key; D data; }; ^~~~ Linking: glucose-syrup ( /construction/math/glucose/glucose-syrup-4.1/parallel/Main.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 /construction/math/glucose/glucose-syrup-4.1/parallel/SolverConfiguration.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_2 ===> 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_2 file sizes/checksums [5]: . done packing files [5]: . done packing directories [0]: . done -------------------------------------------------- -- Termination -------------------------------------------------- Finished: Friday, 8 MAR 2019 at 19:01:20 UTC Duration: 00:00:18