------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.1.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/gmake-4.2.1_3.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> minisat-2.2.1_2 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> minisat-2.2.1_2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by minisat-2.2.1_2 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> minisat-2.2.1_2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by minisat-2.2.1_2 for building => SHA256 Checksum OK for minisat-2.2.1.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> minisat-2.2.1_2 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by minisat-2.2.1_2 for building ===> Extracting for minisat-2.2.1_2 => SHA256 Checksum OK for minisat-2.2.1.tar.gz. Extracted Memory Use: 0.26M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for minisat-2.2.1_2 ===> Applying ports patches for minisat-2.2.1_2 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> minisat-2.2.1_2 depends on executable: gmake - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> minisat-2.2.1_2 depends on executable: gmake - found ===> Configuring for minisat-2.2.1_2 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for minisat-2.2.1_2 gmake[1]: Entering directory '/construction/math/minisat/minisat-2.2.1' Compiling: build/release/minisat/simp/SimpSolver.o Compiling: build/release/minisat/utils/System.o Compiling: build/release/minisat/simp/Main.o Compiling: build/dynamic/minisat/simp/SimpSolver.o Compiling: build/release/minisat/core/Solver.o Compiling: build/dynamic/minisat/utils/Options.o Compiling: build/release/minisat/utils/Options.o Compiling: build/dynamic/minisat/core/Solver.o Compiling: build/dynamic/minisat/utils/System.o In file included from minisat/simp/Main.cc:27: ./minisat/core/Dimacs.h: In instantiation of 'void Minisat::parse_DIMACS_main(B&, Solver&, bool) [with B = Minisat::StreamBuffer; Solver = Minisat::SimpSolver]': ./minisat/core/Dimacs.h:82:22: required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = Minisat::SimpSolver; gzFile = gzFile_s*]' minisat/simp/Main.cc:99:42: required from here ./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable] int vars = 0; ^~~~ In file included from ./minisat/mtl/Sort.h:24, from minisat/simp/SimpSolver.cc:21: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]': ./minisat/mtl/Vec.h:119:5: required from 'void Minisat::vec::growTo(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]' ./minisat/mtl/IntMap.h:48:48: required from 'void Minisat::IntMap::reserve(K) [with K = int; V = Minisat::vec; MkIndex = Minisat::MkIndexDefault]' ./minisat/core/SolverTypes.h:338:37: required from 'void Minisat::OccLists::init(const K&) [with K = int; Vec = Minisat::vec; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault]' minisat/simp/SimpSolver.cc:86:28: required from here ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./minisat/mtl/Sort.h:24, from minisat/simp/SimpSolver.cc:21: ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here class vec { ^~~ In file included from ./minisat/mtl/Sort.h:24, from minisat/simp/SimpSolver.cc:21: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]': ./minisat/mtl/Vec.h:119:5: required from 'void Minisat::vec::growTo(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]' ./minisat/mtl/IntMap.h:48:48: required from 'void Minisat::IntMap::reserve(K) [with K = int; V = Minisat::vec; MkIndex = Minisat::MkIndexDefault]' ./minisat/core/SolverTypes.h:338:37: required from 'void Minisat::OccLists::init(const K&) [with K = int; Vec = Minisat::vec; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault]' minisat/simp/SimpSolver.cc:86:28: required from here ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./minisat/mtl/Sort.h:24, from minisat/simp/SimpSolver.cc:21: ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here class vec { ^~~ In file included from ./minisat/mtl/Alg.h:24, from minisat/core/Solver.cc:23: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]': ./minisat/mtl/Vec.h:119:5: required from 'void Minisat::vec::growTo(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]' ./minisat/mtl/IntMap.h:48:48: required from 'void Minisat::IntMap::reserve(K) [with K = Minisat::Lit; V = Minisat::vec; MkIndex = Minisat::MkIndexLit]' ./minisat/core/SolverTypes.h:338:37: required from 'void Minisat::OccLists::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]' minisat/core/Solver.cc:128:35: required from here ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./minisat/mtl/Alg.h:24, from minisat/core/Solver.cc:23: ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here class vec { ^~~ In file included from ./minisat/mtl/Alg.h:24, from minisat/core/Solver.cc:23: ./minisat/mtl/Vec.h: In instantiation of 'void Minisat::vec::capacity(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]': ./minisat/mtl/Vec.h:119:5: required from 'void Minisat::vec::growTo(Minisat::vec::Size) [with T = Minisat::vec; _Size = int; Minisat::vec::Size = int]' ./minisat/mtl/IntMap.h:48:48: required from 'void Minisat::IntMap::reserve(K) [with K = Minisat::Lit; V = Minisat::vec; MkIndex = Minisat::MkIndexLit]' ./minisat/core/SolverTypes.h:338:37: required from 'void Minisat::OccLists::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]' minisat/core/Solver.cc:128:35: required from here ./minisat/mtl/Vec.h:103:33: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ In file included from ./minisat/mtl/Alg.h:24, from minisat/core/Solver.cc:23: ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here class vec { ^~~ Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0 Linking Static Library: build/release/lib/libminisat.a Linking Binary: build/release/bin/minisat gmake[1]: Leaving directory '/construction/math/minisat/minisat-2.2.1' SUCCEEDED 00:00:08 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for minisat-2.2.1_2 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/math/minisat/minisat-2.2.1' install -d /construction/math/minisat/stage/usr/local/include/minisat for dir in mtl utils core simp; do \ install -d /construction/math/minisat/stage/usr/local/include/minisat/$dir ; \ done for h in minisat/mtl/XAlloc.h minisat/mtl/Heap.h minisat/mtl/IntTypes.h minisat/mtl/IntMap.h minisat/mtl/Sort.h minisat/mtl/Rnd.h minisat/mtl/Alg.h minisat/mtl/Vec.h minisat/mtl/Alloc.h minisat/mtl/Map.h minisat/mtl/Queue.h minisat/core/Solver.h minisat/core/Dimacs.h minisat/core/SolverTypes.h minisat/simp/SimpSolver.h minisat/utils/Options.h minisat/utils/ParseUtils.h minisat/utils/System.h ; do \ install -m 644 $h /construction/math/minisat/stage/usr/local/include/$h ; \ done install -d /construction/math/minisat/stage/usr/local/lib install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /construction/math/minisat/stage/usr/local/lib ln -sf libminisat.so.2.1.0 /construction/math/minisat/stage/usr/local/lib/libminisat.so.2 ln -sf libminisat.so.2 /construction/math/minisat/stage/usr/local/lib/libminisat.so install -m 644 build/release/lib/libminisat.a /construction/math/minisat/stage/usr/local/lib Compiling: build/dynamic/minisat/simp/Main.o In file included from minisat/simp/Main.cc:27: ./minisat/core/Dimacs.h: In instantiation of 'void Minisat::parse_DIMACS_main(B&, Solver&, bool) [with B = Minisat::StreamBuffer; Solver = Minisat::SimpSolver]': ./minisat/core/Dimacs.h:82:22: required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = Minisat::SimpSolver; gzFile = gzFile_s*]' minisat/simp/Main.cc:99:42: required from here ./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable] int vars = 0; ^~~~ Linking Binary: build/dynamic/bin/minisat install -d /construction/math/minisat/stage/usr/local/bin install -m 755 build/dynamic/bin/minisat /construction/math/minisat/stage/usr/local/bin gmake[1]: Leaving directory '/construction/math/minisat/minisat-2.2.1' /usr/bin/strip /construction/math/minisat/stage/usr/local/bin/minisat /construction/math/minisat/stage/usr/local/lib/libminisat.so ====> 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:02 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for minisat-2.2.1_2 file sizes/checksums [23]: 0% file sizes/checksums [23]: 100% packing files [23]: 0% packing files [23]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:04 TOTAL TIME 00:00:16