From https://github.com/archlinux/svntogit-community * branch packages/minisat -> FETCH_HEAD * [new branch] packages/minisat -> community/packages/minisat Cloning into 'minisat'... done. :: Synchronizing package databases... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 130k 100 130k 0 0 384k 0 --:--:-- --:--:-- --:--:-- 385k % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 8545k 100 8545k 0 0 21.6M 0 --:--:-- --:--:-- --:--:-- 21.6M % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 143k 100 143k 0 0 423k 0 --:--:-- --:--:-- --:--:-- 423k :: Starting full system upgrade... there is nothing to do PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp/archlinux-ci/ SOURCE_DATE_EPOCH=1691211596 SHELL=/bin/bash SCHROOT_CHROOT_NAME=jenkins-reproducible-archlinux no_proxy=localhost,127.0.0.1 SCHROOT_COMMAND=bash -l -c SOURCE_DATE_EPOCH='1691211596' PATH='/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin' TMPDIR='/tmp/archlinux-ci/' printenv 2>&1 SCHROOT_SESSION_ID=archlinux-minisat-archlinuxrb-build-xvGkjM0p PWD=/tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk LOGNAME=jenkins SCHROOT_ALIAS_NAME=jenkins-reproducible-archlinux SCHROOT_GROUP=jenkins SCHROOT_USER=jenkins ftp_proxy=http://127.0.0.1:3128 HOME=/var/lib/jenkins LANG=C https_proxy=http://127.0.0.1:3128 USER=jenkins FTP_PROXY=http://127.0.0.1:3128 SHLVL=1 HTTPS_PROXY=http://127.0.0.1:3128 HTTP_PROXY=http://127.0.0.1:3128 SCHROOT_GID=116 http_proxy=http://127.0.0.1:3128 DEBUGINFOD_URLS=https://debuginfod.archlinux.org SCHROOT_UID=108 HG=/usr/bin/hg _=/usr/sbin/printenv ==> Making package: minisat 2.2.1.20201216-1 (Sat Aug 5 05:00:11 2023) ==> Checking runtime dependencies... ==> Checking buildtime dependencies... ==> Retrieving sources... -> Downloading minisat-55d7e7613b94f0369476a0a8ff35969485ed324f.tar.gz... % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 53437 0 53437 0 0 125k 0 --:--:-- --:--:-- --:--:-- 125k ==> Validating source files with sha512sums... minisat-55d7e7613b94f0369476a0a8ff35969485ed324f.tar.gz ... Passed ==> 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] 50 | 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(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = int; V = Minisat::vec; MkIndex = Minisat::MkIndexDefault]' ./minisat/core/SolverTypes.h:338:49: 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:26: 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] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | 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(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = Minisat::Lit; V = Minisat::vec; MkIndex = Minisat::MkIndexLit]' ./minisat/core/SolverTypes.h:338:49: 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:19: 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] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | 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(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = int; V = Minisat::vec; MkIndex = Minisat::MkIndexDefault]' ./minisat/core/SolverTypes.h:338:49: 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:26: 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] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | 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(Size) [with T = Minisat::vec; _Size = int; Size = int]': ./minisat/mtl/Vec.h:119:13: required from 'void Minisat::vec::growTo(Size) [with T = Minisat::vec; _Size = int; Size = int]' ./minisat/mtl/IntMap.h:48:58: required from 'void Minisat::IntMap::reserve(K) [with K = Minisat::Lit; V = Minisat::vec; MkIndex = Minisat::MkIndexLit]' ./minisat/core/SolverTypes.h:338:49: 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:19: 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] 103 | || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ) | ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ./minisat/mtl/Vec.h:39:7: note: 'class Minisat::vec' declared here 39 | 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 ==> Entering fakeroot environment... ==> Starting package()... install -d /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/pkg/minisat/usr/include/minisat install -d /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/pkg/minisat/usr/lib for dir in mtl utils core simp; do \ install -d /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/pkg/minisat/usr/include/minisat/$dir ; \ done install -m 644 build/dynamic/lib/libminisat.so.2.1.0 /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/pkg/minisat/usr/lib Compiling: build/dynamic/minisat/simp/Main.o ln -sf libminisat.so.2.1.0 /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/pkg/minisat/usr/lib/libminisat.so.2 ln -sf libminisat.so.2 /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/pkg/minisat/usr/lib/libminisat.so install -m 644 build/release/lib/libminisat.a /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/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 /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/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] 50 | int vars = 0; | ^~~~ Linking Binary: build/dynamic/bin/minisat install -d /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/pkg/minisat/usr/bin install -m 755 build/dynamic/bin/minisat /tmp/archlinux-ci/minisat-archlinuxrb-build-xvGkjM0p/minisat/trunk/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-1 (Sat Aug 5 05:00:18 2023)