==> Synchronizing chroot copy [/home/leming/armv8/root] -> [leming]...done
==> Making package: minisat 2.2.1.20201216-3 (Mon Mar 23 05:21:23 2026)
==> Retrieving sources...
  -> Updating minisat git repo...
==> WARNING: Skipping verification of source file PGP signatures.
==> Validating source files with sha512sums...
    minisat ... Passed
==> Making package: minisat 2.2.1.20201216-3 (Mon Mar 23 11:21:30 2026)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Installing missing dependencies...
resolving dependencies...
looking for conflicting packages...

Packages (5) perl-error-0.17030-3  perl-mailtools-2.22-3  perl-timedate-2.35-1  zlib-ng-2.3.3-1  git-2.53.0-1

Total Installed Size:  45.32 MiB

:: Proceed with installation? [Y/n] 
checking keyring...
checking package integrity...
loading package files...
checking for file conflicts...
checking available disk space...
:: Processing package changes...
installing perl-error...
installing perl-timedate...
installing perl-mailtools...
installing zlib-ng...
installing git...
Optional dependencies for git
    git-zsh-completion: upstream zsh completion
    tk: gitk and git gui
    openssh: ssh transport and crypto
    man: show help with `git command --help`
    perl-libwww: git svn
    perl-term-readkey: git svn and interactive.singlekey setting
    perl-io-socket-ssl: git send-email TLS support
    perl-authen-sasl: git send-email TLS support
    perl-cgi: gitweb (web interface) support
    python: git svn & git p4
    subversion: git svn
    org.freedesktop.secrets: keyring credential helper
    libsecret: libsecret credential helper [installed]
    less: the default pager for git
:: Running post-transaction hooks...
(1/3) Creating system user accounts...
Creating group 'git' with GID 968.
Creating user 'git' (git daemon user) with UID 968 and GID 968.
(2/3) Reloading system manager configuration...
  Skipped: Current root is not booted.
(3/3) Arming ConditionNeedsUpdate...
==> Retrieving sources...
==> WARNING: Skipping all source file integrity checks.
==> Extracting sources...
  -> Creating working copy of minisat git repo...
Cloning into 'minisat'...
done.
Switched to a new branch 'makepkg'
==> Starting build()...
Compiling: build/release/minisat/utils/Options.o
Compiling: build/release/minisat/core/Solver.o
Compiling: build/dynamic/minisat/core/Solver.o
Compiling: build/release/minisat/simp/SimpSolver.o
Compiling: build/dynamic/minisat/simp/SimpSolver.o
Compiling: build/release/minisat/utils/System.o
Compiling: build/dynamic/minisat/utils/System.o
Compiling: build/dynamic/minisat/utils/Options.o
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/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 Static Library: build/release/lib/libminisat.a
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 = 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
==> Entering fakeroot environment...
==> Starting package()...
install -d /build/minisat/pkg/minisat/usr/include/minisat
install -d /build/minisat/pkg/minisat/usr/lib
install -d /build/minisat/pkg/minisat/usr/bin
install -m 755 build/dynamic/bin/minisat /build/minisat/pkg/minisat/usr/bin
for dir in mtl utils core simp; do \
  install -d /build/minisat/pkg/minisat/usr/include/minisat/$dir ; \
done
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
==> Tidying install...
  -> Removing libtool files...
  -> Removing static library files...
  -> Purging unwanted files...
  -> Stripping unneeded symbols from binaries and libraries...
  -> Compressing man and info pages...
==> Checking for packaging issues...
libfakeroot internal error: payload not recognized!
==> Creating package "minisat"...
  -> Generating .PKGINFO file...
  -> Generating .BUILDINFO file...
  -> Generating .MTREE file...
  -> Compressing package...
==> Leaving fakeroot environment.
==> Finished making: minisat 2.2.1.20201216-3 (Mon Mar 23 11:21:38 2026)
==> Cleaning up...
[?12l[?25h