=> Bootstrap dependency digest>=20211023: found digest-20211023
WARNING: [license.mk] Every package should define a LICENSE.
===> Skipping vulnerability checks.
WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> Building for otter-3.0.6
--- main.o ---
--- av.o ---
--- io.o ---
--- share.o ---
--- av.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c av.c
--- main.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c main.c
--- io.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c io.c
--- share.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c share.c
--- av.o ---
av.c: In function 'free_context':
av.c:488:54: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      printf("ERROR, context %x, var %d not null.\n", (unsigned) p->contexts[i], i);
                                                      ^
--- share.o ---
share.c: In function 'hash_term':
share.c:53:17: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      hashval ^= (int) r->argval; /* exclusive or */
                 ^
--- fpa.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -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]
     fprintf(fp, "\nfpa index %d\n", (int) index);
                                     ^
--- clocks.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c clocks.c
--- unify.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c unify.c
--- demod.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c demod.c
--- unify.o ---
unify.c: In function 'print_subst':
unify.c:468:64: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     fprintf(fp, "Substitution in context %x, multiplier %d\n", (unsigned) c, c->multiplier);
                                                                ^
unify.c:474:33: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
      fprintf(fp, " context %x", (unsigned) c->contexts[i]);
                                 ^
unify.c: In function 'print_trail':
unify.c:505:38: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  fprintf(fp, " <%d,%x>", t2->varnum, (unsigned) t2->context);
                                      ^
--- weight.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c weight.c
--- imd.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -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]
     fprintf(fp, "%x ", (unsigned) imd);
                        ^
--- is.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c is.c
--- clause.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c clause.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]
     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]
     printf("checking clause, address:%x " , (unsigned) c);
                                             ^
clause.c:318:59: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  printf("    literal, address:%x sign:%d type:%d; atom:", (unsigned) lit, lit->sign, lit->atom->varnum);
                                                           ^
clause.c:320:48: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  printf("    cont_cl:%x, atom container:%x\n", (unsigned) lit->container, (unsigned) lit->atom->occ.lit);
                                                ^
clause.c:320:75: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  printf("    cont_cl:%x, atom container:%x\n", (unsigned) lit->container, (unsigned) lit->atom->occ.lit);
                                                                           ^
--- options.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c options.c
--- resolve.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c resolve.c
--- index.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c index.c
--- paramod.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c paramod.c
--- formula.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c formula.c
--- process.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c process.c
--- misc.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c misc.c
misc.c: In function 'read_all_input':
misc.c:729:6: warning: implicit declaration of function 'icgns_transform'; did you mean 'igcns_transform'? [-Wimplicit-function-declaration]
      icgns_transform();  /* this routine exits program */
      ^~~~~~~~~~~~~~~
      igcns_transform
--- lrpo.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c lrpo.c
--- linkur.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c linkur.c
linkur.c: In function 'linked_ur_res':
linkur.c:879:60: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
       printf("ERROR: moved forward to %x first = FALSE\n", (unsigned) lnp);
                                                            ^
linkur.c:944:4: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
    (unsigned) curr_node, (unsigned) target, open_lit_count, res_count);
    ^
linkur.c:944:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
    (unsigned) curr_node, (unsigned) target, open_lit_count, res_count);
                          ^
linkur.c:994:3: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
   (unsigned) curr_node, (unsigned) target, open_lit_count);
   ^
linkur.c:994:25: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
   (unsigned) curr_node, (unsigned) target, open_lit_count);
                         ^
linkur.c: In function 'linked_print_clause':
linkur.c:1818:24: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     printf("at %x >>", (unsigned) cp);
                        ^
linkur.c: In function 'linked_print_link_node':
linkur.c:1878:45: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     printf("-----start node at %x------\n", (unsigned) lnp);
                                             ^
linkur.c:1882:2: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  (unsigned) lnp->parent, (unsigned) lnp->prev_sibling, (unsigned) lnp->next_sibling, (unsigned) lnp->first_child);
  ^
linkur.c:1882:26: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  (unsigned) lnp->parent, (unsigned) lnp->prev_sibling, (unsigned) lnp->next_sibling, (unsigned) lnp->first_child);
                          ^
linkur.c:1882:56: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  (unsigned) lnp->parent, (unsigned) lnp->prev_sibling, (unsigned) lnp->next_sibling, (unsigned) lnp->first_child);
                                                        ^
linkur.c:1882:86: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  (unsigned) lnp->parent, (unsigned) lnp->prev_sibling, (unsigned) lnp->next_sibling, (unsigned) lnp->first_child);
                                                                                      ^
linkur.c:1930:2: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  (unsigned) lnp->subst, (lnp->subst)->multiplier, (unsigned) lnp->tr, (unsigned) lnp->unif_position);
  ^
linkur.c:1930:51: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  (unsigned) lnp->subst, (lnp->subst)->multiplier, (unsigned) lnp->tr, (unsigned) lnp->unif_position);
                                                   ^
linkur.c:1930:71: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
  (unsigned) lnp->subst, (lnp->subst)->multiplier, (unsigned) lnp->tr, (unsigned) lnp->unif_position);
                                                                       ^
linkur.c:1933:43: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     printf("-----end node at %x------\n", (unsigned) lnp);
                                           ^
--- linkhyp.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c linkhyp.c
--- foreign.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c foreign.c
--- geometry.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c geometry.c
--- hot.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c hot.c
--- nonport.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c nonport.c
--- dp_util.o ---
--- check.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c check.c
--- dp_util.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c dp_util.c
dp_util.c: In function 'sym_lessthan':
dp_util.c:795:5: warning: type of 'n1' defaults to 'int' [-Wimplicit-int]
 int sym_lessthan(n1, n2)
     ^~~~~~~~~~~~
dp_util.c:795:5: warning: type of 'n2' defaults to 'int' [-Wimplicit-int]
--- hints.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c hints.c
--- attrib.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c attrib.c
--- case.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c case.c
--- prune.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c prune.c
--- lisp.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c lisp.c
lisp.c: In function 'new_str_copy':
lisp.c:14:22: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration]
   char *p = (void *) malloc((size_t) strlen(str)+1);
                      ^~~~~~
lisp.c:14:22: warning: incompatible implicit declaration of built-in function 'malloc'
lisp.c:14:22: note: include '<stdlib.h>' or provide a declaration of 'malloc'
lisp.c: In function 'get_bnode':
lisp.c:23:22: warning: incompatible implicit declaration of built-in function 'malloc'
   Bnode p = (void *) malloc((size_t) sizeof(struct bnode));
                      ^~~~~~
lisp.c:23:22: note: include '<stdlib.h>' or provide a declaration of 'malloc'
lisp.c: In function 'free_bnode':
lisp.c:38:5: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration]
     free(p->label);
     ^~~~
lisp.c:38:5: warning: incompatible implicit declaration of built-in function 'free'
lisp.c:38:5: note: include '<stdlib.h>' or provide a declaration of 'free'
lisp.c:39:3: warning: incompatible implicit declaration of built-in function 'free'
   free(p);
   ^~~~
lisp.c:39:3: note: include '<stdlib.h>' or provide a declaration of 'free'
lisp.c: In function 'fill_word':
lisp.c:131:2: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration]
  exit(2);
  ^~~~
lisp.c:131:2: warning: incompatible implicit declaration of built-in function 'exit'
lisp.c:131:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
lisp.c: In function 'dot_trans':
lisp.c:174:2: warning: incompatible implicit declaration of built-in function 'exit'
  exit(2);
  ^~~~
lisp.c:174:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
--- ivy.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE   -c ivy.c
--- otter ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -DTP_NAMES -DTP_SIGNAL -DTP_FORK -DTP_RUSAGE main.o av.o io.o share.o fpa.o clocks.o unify.o demod.o weight.o imd.o is.o clause.o options.o resolve.o index.o paramod.o formula.o process.o misc.o lrpo.o linkur.o linkhyp.o foreign.o geometry.o hot.o nonport.o dp_util.o check.o hints.o attrib.o case.o prune.o lisp.o ivy.o -o otter