=> Bootstrap dependency digest>=20010302: found digest-20160304 ===> Building for minisat-2.2.0 Making dependencies In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:29: /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.begin); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.end); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:42:39: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("restarts : %"PRIu64"\n", solver.starts); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:43:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("conflicts : %-12"PRIu64" (%.0f /sec)\n", solver.conflicts , solver.conflicts /cpu_time); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:44:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("decisions : %-12"PRIu64" (%4.2f %% random) (%.0f /sec)\n", solver.decisions, (float)solver.rnd_decisions*100 / (float)solver.decisions, solver.decisions /cpu_time); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:45:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("propagations : %-12"PRIu64" (%.0f /sec)\n", solver.propagations, solver.propagations/cpu_time); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:46:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("conflict literals : %-12"PRIu64" (%4.2f %% deleted)\n", solver.tot_literals, (solver.max_literals - solver.tot_literals)*100 / (double)solver.max_literals); ^ 8 errors generated. In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc:22: In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.h:25: In file included from /var/pkgsrc/work/math/minisat/work/minisat/core/Solver.h:27: /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.begin); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.end); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ 3 errors generated. Compiling: simp/Main.o Compiling: simp/SimpSolver.o Compiling: utils/Options.o In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc:21: In file included from /var/pkgsrc/work/math/minisat/work/minisat/mtl/Sort.h:24: /var/pkgsrc/work/math/minisat/work/minisat/mtl/Vec.h:99:97: warning: '&&' within '||' [-Wlogical-op-parentheses] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ /var/pkgsrc/work/math/minisat/work/minisat/mtl/Vec.h:99:97: note: place parentheses around the '&&' expression to silence this warning if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ In file included from /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.cc:20: In file included from /var/pkgsrc/work/math/minisat/work/minisat/mtl/Sort.h:24: /var/pkgsrc/work/math/minisat/work/minisat/mtl/Vec.h:99:97: warning: '&&' within '||' [-Wlogical-op-parentheses] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ /var/pkgsrc/work/math/minisat/work/minisat/mtl/Vec.h:99:97: note: place parentheses around the '&&' expression to silence this warning if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:29: In file included from /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:29: /var/pkgsrc/work/math/minisat/work/minisat/mtl/Vec.h:99:97: warning: '&&' within '||' [-Wlogical-op-parentheses] if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ /var/pkgsrc/work/math/minisat/work/minisat/mtl/Vec.h:99:97: note: place parentheses around the '&&' expression to silence this warning if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~ In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc:22: In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.h:25: In file included from /var/pkgsrc/work/math/minisat/work/minisat/core/Solver.h:27: /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:63:44: warning: '&&' within '||' [-Wlogical-op-parentheses] return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ~~ ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:63:44: note: place parentheses around the '&&' expression to silence this warning return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ^ ( ) In file included from /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:29: /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:63:44: warning: '&&' within '||' [-Wlogical-op-parentheses] return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ~~ ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:63:44: note: place parentheses around the '&&' expression to silence this warning return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ^ ( ) /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.begin); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.end); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.begin); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.end); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:42:39: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("restarts : %"PRIu64"\n", solver.starts); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:43:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("conflicts : %-12"PRIu64" (%.0f /sec)\n", solver.conflicts , solver.conflicts /cpu_time); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:44:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("decisions : %-12"PRIu64" (%4.2f %% random) (%.0f /sec)\n", solver.decisions, (float)solver.rnd_decisions*100 / (float)solver.decisions, solver.decisions /cpu_time); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:45:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("propagations : %-12"PRIu64" (%.0f /sec)\n", solver.propagations, solver.propagations/cpu_time); ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/Main.cc:46:42: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] printf("conflict literals : %-12"PRIu64" (%4.2f %% deleted)\n", solver.tot_literals, (solver.max_literals - solver.tot_literals)*100 / (double)solver.max_literals); ^ 2 warnings and 8 errors generated. /var/pkgsrc/work/math/minisat/work/minisat/mtl/template.mk:71: recipe for target '/var/pkgsrc/work/math/minisat/work/minisat/simp/Main.o' failed /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc:232:21: warning: add explicit braces to avoid dangling else [-Wdangling-else] In file included from /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.cc:21: /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:63:44: warning: '&&' within '||' [-Wlogical-op-parentheses] return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ~~ ~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:63:44: note: place parentheses around the '&&' expression to silence this warning return test1 < 0 || test1 == 0 && strcmp(x->type_name, y->type_name) < 0; ^ ( ) /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:285:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.begin); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:291:33: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "%4"PRIi64, range.end); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.h:293:40: error: invalid suffix on literal; C++11 requires a space between literal and identifier [-Wreserved-user-defined-literal] fprintf(stderr, "] (default: %"PRIi64")\n", value); ^ /var/pkgsrc/work/math/minisat/work/minisat/utils/Options.cc:48:17: warning: add explicit braces to avoid dangling else [-Wdangling-else] else ^ 3 warnings and 3 errors generated. gmake: *** [/var/pkgsrc/work/math/minisat/work/minisat/simp/Main.o] Error 1 gmake: *** Waiting for unfinished jobs.... /var/pkgsrc/work/math/minisat/work/minisat/mtl/template.mk:71: recipe for target '/var/pkgsrc/work/math/minisat/work/minisat/utils/Options.o' failed gmake: *** [/var/pkgsrc/work/math/minisat/work/minisat/utils/Options.o] Error 1 else ^ /var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.cc:266:21: warning: add explicit braces to avoid dangling else [-Wdangling-else] else ^ 4 warnings and 3 errors generated. /var/pkgsrc/work/math/minisat/work/minisat/mtl/template.mk:71: recipe for target '/var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.o' failed gmake: *** [/var/pkgsrc/work/math/minisat/work/minisat/simp/SimpSolver.o] Error 1 *** Error code 2 Stop. bmake[1]: stopped in /usr/pkgsrc/math/minisat *** Error code 1 Stop. bmake: stopped in /usr/pkgsrc/math/minisat