Mock Version: 1.4.9 Mock Version: 1.4.9 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/glueminisat.spec'], chrootPath='/var/lib/mock/f29-build-28639-15349/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=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target riscv64 --nodeps /builddir/build/SPECS/glueminisat.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/glueminisat-2.2.8-7.fc29.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/glueminisat.spec'], chrootPath='/var/lib/mock/f29-build-28639-15349/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=998gid=135user='mockbuild'nspawn_args=[]unshare_net=FalseprintOutput=False) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/glueminisat.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.z6r2qb + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf glueminisat-2.2.8 + /usr/bin/unzip -qq /builddir/build/SOURCES/glueminisat-2.2.8.zip + STATUS=0 + '[' 0 -ne 0 ']' + cd glueminisat-2.2.8 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . Patch #0 (glueminisat-FPU.patch): + echo 'Patch #0 (glueminisat-FPU.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 -b --suffix .orig --fuzz=0 patching file code/core/Main.cc patching file code/simp/Main.cc + cp -p /builddir/build/SOURCES/glueminisat-test.in . + cp -p /builddir/build/SOURCES/glueminisat-intro.html . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.adQG3f + umask 022 + cd /builddir/build/BUILD + cd glueminisat-2.2.8 BUILDSTDERR: ++ pwd + make -j4 -C code/core r MROOT=/builddir/build/BUILD/glueminisat-2.2.8/code 'COPTIMIZE=-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' 'LFLAGS=-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 -lz' make: Entering directory '/builddir/build/BUILD/glueminisat-2.2.8/code/core' Making dependencies Compiling: core/Solver.or Compiling: core/Main.or Compiling: utils/System.or Compiling: utils/Options.or BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Main.cc:28: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.begin); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.end); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "] (default: %"PRIi64")\n", value); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Main.cc:92:16: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c "GLUEMINISAT_VERSION"\n"); BUILDSTDERR: ^ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.h:27, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:25: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.begin); BUILDSTDERR: ^ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.cc:21: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.begin); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.end); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "] (default: %"PRIi64")\n", value); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.end); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "] (default: %"PRIi64")\n", value); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:549:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:549:46: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:549:75: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:549:87: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:549:104: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:550:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:550:46: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:551:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c decisions : %-12"PRIu64" (%4.2f%% random, %.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions / cpu_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:552:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c propagations : %-12"PRIu64" (%.0f /sec, %4.2f lits/dec)\n", propagations, propagations/cpu_time, (float)propagations / decisions); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:553:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c conflict literals : %-12"PRIu64" (%4.2f%% deleted, %4.2f%% by bin min, %.3f s)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals, (double)rm_lrn_lits*100 / (tot_literals + rm_lrn_lits), bin_min_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:555:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c reduce dbs : %-12d (%"PRIu64" learnts removed, %4.2f%%, %.3f s)\n", reduce_dbs, removed_learnts, removed_learnts * 100 / (double)conflicts, reduce_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:556:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:556:52: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:556:62: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:556:81: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:556:91: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:556:107: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:557:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c premise updates : %-12"PRIu64" (%4.2f /lit)\n", premise_updates, (double)premise_updates / simp_vars / 2); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:559:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:559:46: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:559:63: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:559:73: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:559:104: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:559:114: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:559:142: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:566:12: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c total %10"PRIu64" %10"PRIu64" %10"PRIu64"\n", BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:566:31: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c total %10"PRIu64" %10"PRIu64" %10"PRIu64"\n", BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:566:51: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c total %10"PRIu64" %10"PRIu64" %10"PRIu64"\n", BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:575:16: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c %2d %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%)\n", i, BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:575:36: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c %2d %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%)\n", i, BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:575:58: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c %2d %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%)\n", i, BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2792:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2792:57: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2792:86: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2792:98: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2792:115: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c restarts : %-12"PRIu64" (%.2f confs/res, %"PRIu64" ~ %"PRIu64" confs, %"PRIu64" blk, last %"PRIu64")\n", starts - 1, (double)conflicts / starts, min_confs, max_confs, blocked_restarts, last_blocked - 1); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2793:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2793:57: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2794:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c decisions : %-12"PRIu64" (%4.2f%% random, %.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions / cpu_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2795:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c propagations : %-12"PRIu64" (%.0f /sec, %4.2f lits/dec)\n", propagations, propagations/cpu_time, (float)propagations / decisions); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2796:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c conflict literals : %-12"PRIu64" (%4.2f%% deleted, %4.2f%% by bin min, %.3f s)\n", tot_literals, (max_literals - tot_literals)*100 / (double)max_literals, (double)rm_lrn_lits*100 / (tot_literals + rm_lrn_lits), bin_min_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2798:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c reduce dbs : %-12d (%"PRIu64" learnts removed, %4.2f%%, %.3f s)\n", reduce_dbs, removed_learnts, removed_learnts * 100 / (double)conflicts, reduce_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2799:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2799:63: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2799:73: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2799:92: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2799:102: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2799:118: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c rewrite dbs : %-12d (%"PRIu64"+%"PRIu64" rw-lits, %"PRIu64"+%"PRIu64" taut, %"PRIu64"+%"PRIu64" unit, %.3f s)\n", rewrite_dbs, rw_clause_lits, rw_learnt_lits, rw_taut_clauses, rw_taut_learnts, rw_unit_clauses, rw_unit_learnts, rewrite_time); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2800:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c premise updates : %-12"PRIu64" (%4.2f /lit)\n", premise_updates, (double)premise_updates / simp_vars / 2); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2802:20: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2802:57: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2802:74: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2802:84: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2802:115: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2802:125: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:2802:153: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c unwatched lit elim: %-12"PRIu64" (bin %"PRIu64"+%"PRIu64", %4.2f+%4.2f%%, lazy %"PRIu64"+%"PRIu64", %4.2f+%4.2f%% of %"PRIu64"+%"PRIu64")\n", bin_rm_uw_cla_lits + bin_rm_uw_lrn_lits + lazy_rm_uw_cla_lits + lazy_rm_uw_lrn_lits, bin_rm_uw_cla_lits, bin_rm_uw_lrn_lits, (double)bin_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)bin_rm_uw_lrn_lits * 100 / tot_literals, lazy_rm_uw_cla_lits, lazy_rm_uw_lrn_lits, (double)lazy_rm_uw_cla_lits * 100 / simp_clauses_literals, (double)lazy_rm_uw_lrn_lits * 100 / tot_literals, simp_clauses_literals, tot_literals); BUILDSTDERR: ^ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Sort.h:24, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:23: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h: In instantiation of 'void Glueminisat::vec::capacity(int) [with T = Glueminisat::Solver::EqLits]': BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:73:57: required from 'void Glueminisat::vec::push() [with T = Glueminisat::Solver::EqLits]' BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:345:18: required from here BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'struct Glueminisat::Solver::EqLits'; use 'new' and 'delete' instead [-Wclass-memaccess] BUILDSTDERR: if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) BUILDSTDERR: ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:25: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.h:360:12: note: 'struct Glueminisat::Solver::EqLits' declared here BUILDSTDERR: struct EqLits { BUILDSTDERR: ^~~~~~ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Sort.h:24, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:23: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h: In instantiation of 'void Glueminisat::vec::capacity(int) [with T = Glueminisat::vec]': BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:118:5: required from 'void Glueminisat::vec::growTo(int) [with T = Glueminisat::vec]' BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:292:39: required from 'void Glueminisat::OccLists::init(const Idx&) [with Idx = Glueminisat::Lit; Vec = Glueminisat::vec; Deleted = Glueminisat::Solver::WatcherDeleted]' BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:597:35: required from here BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glueminisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] BUILDSTDERR: if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) BUILDSTDERR: ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Sort.h:24, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:23: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:38:7: note: 'class Glueminisat::vec' declared here BUILDSTDERR: class vec { BUILDSTDERR: ^~~ Linking: glueminisat-core-release ( core/Solver.or core/Main.or utils/System.or utils/Options.or ) make: Leaving directory '/builddir/build/BUILD/glueminisat-2.2.8/code/core' + cp -p code/core/glueminisat-core-release glueminisat_core BUILDSTDERR: ++ pwd + make -j4 -C code/simp r MROOT=/builddir/build/BUILD/glueminisat-2.2.8/code 'COPTIMIZE=-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' 'LFLAGS=-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 -lz' make: Entering directory '/builddir/build/BUILD/glueminisat-2.2.8/code/simp' Making dependencies Depends on: core Compiling: simp/SimpSolver.or Compiling: simp/Main.or BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.h:27, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/SimpSolver.h:25, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/SimpSolver.cc:22: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.begin); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.end); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "] (default: %"PRIi64")\n", value); BUILDSTDERR: ^ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/Main.cc:29: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.begin); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "%4"PRIi64, range.end); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: fprintf(stderr, "] (default: %"PRIi64")\n", value); BUILDSTDERR: ^ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/simp/Main.cc:94:16: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] BUILDSTDERR: printf("c "GLUEMINISAT_VERSION"\n"); BUILDSTDERR: ^ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Sort.h:24, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/SimpSolver.cc:21: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h: In instantiation of 'void Glueminisat::vec::capacity(int) [with T = Glueminisat::vec]': BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:118:5: required from 'void Glueminisat::vec::growTo(int) [with T = Glueminisat::vec]' BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:292:39: required from 'void Glueminisat::OccLists::init(const Idx&) [with Idx = int; Vec = Glueminisat::vec; Deleted = Glueminisat::SimpSolver::ClauseDeleted]' BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/simp/SimpSolver.cc:85:26: required from here BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:102:55: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Glueminisat::vec'; use 'new' and 'delete' instead [-Wclass-memaccess] BUILDSTDERR: if (add > INT_MAX - cap || (((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)) BUILDSTDERR: ~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Sort.h:24, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/SimpSolver.cc:21: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/mtl/Vec.h:38:7: note: 'class Glueminisat::vec' declared here BUILDSTDERR: class vec { BUILDSTDERR: ^~~ Linking: glueminisat-simp-release ( simp/SimpSolver.or simp/Main.or utils/System.or utils/Options.or core/Solver.or ) make: Leaving directory '/builddir/build/BUILD/glueminisat-2.2.8/code/simp' + cp -p code/simp/glueminisat-simp-release glueminisat_simp + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.0n68rQ + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64 BUILDSTDERR: ++ dirname /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64 + cd glueminisat-2.2.8 + mkdir -p /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin + install -m 0755 glueminisat_core /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin/glueminisat_core + install -m 0755 glueminisat_simp /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin/glueminisat_simp + touch /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin/glueminisat + /usr/lib/rpm/find-debuginfo.sh -j4 --strict-build-id -m -i --build-id-seed 2.2.8-7.fc29 --unique-debug-suffix -2.2.8-7.fc29.riscv64 --unique-debug-src-base glueminisat-2.2.8-7.fc29.riscv64 --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/glueminisat-2.2.8 explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin/glueminisat_core explicitly decompress any DWARF compressed ELF sections in /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin/glueminisat_simp extracting debug info from /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin/glueminisat_simp extracting debug info from /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/bin/glueminisat_core /usr/lib/rpm/sepdebugcrcfix: Updated 2 CRC32s, 0 CRC32s did match. BUILDSTDERR: 574 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 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.CLJahG Processing files: glueminisat-2.2.8-7.fc29.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.MuDvEw + umask 022 + cd /builddir/build/BUILD + cd glueminisat-2.2.8 + DOCDIR=/builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat + cp -pr license.txt /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat + cp -pr readme.txt /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat + cp -pr glueminisat-intro.html /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat + cp -pr glueminisat-test.in /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat + cp -pr glueminisat-test-core.out /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat BUILDSTDERR: cp: cannot stat 'glueminisat-test-core.out': No such file or directory + : + cp -pr glueminisat-test-simp.out /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat BUILDSTDERR: cp: cannot stat 'glueminisat-test-simp.out': No such file or directory + : + exit 0 RPM build errors: BUILDSTDERR: error: File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat/glueminisat-test-core.out BUILDSTDERR: error: File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat/glueminisat-test-simp.out BUILDSTDERR: File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat/glueminisat-test-core.out BUILDSTDERR: File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-7.fc29.riscv64/usr/share/doc/glueminisat/glueminisat-test-simp.out Child return code was: 1 EXCEPTION: [Error()] Traceback (most recent call last): File "/usr/lib/python3.6/site-packages/mockbuild/trace_decorator.py", line 96, in trace result = func(*args, **kw) File "/usr/lib/python3.6/site-packages/mockbuild/util.py", line 626, in do raise exception.Error("Command failed: \n # %s\n%s" % (command, output), child.returncode) mockbuild.exception.Error: Command failed: # bash --login -c /usr/bin/rpmbuild -bb --target riscv64 --nodeps /builddir/build/SPECS/glueminisat.spec