+ case "${usergroup_phase}" in + local run_cmd + run_cmd=run_su + shift + run_su /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/otter-3.0.6/work.log + su pbulk -c '"$@"' make /opt/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/otter-3.0.6/work.log WARNING: [license.mk] Every package should define a LICENSE. ===> Building for otter-3.0.6 --- main.o --- --- av.o --- --- io.o --- --- share.o --- --- main.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c main.c --- av.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c av.c --- io.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c io.c --- share.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c share.c share.c: In function 'hash_term': share.c:53:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 53 | hashval ^= (int) r->argval; /* exclusive or */ | ^ --- av.o --- av.c: In function 'free_context': av.c:488:61: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 488 | printf("ERROR, context %x, var %d not null.\n", (unsigned) p->contexts[i], i); | ^ --- fpa.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c fpa.c fpa.c: In function 'print_fpa_tab': fpa.c:811:37: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 811 | fprintf(fp, "\nfpa index %d\n", (int) index); | ^ --- clocks.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c clocks.c --- unify.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c unify.c unify.c: In function 'print_subst': unify.c:468:64: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 468 | fprintf(fp, "Substitution in context %x, multiplier %d\n", (unsigned) c, c->multiplier); | ^ unify.c:474:40: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 474 | fprintf(fp, " context %x", (unsigned) c->contexts[i]); | ^ unify.c: In function 'print_trail': unify.c:505:45: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 505 | fprintf(fp, " <%d,%x>", t2->varnum, (unsigned) t2->context); | ^ --- demod.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c demod.c --- weight.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c weight.c --- imd.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c imd.c imd.c: In function 'print_imd_tree': imd.c:470:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 470 | fprintf(fp, "%x ", (unsigned) imd); | ^ --- is.o --- --- clause.o --- --- is.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c is.c --- clause.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c clause.c --- options.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c options.c --- is.o --- is.c: In function 'print_is_tree': is.c:472:57: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 472 | fprintf(fp, "don't know how to print is tree %x\n", (unsigned) is); | ^ --- clause.o --- clause.c: In function 'cl_int_chk': clause.c:314:45: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 314 | printf("checking clause, address:%x " , (unsigned) c); | ^ clause.c:318:66: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 318 | printf(" literal, address:%x sign:%d type:%d; atom:", (unsigned) lit, lit->sign, lit->atom->varnum); | ^ clause.c:320:55: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 320 | printf(" cont_cl:%x, atom container:%x\n", (unsigned) lit->container, (unsigned) lit->atom->occ.lit); | ^ clause.c:320:82: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast] 320 | printf(" cont_cl:%x, atom container:%x\n", (unsigned) lit->container, (unsigned) lit->atom->occ.lit); | ^ --- resolve.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c resolve.c --- index.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c index.c --- paramod.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c paramod.c --- formula.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c formula.c --- process.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c process.c --- misc.o --- gcc -pipe -O2 -msave-args -fno-aggressive-loop-optimizations -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE -c misc.c misc.c: In function 'read_all_input': misc.c:729:13: error: implicit declaration of function 'icgns_transform'; did you mean 'igcns_transform'? [-Wimplicit-function-declaration] 729 | icgns_transform(); /* this routine exits program */ | ^~~~~~~~~~~~~~~ | igcns_transform *** [misc.o] Error code 1 bmake: stopped making "otter" in /home/pbulk/build/math/otter/work/otter-3.0.6/source bmake: 1 error bmake: stopped making "otter" in /home/pbulk/build/math/otter/work/otter-3.0.6/source *** Error code 2 Stop. bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/otter *** Error code 1 Stop. bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-upstream-trunk/math/otter