------------------------------------------------------------------------------- -- Phase: Environment ------------------------------------------------------------------------------- NO_DEPENDS=1 UNAME_r=6.5 UNAME_m=x86_64 UNAME_p=x86_64 UNAME_v=unknown UNAME_s=DragonFly PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin SSL_NO_VERIFY_PEER=1 LANG=C HOME=/root USER=root TERM=dumb SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: showconfig ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ENV ------------------------------------------------------------------------------- MAKE=gmake XDG_DATA_HOME=/construction/math/glucose XDG_CONFIG_HOME=/construction/math/glucose XDG_CACHE_HOME=/construction/math/glucose/.cache HOME=/construction/math/glucose TMPDIR="/tmp" PATH=/construction/math/glucose/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/glucose/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CCVER=gcc80 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: CONFIGURE_ARGS ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ENV ------------------------------------------------------------------------------- XDG_DATA_HOME=/construction/math/glucose XDG_CONFIG_HOME=/construction/math/glucose XDG_CACHE_HOME=/construction/math/glucose/.cache HOME=/construction/math/glucose TMPDIR="/tmp" PATH=/construction/math/glucose/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin PKG_CONFIG_LIBDIR=/construction/math/glucose/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig 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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: MAKE_ARGS ------------------------------------------------------------------------------- DESTDIR=/construction/math/glucose/stage SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: PLIST_SUB ------------------------------------------------------------------------------- OSREL=6.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" SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: 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 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: /etc/make.conf ------------------------------------------------------------------------------- DPORTS_BUILDER=yes DISABLE_LICENSES=yes DEFAULT_VERSIONS=ssl=openssl FORCE_PACKAGE=yes DEVELOPER=yes DFLY_STING_XFAIL=yes USE_PACKAGE_DEPENDS_ONLY=yes PORTSDIR=/xports PORT_DBDIR=/options PKG_DBDIR=/var/db/pkg PKG_CACHEDIR=/var/cache/pkg PKG_COMPRESSION_FORMAT=.tgz DEVELOPER=1 WITH_CCACHE_BUILD=yes CCACHE_DIR=/ccache UID=0 ARCH=x86_64 OPSYS=DragonFly DFLYVERSION=600503 OSVERSION=9999999 OSREL=6.5 _OSRELEASE=6.5-SYNTH DISTDIR=/distfiles WRKDIRPREFIX=/construction BATCH=yes PACKAGE_BUILDING=yes PKG_CREATE_VERBOSE=yes MAKE_JOBS_NUMBER=13 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.pkg Installing /packages/All/gettext-runtime-0.21.1.pkg Installing /packages/All/gmake-4.3_2.pkg Installing /packages/All/ccache-3.7.12_4.pkg Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for gcc create symlink for gcc (world) create symlink for g++ create symlink for g++ (world) ===== Message from ccache-3.7.12_4: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by glucose-4.1_3 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by glucose-4.1_3 for building => SHA256 Checksum OK for glucose-syrup-4.1.tgz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by glucose-4.1_3 for building ===> Extracting for glucose-4.1_3 => SHA256 Checksum OK for glucose-syrup-4.1.tgz. Extracted Memory Use: 0.66M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for glucose-4.1_3 ===> Applying ports patches for glucose-4.1_3 from /xports/math/glucose/files SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on package: gmake>=4.3 - found ===> glucose-4.1_3 depends on file: /usr/local/bin/ccache - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> glucose-4.1_3 depends on package: gmake>=4.3 - found ===> glucose-4.1_3 depends on file: /usr/local/bin/ccache - found ===> Configuring for glucose-4.1_3 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for glucose-4.1_3 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/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/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/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/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/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/SolverCompanion.o 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/ClausesBuffer.o /construction/math/glucose/glucose-syrup-4.1/parallel/Main.o /construction/math/glucose/glucose-syrup-4.1/parallel/MultiSolvers.o /construction/math/glucose/glucose-syrup-4.1/parallel/ParallelSolver.o /construction/math/glucose/glucose-syrup-4.1/parallel/SharedCompanion.o /construction/math/glucose/glucose-syrup-4.1/parallel/SolverCompanion.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' SUCCEEDED 00:00:04 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for glucose-4.1_3 ===> 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) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-plist ------------------------------------------------------------------------------- ====> Checking for pkg-plist issues (check-plist) ===> Parsing plist ===> Checking for items in STAGEDIR missing from pkg-plist ===> Checking for items in pkg-plist which are not in STAGEDIR ===> No pkg-plist issues found (check-plist) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for glucose-4.1_3 file sizes/checksums [2]: 0% file sizes/checksums [2]: 100% Service unavailablepacking files [2]: 0% packing files [2]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:00 TOTAL TIME 00:00:07