==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: minisat 2.2.1.20201216-2 (Fri Jul 12 18:23:27 2024)
==> Retrieving sources...
  -> Found minisat-55d7e7613b94f0369476a0a8ff35969485ed324f.tar.gz
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha512sums...
    minisat-55d7e7613b94f0369476a0a8ff35969485ed324f.tar.gz ... Passed
==> Making package: minisat 2.2.1.20201216-2 (Fri Jul 12 18:23:34 2024)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
  -> Found minisat-55d7e7613b94f0369476a0a8ff35969485ed324f.tar.gz
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
  -> Extracting minisat-55d7e7613b94f0369476a0a8ff35969485ed324f.tar.gz with bsdtar
==> Starting build()...
Compiling: build/release/minisat/simp/Main.o
Compiling: build/release/minisat/core/Solver.o
Compiling: build/release/minisat/simp/SimpSolver.o
Compiling: build/release/minisat/utils/Options.o
Compiling: build/release/minisat/utils/System.o
Compiling: build/dynamic/minisat/core/Solver.o
Compiling: build/dynamic/minisat/simp/SimpSolver.o
Compiling: build/dynamic/minisat/utils/Options.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 = StreamBuffer; Solver = SimpSolver]':
./minisat/core/Dimacs.h:82:22:   required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = SimpSolver; gzFile = gzFile_s*]'
minisat/simp/Main.cc:99:21:   required from here
./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable]
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<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:41:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
./minisat/core/SolverTypes.h:338:43:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
minisat/simp/SimpSolver.cc:86:22:   required from here
./minisat/mtl/Vec.h:103:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
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<T, _Size>::capacity(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<unsigned int>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:41:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = int; V = Minisat::vec<unsigned int>; MkIndex = Minisat::MkIndexDefault<int>]'
./minisat/core/SolverTypes.h:338:43:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = int; Vec = Minisat::vec<unsigned int>; Deleted = Minisat::SimpSolver::ClauseDeleted; MkIndex = Minisat::MkIndexDefault<int>]'
minisat/simp/SimpSolver.cc:86:22:   required from here
./minisat/mtl/Vec.h:103:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<unsigned int>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<unsigned int>' declared here
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<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:41:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
./minisat/core/SolverTypes.h:338:43:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
minisat/core/Solver.cc:128:18:   required from here
./minisat/mtl/Vec.h:103:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
Linking Shared Library: build/dynamic/lib/libminisat.so.2.1.0
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<T, _Size>::capacity(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]':
./minisat/mtl/Vec.h:119:13:   required from 'void Minisat::vec<T, _Size>::growTo(Size) [with T = Minisat::vec<Minisat::Solver::Watcher>; _Size = int; Size = int]'
./minisat/mtl/IntMap.h:48:41:   required from 'void Minisat::IntMap<K, V, MkIndex>::reserve(K) [with K = Minisat::Lit; V = Minisat::vec<Minisat::Solver::Watcher>; MkIndex = Minisat::MkIndexLit]'
./minisat/core/SolverTypes.h:338:43:   required from 'void Minisat::OccLists<K, Vec, Deleted, MkIndex>::init(const K&) [with K = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted; MkIndex = Minisat::MkIndexLit]'
minisat/core/Solver.cc:128:18:   required from here
./minisat/mtl/Vec.h:103:31: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
Linking Static Library: build/release/lib/libminisat.a
Linking Binary: build/release/bin/minisat
==> Entering fakeroot environment...
==> Starting package()...
install -d /build/minisat/pkg/minisat/usr/include/minisat
install -d /build/minisat/pkg/minisat/usr/lib
for dir in mtl utils core simp; do \
  install -d /build/minisat/pkg/minisat/usr/include/minisat/$dir ; \
done
Compiling: build/dynamic/minisat/simp/Main.o
install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /build/minisat/pkg/minisat/usr/lib
ln -sf libminisat.so.2.1.0 /build/minisat/pkg/minisat/usr/lib/libminisat.so.2
ln -sf libminisat.so.2 /build/minisat/pkg/minisat/usr/lib/libminisat.so
install -m 644 build/release/lib/libminisat.a /build/minisat/pkg/minisat/usr/lib
for h in minisat/mtl/Alg.h minisat/mtl/Alloc.h minisat/mtl/Heap.h minisat/mtl/IntMap.h minisat/mtl/IntTypes.h minisat/mtl/Map.h minisat/mtl/Queue.h minisat/mtl/Rnd.h minisat/mtl/Sort.h minisat/mtl/Vec.h minisat/mtl/XAlloc.h minisat/core/Dimacs.h minisat/core/Solver.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 /build/minisat/pkg/minisat/usr/include/$h ; \
done
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 = StreamBuffer; Solver = SimpSolver]':
./minisat/core/Dimacs.h:82:22:   required from 'void Minisat::parse_DIMACS(gzFile, Solver&, bool) [with Solver = SimpSolver; gzFile = gzFile_s*]'
minisat/simp/Main.cc:99:21:   required from here
./minisat/core/Dimacs.h:50:9: warning: variable 'vars' set but not used [-Wunused-but-set-variable]
Linking Binary: build/dynamic/bin/minisat
install -d /build/minisat/pkg/minisat/usr/bin
install -m 755 build/dynamic/bin/minisat /build/minisat/pkg/minisat/usr/bin
==> Tidying install...
  -> Removing libtool files...
  -> Purging unwanted files...
  -> Removing static library files...
  -> Stripping unneeded symbols from binaries and libraries...
  -> Compressing man and info pages...
==> Checking for packaging issues...
==> Creating package "minisat"...
  -> Generating .PKGINFO file...
  -> Generating .BUILDINFO file...
  -> Generating .MTREE file...
  -> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: minisat 2.2.1.20201216-2 (Fri Jul 12 18:23:39 2024)
==> Cleaning up...