=> 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 cu-prolog-3.94
--- main.o ---
--- jpsgsub.o ---
--- mainsub.o ---
--- modular.o ---
--- jpsgsub.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c jpsgsub.c
--- main.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c main.c
--- mainsub.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c mainsub.c
--- modular.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c modular.c
--- jpsgsub.o ---
In file included from jpsgsub.c:15:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from jpsgsub.c:15:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
--- main.o ---
In file included from main.c:31:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from main.c:31:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
--- mainsub.o ---
In file included from mainsub.c:20:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from mainsub.c:20:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
--- modular.o ---
In file included from modular.c:16:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from modular.c:16:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
--- jpsgsub.o ---
jpsgsub.c: In function 'init_category':
jpsgsub.c:51:2: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
  strcpy(catname[0],"POS");cattype[0] = Normal;
  ^~~~~~
jpsgsub.c:51:2: warning: incompatible implicit declaration of built-in function 'strcpy'
jpsgsub.c:51:2: note: include '<string.h>' or provide a declaration of 'strcpy'
jpsgsub.c: In function 'list_to_cat':
jpsgsub.c:70:3: warning: incompatible implicit declaration of built-in function 'strcpy'
   strcpy(catname[i],vname(head_of_list(t)));
   ^~~~~~
jpsgsub.c:70:3: note: include '<string.h>' or provide a declaration of 'strcpy'
--- mainsub.o ---
mainsub.c: In function 'decode_pname':
mainsub.c:63:11: warning: implicit declaration of function 'atoi'; did you mean 'CtoL'? [-Wimplicit-function-declaration]
    return(atoi(fname + 1));
           ^~~~
           CtoL
mainsub.c: In function 'spyswitch':
mainsub.c:74:9: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
     if (strcmp (fname, "*") == 0) {
         ^~~~~~
--- main.o ---
main.c: In function 'decode_args':
main.c:71:9: warning: implicit declaration of function 'atoi'; did you mean 'CtoL'? [-Wimplicit-function-declaration]
  size = atoi(arg+2)*1000;
         ^~~~
         CtoL
--- modular.o ---
modular.c: In function 'tepairtype':
--- main.o ---
main.c: In function 'system_heap_alloc':
main.c:230:31: warning: implicit declaration of function 'malloc' [-Wimplicit-function-declaration]
     if (NULL == (sheap=(int *)malloc(SHEAP_SIZE+1)))
                               ^~~~~~
main.c:230:31: warning: incompatible implicit declaration of built-in function 'malloc'
main.c:230:31: note: include '<stdlib.h>' or provide a declaration of 'malloc'
main.c:233:2: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration]
  exit(0);
  ^~~~
main.c:233:2: warning: incompatible implicit declaration of built-in function 'exit'
main.c:233:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
main.c: In function 'user_heap_alloc':
main.c:241:30: warning: incompatible implicit declaration of built-in function 'malloc'
     if (NULL == (heap=(int *)malloc(HEAP_SIZE+1)))
                              ^~~~~~
main.c:241:30: note: include '<stdlib.h>' or provide a declaration of 'malloc'
--- modular.o ---
modular.c:379:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     return(((int)t + (int)e) % UHASHSIZE);
             ^
modular.c:379:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     return(((int)t + (int)e) % UHASHSIZE);
                      ^
--- main.o ---
main.c:244:2: warning: incompatible implicit declaration of built-in function 'exit'
  exit(0);
  ^~~~
main.c:244:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
main.c: In function 'cstr_heap_alloc':
main.c:252:31: warning: incompatible implicit declaration of built-in function 'malloc'
     if (NULL == (cheap=(int *)malloc(CHEAP_SIZE+1)))
                               ^~~~~~
main.c:252:31: note: include '<stdlib.h>' or provide a declaration of 'malloc'
main.c:255:2: warning: incompatible implicit declaration of built-in function 'exit'
  exit(0);
  ^~~~
main.c:255:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
main.c: In function 'env_heap_alloc':
main.c:263:41: warning: incompatible implicit declaration of built-in function 'malloc'
     if (NULL == (eheap = (struct pair *)malloc(ESP_SIZE+1)))
                                         ^~~~~~
main.c:263:41: note: include '<stdlib.h>' or provide a declaration of 'malloc'
main.c:266:2: warning: incompatible implicit declaration of built-in function 'exit'
  exit(0);
  ^~~~
main.c:266:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
main.c: In function 'ustack_alloc':
main.c:274:44: warning: incompatible implicit declaration of built-in function 'malloc'
     if (NULL == (ustack = (struct ustack *)malloc(USTACK_SIZE+1)))
                                            ^~~~~~
main.c:274:44: note: include '<stdlib.h>' or provide a declaration of 'malloc'
main.c:277:2: warning: incompatible implicit declaration of built-in function 'exit'
  exit(0);
  ^~~~
main.c:277:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
main.c: In function 'name_heap_alloc':
main.c:285:34: warning: incompatible implicit declaration of built-in function 'malloc'
     if (NULL == (nheap = (char *)malloc(NAME_SIZE+1)))
                                  ^~~~~~
main.c:285:34: note: include '<stdlib.h>' or provide a declaration of 'malloc'
--- modular.o ---
In file included from modular.c:16:0:
modular.c: In function 'push_log':
include.h:479:33: warning: implicit declaration of function 'challoc'; did you mean 'nalloc'? [-Wimplicit-function-declaration]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                                 ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
modular.c:414:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(u,up_log,TEMPORAL);
  ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
modular.c:414:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(u,up_log,TEMPORAL);
  ^~~~~~~~~~~~
--- main.o ---
main.c:288:2: warning: incompatible implicit declaration of built-in function 'exit'
  exit(0);
  ^~~~
main.c:288:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
main.c: In function 'heap_realloc':
main.c:309:5: warning: implicit declaration of function 'free' [-Wimplicit-function-declaration]
     free(heap);   HEAP_SIZE *= 1.2;
     ^~~~
main.c:309:5: warning: incompatible implicit declaration of built-in function 'free'
main.c:309:5: note: include '<stdlib.h>' or provide a declaration of 'free'
--- modular.o ---
modular.c: In function 'push_pstlog':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
modular.c:441:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(u,up_log,TEMPORAL);
  ^~~~~~~~~~~~
--- main.o ---
main.c: In function 'prepare':
main.c:337:15: warning: implicit declaration of function 'isatty'; did you mean 'isatom'? [-Wimplicit-function-declaration]
         tty = isatty(0);
               ^~~~~~
               isatom
--- mainsub.o ---
mainsub.c: In function 'loghandle':
mainsub.c:337:2: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
  strcpy (logfile, "no");
  ^~~~~~
mainsub.c:337:2: warning: incompatible implicit declaration of built-in function 'strcpy'
mainsub.c:337:2: note: include '<string.h>' or provide a declaration of 'strcpy'
--- modular.o ---
modular.c: In function 'up_pst':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
modular.c:565:3: note: in expansion of macro 'MEMORY_ALLOC'
   MEMORY_ALLOC(nt,pst,flag);
   ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
modular.c:568:3: note: in expansion of macro 'MEMORY_ALLOC'
   MEMORY_ALLOC(pv,pstvar,flag);
   ^~~~~~~~~~~~
--- mainsub.o ---
mainsub.c:354:3: warning: incompatible implicit declaration of built-in function 'strcpy'
   strcpy (logfile, fname);
   ^~~~~~
mainsub.c:354:3: note: include '<string.h>' or provide a declaration of 'strcpy'
--- main.o ---
main.c: In function 'garbagecollect':
main.c:550:2: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
  strcpy(nbuf, "TEMPF.###");  /* temporary file */
  ^~~~~~
main.c:550:2: warning: incompatible implicit declaration of built-in function 'strcpy'
main.c:550:2: note: include '<string.h>' or provide a declaration of 'strcpy'
main.c: In function 'edit_predicate':
main.c:563:2: warning: incompatible implicit declaration of built-in function 'strcpy'
  strcpy(nbuf, "TEMPF.prd");  /* temporary file */
  ^~~~~~
main.c:563:2: note: include '<string.h>' or provide a declaration of 'strcpy'
main.c:564:2: warning: implicit declaration of function 'system'; did you mean 'issystem'? [-Wimplicit-function-declaration]
  system("rm -f TEMPF.prd");        /* delete old temp file */
  ^~~~~~
  issystem
--- modular.o ---
modular.c: In function 'try_fold':
modular.c:726:11: warning: implicit declaration of function 'literalnumber'; did you mean 'termnumber'? [-Wimplicit-function-declaration]
   count = literalnumber(c);  /* number of terms in c */
           ^~~~~~~~~~~~~
           termnumber
modular.c:732:9: warning: implicit declaration of function 'match'; did you mean 'attach'? [-Wimplicit-function-declaration]
     if (match(c, it->it_clause->c_link, e) == FALSE)
         ^~~~~
         attach
In file included from modular.c:16:0:
modular.c: In function 'match_term':
include.h:185:23: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
     (is_string(t) && (strcmp(str_value(t),str_value(u)) == 0)) ||\
                       ^
modular.c:804:20: note: in expansion of macro 'atomic_equal'
    if ((t1==t2) ||(atomic_equal(t1,t2))) return(TRUE);
                    ^~~~~~~~~~~~
--- mainsub.o ---
In file included from mainsub.c:20:0:
mainsub.c: In function 'calc_component':
include.h:479:33: warning: implicit declaration of function 'challoc'; did you mean 'nalloc'? [-Wimplicit-function-declaration]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                                 ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
mainsub.c:650:4: note: in expansion of macro 'MEMORY_ALLOC'
    MEMORY_ALLOC(fl,funclist,TEMPORAL);
    ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
mainsub.c:650:4: note: in expansion of macro 'MEMORY_ALLOC'
    MEMORY_ALLOC(fl,funclist,TEMPORAL);
    ^~~~~~~~~~~~
--- main.o ---
main.c: In function 'defnewfunc':
main.c:801:20: warning: implicit declaration of function 'literalnumber'; did you mean 'signalnumber'? [-Wimplicit-function-declaration]
   it->it_cnumber = literalnumber(c);
                    ^~~~~~~~~~~~~
                    signalnumber
--- mainsub.o ---
mainsub.c: In function 'recalc_component':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
mainsub.c:694:4: note: in expansion of macro 'MEMORY_ALLOC'
    MEMORY_ALLOC(fl,funclist,TEMPORAL);
    ^~~~~~~~~~~~
mainsub.c: In function 'add_label':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
mainsub.c:894:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(nc,component,flag);
  ^~~~~~~~~~~~
mainsub.c: In function 'copy_component':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
mainsub.c:909:5: note: in expansion of macro 'MEMORY_ALLOC'
     MEMORY_ALLOC(nc,component,flag);
     ^~~~~~~~~~~~
mainsub.c: In function 'merge_component':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
mainsub.c:944:7: note: in expansion of macro 'MEMORY_ALLOC'
       MEMORY_ALLOC(nc,component,flag);
       ^~~~~~~~~~~~
mainsub.c: In function 'oscommand':
mainsub.c:973:9: warning: implicit declaration of function 'system'; did you mean 'issystem'? [-Wimplicit-function-declaration]
     if (system (nbuf) != 0)
         ^~~~~~
         issystem
mainsub.c: In function 'quit_prolog':
mainsub.c:999:6: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration]
      exit (1);   /* end */
      ^~~~
mainsub.c:999:6: warning: incompatible implicit declaration of built-in function 'exit'
mainsub.c:999:6: note: include '<stdlib.h>' or provide a declaration of 'exit'
--- new.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c new.c
In file included from new.c:20:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from new.c:20:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
new.c: In function 'nalloc':
new.c:176:7: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration]
   q = strlen(n)+1;
       ^~~~~~
new.c:176:7: warning: incompatible implicit declaration of built-in function 'strlen'
new.c:176:7: note: include '<string.h>' or provide a declaration of 'strlen'
new.c:185:2: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
  strcpy(p,n);
  ^~~~~~
new.c:185:2: warning: incompatible implicit declaration of built-in function 'strcpy'
new.c:185:2: note: include '<string.h>' or provide a declaration of 'strcpy'
In file included from new.c:20:0:
new.c: In function 'varsearch':
include.h:57:42: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
 #define streq(p,q)      (*(p) == *(q) && strcmp(p,q) == 0)
                                          ^
new.c:457:9: note: in expansion of macro 'streq'
     if (streq(varname, vname(v))) {
         ^~~~~
--- print.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c print.c
--- read.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c read.c
--- print.o ---
In file included from print.c:16:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from print.c:16:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
In file included from print.c:16:0:
print.c: In function 'Pvar':
include.h:57:42: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
 #define streq(p,q)      (*(p) == *(q) && strcmp(p,q) == 0)
                                          ^
print.c:279:15: note: in expansion of macro 'streq'
      else if (streq(vname(t),"_")) tprint1("_%u",n)
               ^~~~~
print.c: In function 'Ppst_content':
print.c:456:6: warning: type of 'd' defaults to 'int' [-Wimplicit-int]
 void Ppst_content(ptt,d) /* {l1/v1,l2/v2,...} temporal PST*/
      ^~~~~~~~~~~~
print.c: In function 'Ppst_content2':
print.c:470:6: warning: type of 'd' defaults to 'int' [-Wimplicit-int]
 void Ppst_content2(ptt,env,d) /* {l1/v1,l2/v2,...} static PST with env */
      ^~~~~~~~~~~~~
In file included from print.c:16:0:
print.c: In function 'addpst':
include.h:479:33: warning: implicit declaration of function 'challoc'; did you mean 'nalloc'? [-Wimplicit-function-declaration]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                                 ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
print.c:723:3: note: in expansion of macro 'MEMORY_ALLOC'
   MEMORY_ALLOC(ppnew,pstprint,TEMPORAL);
   ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
print.c:723:3: note: in expansion of macro 'MEMORY_ALLOC'
   MEMORY_ALLOC(ppnew,pstprint,TEMPORAL);
   ^~~~~~~~~~~~
--- read.o ---
In file included from read.c:16:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from read.c:16:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
In file included from read.c:16:0:
read.c: In function 'Rterm_half':
include.h:57:42: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
 #define streq(p,q)      (*(p) == *(q) && strcmp(p,q) == 0)
                                          ^
read.c:516:11: note: in expansion of macro 'streq'
       if (streq(nbuf, "_")) return(Anonymous_var);
           ^~~~~
read.c:527:20: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
       return(Nfile((FILE *)pt));
                    ^
read.c:530:7: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
       strcpy(tempname,nbuf); /* tempname <- nbuf */
       ^~~~~~
read.c:530:7: warning: incompatible implicit declaration of built-in function 'strcpy'
read.c:530:7: note: include '<string.h>' or provide a declaration of 'strcpy'
--- refute.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c refute.c
In file included from refute.c:15:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from refute.c:15:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
refute.c: In function 'extend':
refute.c:120:7: warning: implicit declaration of function 'system_pred'; did you mean 'substr_pred'? [-Wimplicit-function-declaration]
   if (system_pred(sliteral, env, n, m, status) == SYSFAIL)
       ^~~~~~~~~~~
       substr_pred
refute.c:128:6: warning: implicit declaration of function 'resolve'; did you mean 'remove'? [-Wimplicit-function-declaration]
  if (resolve(n, m, sliteral, env) == FALSE)
      ^~~~~~~
      remove
--- unify.o ---
--- refute.o ---
refute.c: In function 'Pbinding':
refute.c:339:7: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
  if ((strcmp(vname(vlist),"_") == 0) ||
       ^~~~~~
--- unify.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c unify.c
In file included from unify.c:17:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from unify.c:17:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
In file included from unify.c:17:0:
unify.c: In function 'unify':
include.h:185:23: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
     (is_string(t) && (strcmp(str_value(t),str_value(u)) == 0)) ||\
                       ^
unify.c:211:21: note: in expansion of macro 'atomic_equal'
      if ((t==u) || (atomic_equal(u,t))) return(TRUE);
                     ^~~~~~~~~~~~
--- defsysp.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c defsysp.c
--- syspred1.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c syspred1.c
--- defsysp.o ---
In file included from defsysp.c:20:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from defsysp.c:20:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
In file included from defsysp.c:20:0:
defsysp.c: In function 'init_froles':
include.h:479:33: warning: implicit declaration of function 'challoc'; did you mean 'nalloc'? [-Wimplicit-function-declaration]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                                 ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
defsysp.c:256:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(NOT_VACUOUS,component,ETERNAL);
  ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
defsysp.c:256:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(NOT_VACUOUS,component,ETERNAL);
  ^~~~~~~~~~~~
defsysp.c: In function 'abomb_pred':
defsysp.c:371:2: warning: implicit declaration of function 'exit' [-Wimplicit-function-declaration]
  exit(1);
  ^~~~
defsysp.c:371:2: warning: incompatible implicit declaration of built-in function 'exit'
defsysp.c:371:2: note: include '<stdlib.h>' or provide a declaration of 'exit'
In file included from defsysp.c:20:0:
defsysp.c: In function 'subsume':
include.h:185:23: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
     (is_string(t) && (strcmp(str_value(t),str_value(u)) == 0)) ||\
                       ^
defsysp.c:695:17: note: in expansion of macro 'atomic_equal'
  if ((t==u) || (atomic_equal(u,t))) return(TRUE);
                 ^~~~~~~~~~~~
--- syspred1.o ---
In file included from syspred1.c:15:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from syspred1.c:15:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
syspred1.c: In function 'or_pred':
syspred1.c:195:12: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     next = (int)n->n_set;
            ^
syspred1.c:201:31: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
   n->n_set = (next < arity) ? (struct set *)next : NULL;
                               ^
syspred1.c: In function 'open_pred':
syspred1.c:310:10: warning: implicit declaration of function 'file_open_pred'; did you mean 'open_pred'? [-Wimplicit-function-declaration]
   return(file_open_pred(t,e,SPECIFIED));
          ^~~~~~~~~~~~~~
          open_pred
In file included from syspred1.c:15:0:
syspred1.c: In function 'eq_pred_sub':
include.h:185:23: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
     (is_string(t) && (strcmp(str_value(t),str_value(u)) == 0)) ||\
                       ^
syspred1.c:734:8: note: in expansion of macro 'atomic_equal'
    if (atomic_equal(x,y)) return(SYSTRUE);
        ^~~~~~~~~~~~
syspred1.c: In function 'LtoC':
syspred1.c:1165:9: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
       { strcpy(nbuf, str_value(t)); return; }
         ^~~~~~
syspred1.c:1165:9: warning: incompatible implicit declaration of built-in function 'strcpy'
syspred1.c:1165:9: note: include '<string.h>' or provide a declaration of 'strcpy'
syspred1.c:1186:4: warning: implicit declaration of function 'strcat' [-Wimplicit-function-declaration]
    strcat(nbuf, str_value(arg0));
    ^~~~~~
syspred1.c:1186:4: warning: incompatible implicit declaration of built-in function 'strcat'
syspred1.c:1186:4: note: include '<string.h>' or provide a declaration of 'strcat'
syspred1.c:1188:4: warning: incompatible implicit declaration of built-in function 'strcat'
    strcat(nbuf,Predname(arg0));
    ^~~~~~
syspred1.c:1188:4: note: include '<string.h>' or provide a declaration of 'strcat'
syspred1.c:1190:21: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration]
           int len = strlen(nbuf);
                     ^~~~~~
syspred1.c:1190:21: warning: incompatible implicit declaration of built-in function 'strlen'
syspred1.c:1190:21: note: include '<string.h>' or provide a declaration of 'strlen'
--- syspred2.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c syspred2.c
--- trans.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c trans.c
--- syspred2.o ---
In file included from syspred2.c:16:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from syspred2.c:16:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
syspred2.c: In function 'concat_pred':
syspred2.c:205:18: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
       if ((len = (int)n->n_set-1) < 0)  return(SYSFAIL);
                  ^
syspred2.c:208:7: warning: implicit declaration of function 'strncpy' [-Wimplicit-function-declaration]
       strncpy(nbuf,str_value(z),len);
       ^~~~~~~
syspred2.c:208:7: warning: incompatible implicit declaration of built-in function 'strncpy'
syspred2.c:208:7: note: include '<string.h>' or provide a declaration of 'strncpy'
syspred2.c:220:34: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
       n->n_set = (struct set *)( (int)n->n_set - 1);
                                  ^
syspred2.c:220:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
       n->n_set = (struct set *)( (int)n->n_set - 1);
                  ^
syspred2.c:238:18: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
       n->n_set = (struct set *)len; /* memorize the position */
                  ^
syspred2.c: In function 'app_str':
syspred2.c:255:8: warning: implicit declaration of function 'strlen' [-Wimplicit-function-declaration]
   if ((strlen(str_value(x))+strlen(str_value(y))) > NAMELEN_MAX)
        ^~~~~~
syspred2.c:255:8: warning: incompatible implicit declaration of built-in function 'strlen'
syspred2.c:255:8: note: include '<string.h>' or provide a declaration of 'strlen'
syspred2.c:257:3: warning: implicit declaration of function 'strcpy' [-Wimplicit-function-declaration]
   strcpy(nbuf,str_value(x));
   ^~~~~~
syspred2.c:257:3: warning: incompatible implicit declaration of built-in function 'strcpy'
syspred2.c:257:3: note: include '<string.h>' or provide a declaration of 'strcpy'
syspred2.c:258:3: warning: implicit declaration of function 'strcat' [-Wimplicit-function-declaration]
   strcat(nbuf,str_value(y));
   ^~~~~~
syspred2.c:258:3: warning: incompatible implicit declaration of built-in function 'strcat'
syspred2.c:258:3: note: include '<string.h>' or provide a declaration of 'strcat'
syspred2.c: In function 'diff_str':
syspred2.c:278:13: warning: incompatible implicit declaration of built-in function 'strlen'
   if ((lz = strlen(cz)) < (lx = strlen(cx)))
             ^~~~~~
syspred2.c:278:13: note: include '<string.h>' or provide a declaration of 'strlen'
syspred2.c:298:7: warning: incompatible implicit declaration of built-in function 'strncpy'
       strncpy(nbuf, cz, dif);
       ^~~~~~~
syspred2.c:298:7: note: include '<string.h>' or provide a declaration of 'strncpy'
syspred2.c: In function 'substr_pred':
syspred2.c:419:4: warning: incompatible implicit declaration of built-in function 'strncpy'
    strncpy(nbuf,sr,numb);
    ^~~~~~~
syspred2.c:419:4: note: include '<string.h>' or provide a declaration of 'strncpy'
syspred2.c: In function 'divstr_pred':
syspred2.c:461:14: warning: incompatible implicit declaration of built-in function 'strlen'
        sr += strlen(sf);
              ^~~~~~
syspred2.c:461:14: note: include '<string.h>' or provide a declaration of 'strlen'
syspred2.c:478:4: warning: incompatible implicit declaration of built-in function 'strncpy'
    strncpy(nbuf,sr,n);
    ^~~~~~~
syspred2.c:478:4: note: include '<string.h>' or provide a declaration of 'strncpy'
syspred2.c: In function 'strcmp_pred':
syspred2.c:520:13: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
    result = strcmp(str_value(a),str_value(b));
             ^~~~~~
syspred2.c: In function 'gensym_pred':
syspred2.c:634:7: warning: incompatible implicit declaration of built-in function 'strncpy'
       strncpy(newname, tt->type.t_func->f_name,8);
       ^~~~~~~
syspred2.c:634:7: note: include '<string.h>' or provide a declaration of 'strncpy'
syspred2.c:636:7: warning: incompatible implicit declaration of built-in function 'strncpy'
       strncpy(newname, str_value(tt), 8);
       ^~~~~~~
syspred2.c:636:7: note: include '<string.h>' or provide a declaration of 'strncpy'
syspred2.c:645:5: warning: incompatible implicit declaration of built-in function 'strcpy'
     strcpy(newname,genname);
     ^~~~~~
syspred2.c:645:5: note: include '<string.h>' or provide a declaration of 'strcpy'
--- trans.o ---
In file included from trans.c:16:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from trans.c:16:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
trans.c: In function 'unfold_derivation':
trans.c:583:19: warning: implicit declaration of function 'literalnumber'; did you mean 'literalcopy'? [-Wimplicit-function-declaration]
  it->it_cnumber = literalnumber(cs->cs_clause->c_link);
                   ^~~~~~~~~~~~~
                   literalcopy
trans.c: In function 'apply':
trans.c:702:7: warning: implicit declaration of function 'apply_add_clause'; did you mean 'add_clause'? [-Wimplicit-function-declaration]
       apply_add_clause(head,e0,ec);
       ^~~~~~~~~~~~~~~~
       add_clause
trans.c:707:10: warning: implicit declaration of function 'system_pred'; did you mean 'substr_pred'? [-Wimplicit-function-declaration]
      if (system_pred(target,e0,dummy,dummy,DOWN) == SYSFAIL)
          ^~~~~~~~~~~
          substr_pred
trans.c:723:12: warning: implicit declaration of function 'extend_apply' [-Wimplicit-function-declaration]
     return(extend_apply(target,head,rest,e0,f,f->def.f_set));
            ^~~~~~~~~~~~
--- tr_sub.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c tr_sub.c
--- tr_split.o ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2   -c tr_split.c
--- tr_sub.o ---
In file included from tr_sub.c:16:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from tr_sub.c:16:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
tr_sub.c: In function 'Pcset_cstr':
tr_sub.c:52:2: warning: implicit declaration of function 'P_hclause'; did you mean 'P_dclause'? [-Wimplicit-function-declaration]
  P_hclause(cs->cs_clause,NULL_ENV);
  ^~~~~~~~~
  P_dclause
In file included from tr_sub.c:16:0:
tr_sub.c: In function 'Ncset':
include.h:479:33: warning: implicit declaration of function 'challoc'; did you mean 'nalloc'? [-Wimplicit-function-declaration]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                                 ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_sub.c:115:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(s,cset,flag);
  ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_sub.c:115:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(s,cset,flag);
  ^~~~~~~~~~~~
tr_sub.c: In function 'greater_arg':
tr_sub.c:617:21: warning: implicit declaration of function 'cmp_clause'; did you mean 'copy_clause'? [-Wimplicit-function-declaration]
     case 9 : return(cmp_clause(a1,a2));
                     ^~~~~~~~~~
                     copy_clause
tr_sub.c:618:21: warning: implicit declaration of function 'cmp_pst'; did you mean 'cmp_str'? [-Wimplicit-function-declaration]
     case 10: return(cmp_pst(a1,a2));
                     ^~~~~~~
                     cmp_str
tr_sub.c: In function 'cmp_str':
tr_sub.c:705:7: warning: implicit declaration of function 'strcmp' [-Wimplicit-function-declaration]
  cp = strcmp(str_value(a1), str_value(a2));
       ^~~~~~
--- tr_split.o ---
In file included from tr_split.c:17:0:
include.h:282:0: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23:0,
                 from tr_split.c:17:
/usr/include/math.h:292:0: note: this is the location of the previous definition
 #define isfinite(__x) __fpmacro_unary_floating(isfinite, __x)
 
In file included from tr_split.c:17:0:
tr_split.c: In function 'split':
include.h:479:33: warning: implicit declaration of function 'challoc'; did you mean 'nalloc'? [-Wimplicit-function-declaration]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                                 ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_split.c:91:3: note: in expansion of macro 'MEMORY_ALLOC'
   MEMORY_ALLOC(cmp,compartment,TEMPORAL);
   ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_split.c:91:3: note: in expansion of macro 'MEMORY_ALLOC'
   MEMORY_ALLOC(cmp,compartment,TEMPORAL);
   ^~~~~~~~~~~~
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_split.c:98:4: note: in expansion of macro 'MEMORY_ALLOC'
    MEMORY_ALLOC(cmp,compartment,TEMPORAL);
    ^~~~~~~~~~~~
tr_split.c: In function 'termpairtype':
tr_split.c:298:13: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
     return(((int)t) % TPHASHSIZE);
             ^
tr_split.c: In function 'print_Tpair_length':
tr_split.c:304:47: warning: implicit declaration of function 'vpair_length'; did you mean 'print_Tpair_length'? [-Wimplicit-function-declaration]
     for (i=0; i<TPHASHSIZE; i++) printf("%d ",vpair_length(Tpair[i]));
                                               ^~~~~~~~~~~~
                                               print_Tpair_length
In file included from tr_split.c:17:0:
tr_split.c: In function 'variant_main':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_split.c:385:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(ccopy,variant,TEMPORAL);
  ^~~~~~~~~~~~
tr_split.c: In function 'store_vpair':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_split.c:418:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(vp,vpair,TEMPORAL);
  ^~~~~~~~~~~~
tr_split.c: In function 'store_termpair':
include.h:479:21: warning: cast to pointer from integer of different size [-Wint-to-pointer-cast]
 #define cnew(s)     (struct s *)challoc(sizeof (struct s) / sizeof (int))
                     ^
include.h:487:10: note: in expansion of macro 'cnew'
        X=cnew(Y); break; \
          ^~~~
tr_split.c:452:2: note: in expansion of macro 'MEMORY_ALLOC'
  MEMORY_ALLOC(vp,vpair,TEMPORAL);
  ^~~~~~~~~~~~
tr_split.c: In function 'copy_arg':
tr_split.c:593:7: warning: implicit declaration of function 'has_common_label' [-Wimplicit-function-declaration]
      !has_common_label(
       ^~~~~~~~~~~~~~~~
--- cup ---
gcc -O2 -fPIC -D_FORTIFY_SOURCE=2 -o cup3 main.o jpsgsub.o mainsub.o modular.o new.o print.o read.o refute.o unify.o defsysp.o syspred1.o syspred2.o trans.o tr_sub.o tr_split.o -lm