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/f31-build-55922-28151/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', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}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', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1531440000 Wrote: /builddir/build/SRPMS/glueminisat-2.2.8-7.fc31.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/f31-build-55922-28151/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', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'}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', 'http_proxy': 'http://192.168.0.254:3128', 'https_proxy': 'http://192.168.0.254:3128'} and shell False Building target platforms: riscv64 Building for target riscv64 setting SOURCE_DATE_EPOCH=1531440000 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.j0BtNF + 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 . + echo 'Patch #0 (glueminisat-FPU.patch):' + /usr/bin/patch --no-backup-if-mismatch -p1 -b --suffix .orig --fuzz=0 + cp -p /builddir/build/SOURCES/glueminisat-test.in . + cp -p /builddir/build/SOURCES/glueminisat-intro.html . + RPM_EC=0 BUILDSTDERR: ++ jobs -p + exit 0 Patch #0 (glueminisat-FPU.patch): patching file code/core/Main.cc patching file code/simp/Main.cc Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.c5bZVH + 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' 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: 285 | 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: 291 | 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: 293 | 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: 92 | 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: 285 | 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: 291 | 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: 293 | 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: 549 | 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: 549 | 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: 549 | 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: 549 | 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: 549 | 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: 550 | 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: 550 | 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: 551 | 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: 552 | 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: 553 | 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: 555 | 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: 556 | 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: 556 | 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: 556 | 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: 556 | 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: 556 | 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: 556 | 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: 557 | 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: 559 | 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: 559 | 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: 559 | 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: 559 | 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: 559 | 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: 559 | 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: 559 | 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: 566 | 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: 566 | 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: 566 | 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: 575 | 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: 575 | 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: 575 | 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: 2792 | 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: 2792 | 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: 2792 | 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: 2792 | 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: 2792 | 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: 2793 | 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: 2793 | 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: 2794 | 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: 2795 | 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: 2796 | 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: 2798 | 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: 2799 | 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: 2799 | 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: 2799 | 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: 2799 | 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: 2799 | 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: 2799 | 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: 2800 | 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: 2802 | 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: 2802 | 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: 2802 | 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: 2802 | 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: 2802 | 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: 2802 | 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: 2802 | 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/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: 285 | 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: 291 | 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: 293 | fprintf(stderr, "] (default: %"PRIi64")\n", value); BUILDSTDERR: | ^ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.h:28, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:25: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:50:16: error: friend declaration of 'Glueminisat::Lit mkLit(Glueminisat::Var, bool)' specifies default arguments and isn't a definition [-fpermissive] BUILDSTDERR: 50 | friend Lit mkLit(Var var, bool sign = false); BUILDSTDERR: | ^~~~~ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:58:14: error: friend declaration of 'Glueminisat::Lit Glueminisat::mkLit(Glueminisat::Var, bool)' specifies default arguments and isn't the only declaration [-fpermissive] BUILDSTDERR: 58 | inline Lit mkLit (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; } BUILDSTDERR: | ^~~~~ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:50:16: note: previous declaration of 'Glueminisat::Lit Glueminisat::mkLit(Glueminisat::Var, bool)' BUILDSTDERR: 50 | friend Lit mkLit(Var var, bool sign = false); BUILDSTDERR: | ^~~~~ BUILDSTDERR: In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Dimacs.h:27, BUILDSTDERR: from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Main.cc:29: BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:50:16: error: friend declaration of 'Glueminisat::Lit mkLit(Glueminisat::Var, bool)' specifies default arguments and isn't a definition [-fpermissive] BUILDSTDERR: 50 | friend Lit mkLit(Var var, bool sign = false); BUILDSTDERR: | ^~~~~ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:58:14: error: friend declaration of 'Glueminisat::Lit Glueminisat::mkLit(Glueminisat::Var, bool)' specifies default arguments and isn't the only declaration [-fpermissive] BUILDSTDERR: 58 | inline Lit mkLit (Var var, bool sign) { Lit p; p.x = var + var + (int)sign; return p; } BUILDSTDERR: | ^~~~~ BUILDSTDERR: /builddir/build/BUILD/glueminisat-2.2.8/code/core/SolverTypes.h:50:16: note: previous declaration of 'Glueminisat::Lit Glueminisat::mkLit(Glueminisat::Var, bool)' BUILDSTDERR: 50 | friend Lit mkLit(Var var, bool sign = false); BUILDSTDERR: | ^~~~~ BUILDSTDERR: make: *** [/builddir/build/BUILD/glueminisat-2.2.8/code/mtl/template.mk:71: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Main.or] Error 1 BUILDSTDERR: make: *** Waiting for unfinished jobs.... 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: 102 | 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: 360 | 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: 102 | 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: 38 | class vec { BUILDSTDERR: | ^~~ BUILDSTDERR: make: *** [/builddir/build/BUILD/glueminisat-2.2.8/code/mtl/template.mk:71: /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.or] Error 1 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 make: Leaving directory '/builddir/build/BUILD/glueminisat-2.2.8/code/core' RPM build errors: BUILDSTDERR: error: Bad exit status from /var/tmp/rpm-tmp.c5bZVH (%build) BUILDSTDERR: Bad exit status from /var/tmp/rpm-tmp.c5bZVH (%build) 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