+ case "${usergroup_phase}" in
+ local run_cmd
+ run_cmd=run_su
+ shift
+ run_su /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/cu-prolog-3.94/work.log
+ su pbulk -c '"$@"' make /usr/pkg/bin/bmake all BATCH=1 DEPENDS_TARGET=/nonexistent WRKLOG=/tmp/bulklog/cu-prolog-3.94/work.log
=> Bootstrap dependency digest>=20211023: found digest-20220214
WARNING: [license.mk] Every package should define a LICENSE.
===> Building for cu-prolog-3.94
--- main.o ---
--- jpsgsub.o ---
--- main.o ---
cc -pipe -O2  -c main.c
--- jpsgsub.o ---
cc -pipe -O2  -c jpsgsub.c
In file included from jpsgsub.c:15:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from jpsgsub.c:15:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
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:16:1:
+#include <string.h>
 
jpsgsub.c:51:2:
  strcpy(catname[0],"POS");cattype[0] = Normal;
  ^~~~~~
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'
--- main.o ---
In file included from main.c:31:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from main.c:31:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
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
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:32:1:
+#include <stdlib.h>
 #include <signal.h>
main.c:230:31:
     if (NULL == (sheap=(int *)malloc(SHEAP_SIZE+1)))
                               ^~~~~~
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'
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'
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:307:5: warning: implicit declaration of function 'cfree'; did you mean 'Ptree'? [-Wimplicit-function-declaration]
     cfree((char *)sheap); SHEAP_SIZE=SHEAP_SIZE*1.2; system_heap_alloc();
     ^~~~~
     Ptree
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
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:32:1:
+#include <string.h>
 #include <signal.h>
main.c:550:2:
  strcpy(nbuf, "TEMPF.###");  /* temporary file */
  ^~~~~~
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
main.c: In function 'defnewfunc':
main.c:801:20: warning: implicit declaration of function 'literalnumber'; did you mean 'literalcopy'? [-Wimplicit-function-declaration]
   it->it_cnumber = literalnumber(c);
                    ^~~~~~~~~~~~~
                    literalcopy
In file included from main.c:31:
main.c: In function 'systemcommand':
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:435:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:449:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:458:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:488:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:493:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:507:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:511:3: note: in expansion of macro 'readword'
   readword(genname);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:518:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
include.h:51:21: warning: ignoring return value of 'fscanf', declared with attribute warn_unused_result [-Wunused-result]
 #define readword(S) fscanf(fp,"%s",S);if (lfp) fprintf(lfp,"%s",S);
                     ^~~~~~~~~~~~~~~~~
main.c:534:3: note: in expansion of macro 'readword'
   readword(nbuf);
   ^~~~~~~~
--- mainsub.o ---
cc -pipe -O2  -c mainsub.c
In file included from mainsub.c:20:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from mainsub.c:20:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
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) {
         ^~~~~~
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'
mainsub.c:21:1:
+#include <string.h>
 
mainsub.c:337:2:
  strcpy (logfile, "no");
  ^~~~~~
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'
In file included from mainsub.c:20:
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);
    ^~~~~~~~~~~~
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'
mainsub.c:21:1:
+#include <stdlib.h>
 
mainsub.c:999:6:
      exit (1);   /* end */
      ^~~~
--- modular.o ---
cc -pipe -O2  -c modular.c
In file included from modular.c:16:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from modular.c:16:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
modular.c: In function 'cu':
modular.c:84:24: warning: implicit declaration of function 'clock'; did you mean 'check'? [-Wimplicit-function-declaration]
  CONSTRAINT_OLD_TIME = clock();
                        ^~~~~
                        check
modular.c: In function 'tepairtype':
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);
                      ^
In file included from modular.c:16:
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);
  ^~~~~~~~~~~~
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);
  ^~~~~~~~~~~~
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);
   ^~~~~~~~~~~~
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:
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);
                    ^~~~~~~~~~~~
--- new.o ---
cc -pipe -O2  -c new.c
--- print.o ---
cc -pipe -O2  -c print.c
--- new.o ---
In file included from new.c:20:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from new.c:20:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_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:21:1:
+#include <string.h>
 #include <math.h>
new.c:176:7:
   q = strlen(n)+1;
       ^~~~~~
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:
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 ---
In file included from print.c:16:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from print.c:16:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
In file included from print.c:16:
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:
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 ---
cc -pipe -O2  -c read.c
In file included from read.c:16:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from read.c:16:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
In file included from read.c:16:
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'
read.c:17:1:
+#include <string.h>
 
read.c:530:7:
       strcpy(tempname,nbuf); /* tempname <- nbuf */
       ^~~~~~
--- refute.o ---
cc -pipe -O2  -c refute.c
In file included from refute.c:15:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from refute.c:15:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_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
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 ---
cc -pipe -O2  -c unify.c
In file included from unify.c:17:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from unify.c:17:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
In file included from unify.c:17:
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 ---
cc -pipe -O2  -c defsysp.c
In file included from defsysp.c:20:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from defsysp.c:20:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_isfinite (x)
 
In file included from defsysp.c:20:
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'
defsysp.c:23:1:
+#include <stdlib.h>
 #else
defsysp.c:371:2:
  exit(1);
  ^~~~
In file included from defsysp.c:20:
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);
                 ^~~~~~~~~~~~
defsysp.c: In function 'reset_timer_pred':
defsysp.c:889:14: warning: implicit declaration of function 'clock'; did you mean 'check'? [-Wimplicit-function-declaration]
   OLD_TIME = clock();
              ^~~~~
              check
--- syspred1.o ---
cc -pipe -O2  -c syspred1.c
In file included from syspred1.c:15:
include.h:282: warning: "isfinite" redefined
 #define isfinite(F) ( ((F->f_mark) & FINITEFUN) != 0)
 
In file included from include.h:23,
                 from syspred1.c:15:
/usr/include/math.h:913: note: this is the location of the previous definition
 #  define isfinite(x) __builtin_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;
                               ^
In file included from syspred1.c:15:
syspred1.c: In function 'read_pred':
include.h:144:41: error: '_IO_NO_READS' undeclared (first use in this function)
 #define is_readable(FP) (!(FP->_flags & _IO_NO_READS))
                                         ^~~~~~~~~~~~
syspred1.c:276:11: note: in expansion of macro 'is_readable'
     if (! is_readable(fp))
           ^~~~~~~~~~~
include.h:144:41: note: each undeclared identifier is reported only once for each function it appears in
 #define is_readable(FP) (!(FP->_flags & _IO_NO_READS))
                                         ^~~~~~~~~~~~
syspred1.c:276:11: note: in expansion of macro 'is_readable'
     if (! is_readable(fp))
           ^~~~~~~~~~~
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:
syspred1.c: In function 'write_pred':
include.h:145:41: error: '_IO_NO_WRITES' undeclared (first use in this function)
 #define is_writable(FP) (!(FP->_flags & _IO_NO_WRITES))
                                         ^~~~~~~~~~~~~
syspred1.c:597:11: note: in expansion of macro 'is_writable'
     if (! is_writable(wfp))
           ^~~~~~~~~~~
syspred1.c: In function 'nl_pred':
include.h:145:41: error: '_IO_NO_WRITES' undeclared (first use in this function)
 #define is_writable(FP) (!(FP->_flags & _IO_NO_WRITES))
                                         ^~~~~~~~~~~~~
syspred1.c:627:11: note: in expansion of macro 'is_writable'
     if (! is_writable(wfp))
           ^~~~~~~~~~~
syspred1.c: In function 'tab_pred':
include.h:145:41: error: '_IO_NO_WRITES' undeclared (first use in this function)
 #define is_writable(FP) (!(FP->_flags & _IO_NO_WRITES))
                                         ^~~~~~~~~~~~~
syspred1.c:654:11: note: in expansion of macro 'is_writable'
     if (! is_writable(wfp))
           ^~~~~~~~~~~
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:16:1:
+#include <string.h>
 
syspred1.c:1165:9:
       { strcpy(nbuf, str_value(t)); return; }
         ^~~~~~
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'
*** [syspred1.o] Error code 1

bmake: stopped making "cup" in /home/pbulk/build/lang/cu-prolog/work/src
bmake: 1 error

bmake: stopped making "cup" in /home/pbulk/build/lang/cu-prolog/work/src
*** Error code 2

Stop.
bmake[1]: stopped making "all" in /data/jenkins/workspace/pkgsrc-el8-trunk-x86_64/lang/cu-prolog
*** Error code 1

Stop.
bmake: stopped making "all" in /data/jenkins/workspace/pkgsrc-el8-trunk-x86_64/lang/cu-prolog