Mock Version: 1.4.13 Mock Version: 1.4.13 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f30-build-38686-22247/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=345600uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 Wrote: /builddir/build/SRPMS/cadical-06w-2.fc30.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/cadical.spec'], chrootPath='/var/lib/mock/f30-build-38686-22247/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'}shell=Falselogger=timeout=345600uid=996gid=135user='mockbuild'nspawn_args=[]unshare_net=TrueprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/cadical.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'en_US.UTF-8'} and shell False Building target platforms: riscv64 Building for target riscv64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.dc2sNF + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cadical-rel-06w + /usr/bin/gzip -dc /builddir/build/SOURCES/rel-06w.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cadical-rel-06w + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + /usr/bin/cat /builddir/build/SOURCES/cadical-shared.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + /usr/bin/cat /builddir/build/SOURCES/cadical-vector.patch + /usr/bin/patch -p0 -s --fuzz=0 --no-backup-if-mismatch + sed -i '/^-e/s/,/|/g' configure + sed -i 's|-g|-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection|' test/run-api-tests.sh + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.wLxSMi + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-06w + CXXFLAGS='-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC' + ./configure --no-realloc [cadical/configure] making default 'build' directory [cadical/configure] building in default '/builddir/build/BUILD/cadical-rel-06w/build' [cadical/configure] root directory '/builddir/build/BUILD/cadical-rel-06w' [cadical/configure] unlocked IO with '{putc,getc}_unlocked' seems to work [cadical/configure] compiling with 'g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC' [cadical/configure] generated 'build/makefile' from '../makefile.in' [cadical/configure] generated '../makefile' as proxy to ... [cadical/configure] ... '/builddir/build/BUILD/cadical-rel-06w/build/makefile' [cadical/configure] now run 'make' to compile CaDiCaL [cadical/configure] optionally test it with 'make test' + /usr/bin/make -O -j4 make -C "/builddir/build/BUILD/cadical-rel-06w/build" make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-06w/build' make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-06w/build' make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-06w/build' ../scripts/make-config-header.sh > config.hpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -MM ../src/*.cpp|sed -e 's,:,: makefile,' >dependencies make[1]: Entering directory '/builddir/build/BUILD/cadical-rel-06w/build' make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-06w/build' g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/main.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/app.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/analyze.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/arena.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/backtrack.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/bins.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/cadical.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/ccadical.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/clause.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/collect.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/compact.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/decide.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/decompose.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/duplicated.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/elim.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/ema.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/extend.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/external.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/file.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/format.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/internal.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/limit.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/logging.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/message.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/minimize.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/occs.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/options.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/packtrack.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/parse.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/probagate.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/probe.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/profile.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/proof.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/propagate.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/reduce.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/rephase.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/report.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/resources.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/restart.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/signal.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/solution.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/stats.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/subsume.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/transred.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/util.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/var.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/vivify.cpp g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -c ../src/watch.cpp rm -f libcadical.so g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -shared -Wl,-h,libcadical.so.0 -o libcadical.so.0.0.0 analyze.o arena.o backtrack.o bins.o cadical.o ccadical.o clause.o collect.o compact.o decide.o decompose.o duplicated.o elim.o ema.o extend.o external.o file.o format.o internal.o limit.o logging.o message.o minimize.o occs.o options.o packtrack.o parse.o probagate.o probe.o profile.o proof.o propagate.o reduce.o rephase.o report.o resources.o restart.o signal.o solution.o stats.o subsume.o transred.o util.o var.o vivify.o watch.o ln -s libcadical.so.0.0.0 libcadical.so.0 ln -s libcadical.so.0 libcadical.so g++ -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -fasynchronous-unwind-tables -fstack-clash-protection -fPIC -Wall -O3 -DNDEBUG -DNREALLOC -I../build -o cadical main.o app.o -L. -lcadical make[1]: Leaving directory '/builddir/build/BUILD/cadical-rel-06w/build' Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.wQjdkN BUILDSTDERR: make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. BUILDSTDERR: ../scripts/make-config-header.sh: line 8: warning: setlocale: LC_TIME: cannot change locale (en_US): No such file or directory BUILDSTDERR: ../scripts/make-config-header.sh: line 9: warning: setlocale: LC_TIME: cannot change locale (en_US): No such file or directory BUILDSTDERR: ../scripts/get-git-id.sh: line 3: git: command not found BUILDSTDERR: make[1]: warning: jobserver unavailable: using -j1. Add '+' to parent make rule. BUILDSTDERR: ../src/analyze.cpp: In member function 'void CaDiCaL::Internal::clear_levels()': BUILDSTDERR: ../src/analyze.cpp:189:12: warning: comparison of integer expressions of different signedness: 'const int' and 'std::vector::size_type' {aka 'long unsigned int'} [-Wsign-compare] BUILDSTDERR: if (*i < control.size()) BUILDSTDERR: ~~~^~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:44, BUILDSTDERR: from ../src/bins.cpp:1: BUILDSTDERR: ../src/bins.cpp: In member function 'void CaDiCaL::Internal::init_bins()': BUILDSTDERR: ../src/mem.hpp:11:33: warning: 'void* memset(void*, int, size_t)' clearing an object of type 'CaDiCaL::Bins' {aka 'class std::vector'} with no trivial copy-assignment; use assignment or value-initialization instead [-Wclass-memaccess] BUILDSTDERR: memset (P, 0, (N) * sizeof (T)); \ BUILDSTDERR: ^ BUILDSTDERR: ../src/mem.hpp:30:3: note: in expansion of macro 'ZERO' BUILDSTDERR: ZERO (P, T, N); \ BUILDSTDERR: ^~~~ BUILDSTDERR: ../src/bins.cpp:11:3: note: in expansion of macro 'NEW_ZERO' BUILDSTDERR: NEW_ZERO (big, Bins, 2*vsize); BUILDSTDERR: ^~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/8/vector:64, BUILDSTDERR: from ../src/internal.hpp:20, BUILDSTDERR: from ../src/bins.cpp:1: BUILDSTDERR: /usr/include/c++/8/bits/stl_vector.h:339:11: note: 'CaDiCaL::Bins' {aka 'class std::vector'} declared here BUILDSTDERR: class vector : protected _Vector_base<_Tp, _Alloc> BUILDSTDERR: ^~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:29, BUILDSTDERR: from ../src/cadical.cpp:1: BUILDSTDERR: ../src/cadical.cpp: In destructor 'CaDiCaL::Solver::~Solver()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:21:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'int CaDiCaL::Solver::max() const': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:29:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::init(int)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:34:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'bool CaDiCaL::Solver::has(const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:41:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'double CaDiCaL::Solver::get(const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:46:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'bool CaDiCaL::Solver::set(const char*, double)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:51:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'bool CaDiCaL::Solver::set(const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:56:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::add(int)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:63:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'int CaDiCaL::Solver::val(int)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:69:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'int CaDiCaL::Solver::solve()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:75:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::proof(FILE*, const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:93:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'bool CaDiCaL::Solver::proof(const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:100:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::options()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:126:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::usage()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:131:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::statistics()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:136:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'const char* CaDiCaL::Solver::dimacs(CaDiCaL::File*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:143:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'const char* CaDiCaL::Solver::dimacs(FILE*, const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:151:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'const char* CaDiCaL::Solver::dimacs(const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:160:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'CaDiCaL::File* CaDiCaL::Solver::output()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:170:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'const char* CaDiCaL::Solver::solution(const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:175:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::section(const char*)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:190:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::close()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:86:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::message(const char*, ...)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:195:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::banner()': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:110:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/cadical.cpp: In member function 'void CaDiCaL::Solver::error(const char*, ...)': BUILDSTDERR: ../src/contract.hpp:18:3: warning: nonnull argument 'this' compared to NULL [-Wnonnull-compare] BUILDSTDERR: if ((COND)) break; \ BUILDSTDERR: ^~ BUILDSTDERR: ../src/contract.hpp:24:3: note: in expansion of macro 'REQUIRE' BUILDSTDERR: REQUIRE(this, "solver uninitialized"); \ BUILDSTDERR: ^~~~~~~ BUILDSTDERR: ../src/cadical.cpp:205:3: note: in expansion of macro 'REQUIRE_INITIALIZED' BUILDSTDERR: REQUIRE_INITIALIZED (); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:44, BUILDSTDERR: from ../src/compact.cpp:1: BUILDSTDERR: ../src/compact.cpp: In member function 'void CaDiCaL::Internal::compact()': BUILDSTDERR: ../src/mem.hpp:11:33: warning: 'void* memset(void*, int, size_t)' clearing an object of type 'CaDiCaL::Watches' {aka 'class std::vector'} with no trivial copy-assignment; use assignment or value-initialization instead [-Wclass-memaccess] BUILDSTDERR: memset (P, 0, (N) * sizeof (T)); \ BUILDSTDERR: ^ BUILDSTDERR: ../src/mem.hpp:30:3: note: in expansion of macro 'ZERO' BUILDSTDERR: ZERO (P, T, N); \ BUILDSTDERR: ^~~~ BUILDSTDERR: ../src/mem.hpp:59:3: note: in expansion of macro 'NEW_ZERO' BUILDSTDERR: NEW_ZERO (P, T, N); \ BUILDSTDERR: ^~~~~~~~ BUILDSTDERR: ../src/compact.cpp:81:3: note: in expansion of macro 'RELEASE_SHRINK' BUILDSTDERR: RELEASE_SHRINK (NAME, TYPE, 2*vsize, 2*new_vsize); \ BUILDSTDERR: ^~~~~~~~~~~~~~ BUILDSTDERR: ../src/compact.cpp:315:13: note: in expansion of macro 'RELEASE_MAP2_ARRAY' BUILDSTDERR: if (wtab) RELEASE_MAP2_ARRAY (Watches, wtab); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/8/vector:64, BUILDSTDERR: from ../src/internal.hpp:20, BUILDSTDERR: from ../src/compact.cpp:1: BUILDSTDERR: /usr/include/c++/8/bits/stl_vector.h:339:11: note: 'CaDiCaL::Watches' {aka 'class std::vector'} declared here BUILDSTDERR: class vector : protected _Vector_base<_Tp, _Alloc> BUILDSTDERR: ^~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:44, BUILDSTDERR: from ../src/compact.cpp:1: BUILDSTDERR: ../src/mem.hpp:11:33: warning: 'void* memset(void*, int, size_t)' clearing an object of type 'CaDiCaL::Occs' {aka 'class std::vector'} with no trivial copy-assignment; use assignment or value-initialization instead [-Wclass-memaccess] BUILDSTDERR: memset (P, 0, (N) * sizeof (T)); \ BUILDSTDERR: ^ BUILDSTDERR: ../src/mem.hpp:30:3: note: in expansion of macro 'ZERO' BUILDSTDERR: ZERO (P, T, N); \ BUILDSTDERR: ^~~~ BUILDSTDERR: ../src/mem.hpp:59:3: note: in expansion of macro 'NEW_ZERO' BUILDSTDERR: NEW_ZERO (P, T, N); \ BUILDSTDERR: ^~~~~~~~ BUILDSTDERR: ../src/compact.cpp:81:3: note: in expansion of macro 'RELEASE_SHRINK' BUILDSTDERR: RELEASE_SHRINK (NAME, TYPE, 2*vsize, 2*new_vsize); \ BUILDSTDERR: ^~~~~~~~~~~~~~ BUILDSTDERR: ../src/compact.cpp:316:13: note: in expansion of macro 'RELEASE_MAP2_ARRAY' BUILDSTDERR: if (otab) RELEASE_MAP2_ARRAY (Occs, otab); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/8/vector:64, BUILDSTDERR: from ../src/internal.hpp:20, BUILDSTDERR: from ../src/compact.cpp:1: BUILDSTDERR: /usr/include/c++/8/bits/stl_vector.h:339:11: note: 'CaDiCaL::Occs' {aka 'class std::vector'} declared here BUILDSTDERR: class vector : protected _Vector_base<_Tp, _Alloc> BUILDSTDERR: ^~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:44, BUILDSTDERR: from ../src/compact.cpp:1: BUILDSTDERR: ../src/mem.hpp:11:33: warning: 'void* memset(void*, int, size_t)' clearing an object of type 'CaDiCaL::Bins' {aka 'class std::vector'} with no trivial copy-assignment; use assignment or value-initialization instead [-Wclass-memaccess] BUILDSTDERR: memset (P, 0, (N) * sizeof (T)); \ BUILDSTDERR: ^ BUILDSTDERR: ../src/mem.hpp:30:3: note: in expansion of macro 'ZERO' BUILDSTDERR: ZERO (P, T, N); \ BUILDSTDERR: ^~~~ BUILDSTDERR: ../src/mem.hpp:59:3: note: in expansion of macro 'NEW_ZERO' BUILDSTDERR: NEW_ZERO (P, T, N); \ BUILDSTDERR: ^~~~~~~~ BUILDSTDERR: ../src/compact.cpp:81:3: note: in expansion of macro 'RELEASE_SHRINK' BUILDSTDERR: RELEASE_SHRINK (NAME, TYPE, 2*vsize, 2*new_vsize); \ BUILDSTDERR: ^~~~~~~~~~~~~~ BUILDSTDERR: ../src/compact.cpp:317:12: note: in expansion of macro 'RELEASE_MAP2_ARRAY' BUILDSTDERR: if (big) RELEASE_MAP2_ARRAY (Bins, big); BUILDSTDERR: ^~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/8/vector:64, BUILDSTDERR: from ../src/internal.hpp:20, BUILDSTDERR: from ../src/compact.cpp:1: BUILDSTDERR: /usr/include/c++/8/bits/stl_vector.h:339:11: note: 'CaDiCaL::Bins' {aka 'class std::vector'} declared here BUILDSTDERR: class vector : protected _Vector_base<_Tp, _Alloc> BUILDSTDERR: ^~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:44, BUILDSTDERR: from ../src/internal.cpp:1: BUILDSTDERR: ../src/internal.cpp: In member function 'void CaDiCaL::Internal::enlarge(int)': BUILDSTDERR: ../src/mem.hpp:11:33: warning: 'void* memset(void*, int, size_t)' clearing an object of type 'CaDiCaL::Watches' {aka 'class std::vector'} with no trivial copy-assignment; use assignment or value-initialization instead [-Wclass-memaccess] BUILDSTDERR: memset (P, 0, (N) * sizeof (T)); \ BUILDSTDERR: ^ BUILDSTDERR: ../src/mem.hpp:51:3: note: in expansion of macro 'ZERO' BUILDSTDERR: ZERO (P + O, T, N - O); \ BUILDSTDERR: ^~~~ BUILDSTDERR: ../src/internal.cpp:91:3: note: in expansion of macro 'ENLARGE_ZERO' BUILDSTDERR: ENLARGE_ZERO (wtab, Watches, 2*vsize, 2*new_vsize); BUILDSTDERR: ^~~~~~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/8/vector:64, BUILDSTDERR: from ../src/internal.hpp:20, BUILDSTDERR: from ../src/internal.cpp:1: BUILDSTDERR: /usr/include/c++/8/bits/stl_vector.h:339:11: note: 'CaDiCaL::Watches' {aka 'class std::vector'} declared here BUILDSTDERR: class vector : protected _Vector_base<_Tp, _Alloc> BUILDSTDERR: ^~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:44, BUILDSTDERR: from ../src/occs.cpp:1: BUILDSTDERR: ../src/occs.cpp: In member function 'void CaDiCaL::Internal::init_occs()': BUILDSTDERR: ../src/mem.hpp:11:33: warning: 'void* memset(void*, int, size_t)' clearing an object of type 'CaDiCaL::Occs' {aka 'class std::vector'} with no trivial copy-assignment; use assignment or value-initialization instead [-Wclass-memaccess] BUILDSTDERR: memset (P, 0, (N) * sizeof (T)); \ BUILDSTDERR: ^ BUILDSTDERR: ../src/mem.hpp:30:3: note: in expansion of macro 'ZERO' BUILDSTDERR: ZERO (P, T, N); \ BUILDSTDERR: ^~~~ BUILDSTDERR: ../src/occs.cpp:11:3: note: in expansion of macro 'NEW_ZERO' BUILDSTDERR: NEW_ZERO (otab, Occs, 2*vsize); BUILDSTDERR: ^~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/8/vector:64, BUILDSTDERR: from ../src/internal.hpp:20, BUILDSTDERR: from ../src/occs.cpp:1: BUILDSTDERR: /usr/include/c++/8/bits/stl_vector.h:339:11: note: 'CaDiCaL::Occs' {aka 'class std::vector'} declared here BUILDSTDERR: class vector : protected _Vector_base<_Tp, _Alloc> BUILDSTDERR: ^~~~~~ BUILDSTDERR: ../src/report.cpp: In constructor 'CaDiCaL::Report::Report(const char*, int, int, double)': BUILDSTDERR: ../src/report.cpp:39:17: warning: '%d' directive writing between 1 and 10 bytes into a region of size 8 [-Wformat-overflow=] BUILDSTDERR: sprintf (fmt, "%%.%df", abs (precision)); BUILDSTDERR: ^~~~~~~~ BUILDSTDERR: ../src/report.cpp:39:17: note: directive argument in the range [0, 2147483647] BUILDSTDERR: In file included from /usr/include/stdio.h:873, BUILDSTDERR: from /usr/include/c++/8/cstdio:42, BUILDSTDERR: from ../src/internal.hpp:10, BUILDSTDERR: from ../src/report.cpp:1: BUILDSTDERR: /usr/include/bits/stdio2.h:36:34: note: '__builtin___sprintf_chk' output between 5 and 14 bytes into a destination of size 10 BUILDSTDERR: return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, BUILDSTDERR: ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: __bos (__s), __fmt, __va_arg_pack ()); BUILDSTDERR: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/report.cpp:44:17: warning: '%d' directive writing between 1 and 10 bytes into a region of size between 0 and 7 [-Wformat-overflow=] BUILDSTDERR: sprintf (fmt, "%%%d.%df", min_width, abs (precision)); BUILDSTDERR: ^~~~~~~~~~ BUILDSTDERR: ../src/report.cpp:44:17: note: directive argument in the range [0, 2147483647] BUILDSTDERR: In file included from /usr/include/stdio.h:873, BUILDSTDERR: from /usr/include/c++/8/cstdio:42, BUILDSTDERR: from ../src/internal.hpp:10, BUILDSTDERR: from ../src/report.cpp:1: BUILDSTDERR: /usr/include/bits/stdio2.h:36:34: note: '__builtin___sprintf_chk' output between 6 and 25 bytes into a destination of size 10 BUILDSTDERR: return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, BUILDSTDERR: ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: __bos (__s), __fmt, __va_arg_pack ()); BUILDSTDERR: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: ../src/report.cpp:44:17: warning: '%d' directive writing between 1 and 10 bytes into a region of size between 0 and 7 [-Wformat-overflow=] BUILDSTDERR: sprintf (fmt, "%%%d.%df", min_width, abs (precision)); BUILDSTDERR: ^~~~~~~~~~ BUILDSTDERR: ../src/report.cpp:44:17: note: directive argument in the range [0, 2147483647] BUILDSTDERR: In file included from /usr/include/stdio.h:873, BUILDSTDERR: from /usr/include/c++/8/cstdio:42, BUILDSTDERR: from ../src/internal.hpp:10, BUILDSTDERR: from ../src/report.cpp:1: BUILDSTDERR: /usr/include/bits/stdio2.h:36:34: note: '__builtin___sprintf_chk' output between 6 and 25 bytes into a destination of size 10 BUILDSTDERR: return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, BUILDSTDERR: ~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: __bos (__s), __fmt, __va_arg_pack ()); BUILDSTDERR: ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from ../src/internal.hpp:44, BUILDSTDERR: from ../src/watch.cpp:1: BUILDSTDERR: ../src/watch.cpp: In member function 'void CaDiCaL::Internal::init_watches()': BUILDSTDERR: ../src/mem.hpp:11:33: warning: 'void* memset(void*, int, size_t)' clearing an object of type 'CaDiCaL::Watches' {aka 'class std::vector'} with no trivial copy-assignment; use assignment or value-initialization instead [-Wclass-memaccess] BUILDSTDERR: memset (P, 0, (N) * sizeof (T)); \ BUILDSTDERR: ^ BUILDSTDERR: ../src/mem.hpp:30:3: note: in expansion of macro 'ZERO' BUILDSTDERR: ZERO (P, T, N); \ BUILDSTDERR: ^~~~ BUILDSTDERR: ../src/watch.cpp:7:3: note: in expansion of macro 'NEW_ZERO' BUILDSTDERR: NEW_ZERO (wtab, Watches, 2*vsize); BUILDSTDERR: ^~~~~~~~ BUILDSTDERR: In file included from /usr/include/c++/8/vector:64, BUILDSTDERR: from ../src/internal.hpp:20, BUILDSTDERR: from ../src/watch.cpp:1: BUILDSTDERR: /usr/include/c++/8/bits/stl_vector.h:339:11: note: 'CaDiCaL::Watches' {aka 'class std::vector'} declared here BUILDSTDERR: class vector : protected _Vector_base<_Tp, _Alloc> BUILDSTDERR: ^~~~~~ + exit 0 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64 + cd cadical-rel-06w + mkdir -p /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/bin + cp -p build/cadical /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/bin + mkdir -p /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/lib64 + cp -p build/libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/lib64 + ln -s libcadical.so.0.0.0 /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/lib64/libcadical.so.0 + ln -s libcadical.so.0 /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/lib64/libcadical.so + mkdir -p /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/include + cp -p src/cadical.hpp /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/include + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 06w-2.fc30 --unique-debug-suffix -06w-2.fc30.riscv64 --unique-debug-src-base cadical-06w-2.fc30.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/cadical-rel-06w explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/bin/cadical explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/lib64/libcadical.so.0.0.0 extracting debug info from /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/lib64/libcadical.so.0.0.0 extracting debug info from /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/bin/cadical /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. BUILDSTDERR: 647 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig BUILDSTDERR: /sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 0 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.8PTgNM Processing files: cadical-06w-2.fc30.riscv64 Provides: cadical = 06w-2.fc30 cadical(riscv-64) = 06w-2.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libcadical.so.0()(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libm.so.6()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) rtld(GNU_HASH) Processing files: cadical-libs-06w-2.fc30.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.VEhc3k + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-06w + DOCDIR=/builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/share/doc/cadical-libs + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/share/doc/cadical-libs + cp -pr CONTRIBUTING /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/share/doc/cadical-libs + cp -pr README.md /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/share/doc/cadical-libs + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.s90lde + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-06w + LICENSEDIR=/builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/share/licenses/cadical-libs + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/share/licenses/cadical-libs + cp -pr LICENSE /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64/usr/share/licenses/cadical-libs + exit 0 Provides: cadical-libs = 06w-2.fc30 cadical-libs(riscv-64) = 06w-2.fc30 libcadical.so.0()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgcc_s.so.1()(64bit) libgcc_s.so.1(GCC_3.0)(64bit) libgcc_s.so.1(GCC_3.4)(64bit) libm.so.6()(64bit) libstdc++.so.6()(64bit) libstdc++.so.6(CXXABI_1.3)(64bit) libstdc++.so.6(CXXABI_1.3.8)(64bit) libstdc++.so.6(CXXABI_1.3.9)(64bit) libstdc++.so.6(GLIBCXX_3.4)(64bit) rtld(GNU_HASH) Processing files: cadical-devel-06w-2.fc30.riscv64 Provides: cadical-devel = 06w-2.fc30 cadical-devel(riscv-64) = 06w-2.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libcadical.so.0()(64bit) Processing files: cadical-debugsource-06w-2.fc30.riscv64 Provides: cadical-debugsource = 06w-2.fc30 cadical-debugsource(riscv-64) = 06w-2.fc30 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cadical-debuginfo-06w-2.fc30.riscv64 Provides: cadical-debuginfo = 06w-2.fc30 cadical-debuginfo(riscv-64) = 06w-2.fc30 debuginfo(build-id) = 8e6f9071cad78df3d2112095cd36c05e87c50ed6 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(riscv-64) = 06w-2.fc30 Processing files: cadical-libs-debuginfo-06w-2.fc30.riscv64 Provides: cadical-libs-debuginfo = 06w-2.fc30 cadical-libs-debuginfo(riscv-64) = 06w-2.fc30 debuginfo(build-id) = f4519c3c7f4ec3be788c598ea583bb6c09f9e74c Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Recommends: cadical-debugsource(riscv-64) = 06w-2.fc30 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64 Wrote: /builddir/build/RPMS/cadical-06w-2.fc30.riscv64.rpm Wrote: /builddir/build/RPMS/cadical-libs-06w-2.fc30.riscv64.rpm Wrote: /builddir/build/RPMS/cadical-devel-06w-2.fc30.riscv64.rpm Wrote: /builddir/build/RPMS/cadical-debugsource-06w-2.fc30.riscv64.rpm Wrote: /builddir/build/RPMS/cadical-debuginfo-06w-2.fc30.riscv64.rpm Wrote: /builddir/build/RPMS/cadical-libs-debuginfo-06w-2.fc30.riscv64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.dOQl8h + umask 022 + cd /builddir/build/BUILD + cd cadical-rel-06w + /usr/bin/rm -rf /builddir/build/BUILDROOT/cadical-06w-2.fc30.riscv64 + exit 0 Child return code was: 0