+ exec + rm -rf /rpmbuild + mkdir -p /rpmbuild + su -c 'rpmbuild -ba /builddir/build/SPECS/glueminisat.spec --define "debug_package %{nil}" --undefine _annotated_build --define "_missing_doc_files_terminate_build %{nil}" --define "_emacs_sitestartdir /usr/share/emacs/site-lisp/site-start.d" --define "_emacs_sitelispdir /usr/share/emacs/site-lisp" --nocheck ' mockbuild Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.6KDQtp + 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):' 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.FUT7hU + umask 022 + cd /builddir/build/BUILD + cd glueminisat-2.2.8 ++ 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 ' '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 -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 In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.h:27:0, from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.cc:25: /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] fprintf(stderr, "%4"PRIi64, range.begin); ^ /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] fprintf(stderr, "%4"PRIi64, range.end); ^ /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] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/utils/Options.cc:21:0: /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] fprintf(stderr, "%4"PRIi64, range.begin); ^ /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] fprintf(stderr, "%4"PRIi64, range.end); ^ /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] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); ^ /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] printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); ^ /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] printf("c decisions : %-12"PRIu64" (%4.2f%% random, %.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions / cpu_time); ^ /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] printf("c propagations : %-12"PRIu64" (%.0f /sec, %4.2f lits/dec)\n", propagations, propagations/cpu_time, (float)propagations / decisions); ^ /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] 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); ^ /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] printf("c reduce dbs : %-12d (%"PRIu64" learnts removed, %4.2f%%, %.3f s)\n", reduce_dbs, removed_learnts, removed_learnts * 100 / (double)conflicts, reduce_time); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] printf("c premise updates : %-12"PRIu64" (%4.2f /lit)\n", premise_updates, (double)premise_updates / simp_vars / 2); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] printf("c total %10"PRIu64" %10"PRIu64" %10"PRIu64"\n", ^ /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] printf("c total %10"PRIu64" %10"PRIu64" %10"PRIu64"\n", ^ /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] printf("c total %10"PRIu64" %10"PRIu64" %10"PRIu64"\n", ^ /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] printf("c %2d %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%)\n", i, ^ /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] printf("c %2d %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%)\n", i, ^ /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] printf("c %2d %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%) %10"PRIu64" (%4.1f%%)\n", i, ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); ^ /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] printf("c conflicts : %-12"PRIu64" (%.0f /sec, %"PRIu64" blks, avg %.2f)\n", conflicts, conflicts / cpu_time, succ_confs.total(), succ_confs.avg()); ^ /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] printf("c decisions : %-12"PRIu64" (%4.2f%% random, %.0f /sec)\n", decisions, (float)rnd_decisions*100 / (float)decisions, decisions / cpu_time); ^ /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] printf("c propagations : %-12"PRIu64" (%.0f /sec, %4.2f lits/dec)\n", propagations, propagations/cpu_time, (float)propagations / decisions); ^ /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] 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); ^ /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] printf("c reduce dbs : %-12d (%"PRIu64" learnts removed, %4.2f%%, %.3f s)\n", reduce_dbs, removed_learnts, removed_learnts * 100 / (double)conflicts, reduce_time); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] printf("c premise updates : %-12"PRIu64" (%4.2f /lit)\n", premise_updates, (double)premise_updates / simp_vars / 2); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ /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] 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); ^ In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Main.cc:28:0: /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] fprintf(stderr, "%4"PRIi64, range.begin); ^ /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] fprintf(stderr, "%4"PRIi64, range.end); ^ /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] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ /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] printf("c "GLUEMINISAT_VERSION"\n"); ^ 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 ++ 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 ' '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 -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 In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/core/Solver.h:27:0, from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/SimpSolver.h:25, from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/SimpSolver.cc:22: /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] fprintf(stderr, "%4"PRIi64, range.begin); ^ /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] fprintf(stderr, "%4"PRIi64, range.end); ^ /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] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ In file included from /builddir/build/BUILD/glueminisat-2.2.8/code/simp/Main.cc:29:0: /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] fprintf(stderr, "%4"PRIi64, range.begin); ^ /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] fprintf(stderr, "%4"PRIi64, range.end); ^ /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] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ /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] printf("c "GLUEMINISAT_VERSION"\n"); ^ 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.c7dqRD + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64 ++ dirname /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64 + cd glueminisat-2.2.8 + mkdir -p /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/bin + install -m 0755 glueminisat_core /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/bin/glueminisat_core + install -m 0755 glueminisat_simp /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/bin/glueminisat_simp + touch /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/bin/glueminisat + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig /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 /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-mangle-shebangs Processing files: glueminisat-2.2.8-2.fc28.riscv64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.MWcfCB + umask 022 + cd /builddir/build/BUILD + cd glueminisat-2.2.8 + DOCDIR=/builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.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-2.fc28.riscv64/usr/share/doc/glueminisat + cp -pr license.txt /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat + cp -pr readme.txt /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat + cp -pr glueminisat-intro.html /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat + cp -pr glueminisat-test.in /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat + cp -pr glueminisat-test-core.out /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat 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-2.fc28.riscv64/usr/share/doc/glueminisat cp: cannot stat 'glueminisat-test-simp.out': No such file or directory + : + exit 0 error: File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat/glueminisat-test-core.out error: File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat/glueminisat-test-simp.out RPM build errors: File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat/glueminisat-test-core.out File not found: /builddir/build/BUILDROOT/glueminisat-2.2.8-2.fc28.riscv64/usr/share/doc/glueminisat/glueminisat-test-simp.out ++ cleanup ++ set +e ++ sync ++ sleep 5 ++ sync ++ poweroff Terminated +++ cleanup +++ set +e +++ sync Terminated ++++ cleanup ++++ set +e ++++ sync ++++ sleep 5 ++++ sync ++++ poweroff