>>> Building on exopi-4 under math/prover9/ladr
	BDEPENDS = [lang/python/3]
	DIST = [math/prover9/ladr:LADR-Dec-2007.tar.gz]
	FULLPKGNAME = ladr-dec-2007p4
(Junk lock obtained for exopi-4 at 1734982250.93)
>>> Running depends in math/prover9/ladr at 1734982250.96
   last junk was in devel/py-speg
/usr/sbin/pkg_add -aI -Drepair python-3.12.8p0
was: /usr/sbin/pkg_add -aI -Drepair python-3.12.8p0
/usr/sbin/pkg_add -aI -Drepair python-3.12.8p0
>>> Running show-prepare-results in math/prover9/ladr at 1734982253.86
===> math/prover9/ladr
===> Building from scratch ladr-dec-2007p4
===> ladr-dec-2007p4 depends on: python->=3.12,<3.13 -> python-3.12.8p0
===>  Verifying specs:  c m
===>  found c.100.3 m.10.1
python-3.12.8p0
(Junk lock released for exopi-4 at 1734982255.06)
distfiles size=1787225
>>> Running build in math/prover9/ladr at 1734982255.10
===> math/prover9/ladr
===>  Checking files for ladr-dec-2007p4
`/exopi-cvs/ports/distfiles/LADR-Dec-2007.tar.gz' is up to date.
>> (SHA256) all files: OK
===>  Extracting for ladr-dec-2007p4
===>  Patching for ladr-dec-2007p4
===>   Applying OpenBSD patch patch-Makefile
Hmm...  Looks like a unified diff to me...
The text leading up to this was:
--------------------------
|--- Makefile.orig	Mon Jan 17 23:08:19 2011
|+++ Makefile	Mon Jan 17 23:08:49 2011
--------------------------
Patching file Makefile using Plan A...
Hunk #1 succeeded at 6.
done
===>  Compiler link: clang -> /usr/bin/clang
===>  Compiler link: clang++ -> /usr/bin/clang++
===>  Compiler link: cc -> /usr/bin/cc
===>  Compiler link: c++ -> /usr/bin/c++
===>  Generating configure for ladr-dec-2007p4
===>  Configuring for ladr-dec-2007p4
perl -pi -e 's,/usr/bin/python,/usr/local/bin/python3.12,g' /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/attack
2to3 -wn --no-diffs /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/attack
/usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+
  from lib2to3.main import main
RefactoringTool: Skipping optional fixer: buffer
RefactoringTool: Skipping optional fixer: idioms
RefactoringTool: Skipping optional fixer: set_literal
RefactoringTool: Skipping optional fixer: ws_comma
RefactoringTool: Refactored /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/attack
RefactoringTool: Files that were modified:
RefactoringTool: /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/attack
perl -pi -e 's,/usr/bin/python,/usr/local/bin/python3.12,g' /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/gvizify
2to3 -wn --no-diffs /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/gvizify
/usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+
  from lib2to3.main import main
RefactoringTool: Skipping optional fixer: buffer
RefactoringTool: Skipping optional fixer: idioms
RefactoringTool: Skipping optional fixer: set_literal
RefactoringTool: Skipping optional fixer: ws_comma
RefactoringTool: Refactored /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/gvizify
RefactoringTool: Files that were modified:
RefactoringTool: /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/gvizify
perl -pi -e 's,/usr/bin/python,/usr/local/bin/python3.12,g' /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/looper
2to3 -wn --no-diffs /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/looper
/usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+
  from lib2to3.main import main
RefactoringTool: Skipping optional fixer: buffer
RefactoringTool: Skipping optional fixer: idioms
RefactoringTool: Skipping optional fixer: set_literal
RefactoringTool: Skipping optional fixer: ws_comma
RefactoringTool: Refactored /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/looper
RefactoringTool: Files that were modified:
RefactoringTool: /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/looper
perl -pi -e 's,/usr/bin/python,/usr/local/bin/python3.12,g' /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/prover9-mace4
2to3 -wn --no-diffs /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/prover9-mace4
/usr/local/bin/2to3:3: DeprecationWarning: lib2to3 package is deprecated and may not be able to parse Python 3.10+
  from lib2to3.main import main
RefactoringTool: Skipping optional fixer: buffer
RefactoringTool: Skipping optional fixer: idioms
RefactoringTool: Skipping optional fixer: set_literal
RefactoringTool: Skipping optional fixer: ws_comma
RefactoringTool: Refactored /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/prover9-mace4
RefactoringTool: Files that were modified:
RefactoringTool: /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/prover9-mace4
===>  Building for ladr-dec-2007p4
cd ladr         && /usr/bin/make lib
/usr/bin/make libladr.a
cc -O2 -pipe    -c order.c
cc -O2 -pipe    -c clock.c
cc -O2 -pipe    -c nonport.c
cc -O2 -pipe    -c fatal.c
cc -O2 -pipe    -c ibuffer.c
cc -O2 -pipe    -c memory.c
cc -O2 -pipe    -c hash.c
cc -O2 -pipe    -c string.c
cc -O2 -pipe    -c strbuf.c
cc -O2 -pipe    -c glist.c
cc -O2 -pipe    -c options.c
cc -O2 -pipe    -c symbols.c
symbols.c:475:10: warning: taking the absolute value of unsigned type 'unsigned int' has no effect [-Wabsolute-value]
  return abs(x) % SYM_TAB_SIZE;
         ^
symbols.c:475:10: note: remove the call to 'abs' since unsigned values cannot be negative
  return abs(x) % SYM_TAB_SIZE;
         ^~~
1 warning generated.
cc -O2 -pipe    -c avltree.c
avltree.c:673:21: warning: cast to smaller integer type 'int' from 'void *' [-Wvoid-pointer-to-int-cast]
    printf("%4d\n", (int) p->item);
                    ^~~~~~~~~~~~~
1 warning generated.
cc -O2 -pipe    -c term.c
cc -O2 -pipe    -c termflag.c
cc -O2 -pipe    -c listterm.c
cc -O2 -pipe    -c tlist.c
cc -O2 -pipe    -c flatterm.c
cc -O2 -pipe    -c multiset.c
cc -O2 -pipe    -c termorder.c
cc -O2 -pipe    -c parse.c
cc -O2 -pipe    -c accanon.c
cc -O2 -pipe    -c unify.c
cc -O2 -pipe    -c fpalist.c
cc -O2 -pipe    -c fpa.c
cc -O2 -pipe    -c discrim.c
cc -O2 -pipe    -c discrimb.c
cc -O2 -pipe    -c discrimw.c
cc -O2 -pipe    -c dioph.c
cc -O2 -pipe    -c btu.c
cc -O2 -pipe    -c btm.c
cc -O2 -pipe    -c mindex.c
cc -O2 -pipe    -c basic.c
cc -O2 -pipe    -c attrib.c
cc -O2 -pipe    -c formula.c
formula.c:624:25: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion]
  case AND_FORM: return OR_FORM;
                 ~~~~~~ ^~~~~~~
formula.c:625:24: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion]
  case OR_FORM: return AND_FORM;
                ~~~~~~ ^~~~~~~~
formula.c:626:25: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion]
  case ALL_FORM: return EXISTS_FORM;
                 ~~~~~~ ^~~~~~~~~~~
formula.c:627:28: warning: implicit conversion from enumeration type 'Ftype' to different enumeration type 'BOOL' [-Wenum-conversion]
  case EXISTS_FORM: return ALL_FORM;
                    ~~~~~~ ^~~~~~~~
formula.c:649:13: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion]
  f->type = dual_type(f->type);
          ~ ^~~~~~~~~~~~~~~~~~
formula.c:915:34: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion]
      Formula g = formula_get(1, dual_type(h->type));
                  ~~~~~~~~~~~    ^~~~~~~~~~~~~~~~~~
formula.c:923:41: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ftype' [-Wenum-conversion]
      Formula g = formula_get(h->arity, dual_type(h->type));
                  ~~~~~~~~~~~           ^~~~~~~~~~~~~~~~~~
7 warnings generated.
cc -O2 -pipe    -c definitions.c
cc -O2 -pipe    -c literals.c
cc -O2 -pipe    -c topform.c
cc -O2 -pipe    -c clist.c
cc -O2 -pipe    -c clauseid.c
cc -O2 -pipe    -c clauses.c
cc -O2 -pipe    -c just.c
cc -O2 -pipe    -c cnf.c
cc -O2 -pipe    -c clausify.c
cc -O2 -pipe    -c parautil.c
cc -O2 -pipe    -c pindex.c
cc -O2 -pipe    -c compress.c
cc -O2 -pipe    -c maximal.c
cc -O2 -pipe    -c lindex.c
cc -O2 -pipe    -c weight.c
cc -O2 -pipe    -c int_code.c
cc -O2 -pipe    -c features.c
cc -O2 -pipe    -c di_tree.c
cc -O2 -pipe    -c fastparse.c
fastparse.c:186:23: warning: format string is not a string literal (potentially insecure) [-Wformat-security]
      fprintf(stderr, s);
                      ^
fastparse.c:186:23: note: treat the string as an argument to avoid this
      fprintf(stderr, s);
                      ^
                      "%s", 
fastparse.c:187:23: warning: format string is not a string literal (potentially insecure) [-Wformat-security]
      fprintf(stdout, s);
                      ^
fastparse.c:187:23: note: treat the string as an argument to avoid this
      fprintf(stdout, s);
                      ^
                      "%s", 
2 warnings generated.
cc -O2 -pipe    -c random.c
cc -O2 -pipe    -c subsume.c
cc -O2 -pipe    -c clause_misc.c
cc -O2 -pipe    -c flatdemod.c
cc -O2 -pipe    -c demod.c
cc -O2 -pipe    -c clash.c
cc -O2 -pipe    -c resolve.c
cc -O2 -pipe    -c paramod.c
cc -O2 -pipe    -c backdemod.c
cc -O2 -pipe    -c hints.c
cc -O2 -pipe    -c ac_redun.c
cc -O2 -pipe    -c xproofs.c
cc -O2 -pipe    -c ivy.c
cc -O2 -pipe    -c interp.c
interp.c:2172:10: warning: implicit conversion from enumeration type 'BOOL' to different enumeration type 'Ordertype' [-Wenum-conversion]
  return TRUE;
  ~~~~~~ ^~~~
1 warning generated.
cc -O2 -pipe    -c std_options.c
cc -O2 -pipe    -c banner.c
cc -O2 -pipe    -c ioutil.c
cc -O2 -pipe    -c tptp_trans.c
cc -O2 -pipe    -c top_input.c
ar rs libladr.a order.o clock.o nonport.o fatal.o ibuffer.o memory.o hash.o string.o strbuf.o glist.o options.o symbols.o avltree.o term.o termflag.o listterm.o tlist.o flatterm.o multiset.o termorder.o parse.o accanon.o unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o dioph.o btu.o btm.o mindex.o basic.o attrib.o formula.o definitions.o literals.o topform.o clist.o clauseid.o clauses.o just.o cnf.o clausify.o parautil.o pindex.o compress.o maximal.o lindex.o weight.o int_code.o features.o di_tree.o fastparse.o random.o subsume.o clause_misc.o flatdemod.o demod.o clash.o resolve.o paramod.o backdemod.o hints.o ac_redun.o xproofs.o ivy.o interp.o std_options.o banner.o ioutil.o tptp_trans.o top_input.o
ar: warning: creating libladr.a
cd mace4.src    && /usr/bin/make all
cd ../ladr && /usr/bin/make libladr.a
`libladr.a' is up to date.
/usr/bin/make clean
/bin/rm -f *.o
/usr/bin/make libmace4.a
cc -O2 -pipe    -c estack.c
cc -O2 -pipe    -c util.c
cc -O2 -pipe    -c print.c
print.c:114:13: warning: format string is not a string literal (potentially insecure) [-Wformat-security]
            printf(s2);
                   ^~
print.c:114:13: note: treat the string as an argument to avoid this
            printf(s2);
                   ^
                   "%s", 
print.c:119:15: warning: format string is not a string literal (potentially insecure) [-Wformat-security]
              printf(s3);
                     ^~
print.c:119:15: note: treat the string as an argument to avoid this
              printf(s3);
                     ^
                     "%s", 
print.c:137:11: warning: format string is not a string literal (potentially insecure) [-Wformat-security]
          printf(s2);
                 ^~
print.c:137:11: note: treat the string as an argument to avoid this
          printf(s2);
                 ^
                 "%s", 
print.c:145:15: warning: format string is not a string literal (potentially insecure) [-Wformat-security]
              printf(s3);
                     ^~
print.c:145:15: note: treat the string as an argument to avoid this
              printf(s3);
                     ^
                     "%s", 
4 warnings generated.
cc -O2 -pipe    -c syms.c
cc -O2 -pipe    -c ground.c
cc -O2 -pipe    -c select.c
select.c:235:28: warning: parameter 'max_constrained' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Wimplicit-int]
int select_concentric_band(max_constrained)
                           ^
select.c:235:5: warning: a function definition without a prototype is deprecated in all versions of C and is not supported in C2x [-Wdeprecated-non-prototype]
int select_concentric_band(max_constrained)
    ^
2 warnings generated.
cc -O2 -pipe    -c propagate.c
cc -O2 -pipe    -c mstate.c
cc -O2 -pipe    -c negpropindex.c
cc -O2 -pipe    -c negprop.c
cc -O2 -pipe    -c ordercells.c
cc -O2 -pipe    -c commandline.c
cc -O2 -pipe    -c msearch.c
msearch.c:815:22: warning: parameter 'n' was not declared, defaults to 'int'; ISO C99 and later do not support implicit int [-Wimplicit-int]
int next_domain_size(n)
                     ^
msearch.c:815:5: warning: a function definition without a prototype is deprecated in all versions of C and is not supported in C2x [-Wdeprecated-non-prototype]
int next_domain_size(n)
    ^
2 warnings generated.
ar rs libmace4.a estack.o util.o print.o syms.o ground.o select.o propagate.o  mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o
ar: warning: creating libmace4.a
cc -O2 -pipe    -c mace4.c
cc -O2 -pipe   -o mace4 mace4.o libmace4.a ../ladr/libladr.a
ld: warning: util.c(util.o:(random_permutation) in archive libmace4.a): warning: rand() may return deterministic values, is that what you want?
ld: warning: msearch.c(msearch.o:(mace4) in archive libmace4.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
/bin/mv mace4 ../bin
cd provers.src  && /usr/bin/make all
cd ../ladr && /usr/bin/make libladr
/usr/bin/make libladr.a
`libladr.a' is up to date.
/usr/bin/make clean
/bin/rm -f *.o
cd ../mace4.src && /usr/bin/make libmace4
/usr/bin/make libmace4.a
`libmace4.a' is up to date.
/usr/bin/make clean
/bin/rm -f *.o
cc -O2 -pipe    -c prover9.c
cc -O2 -pipe    -c index_lits.c
cc -O2 -pipe    -c forward_subsume.c
cc -O2 -pipe    -c demodulate.c
cc -O2 -pipe    -c pred_elim.c
cc -O2 -pipe    -c unfold.c
cc -O2 -pipe    -c semantics.c
cc -O2 -pipe    -c picker.c
cc -O2 -pipe    -c actions.c
cc -O2 -pipe    -c search.c
cc -O2 -pipe    -c utilities.c
cc -O2 -pipe    -c provers.c
cc -O2 -pipe    -c foffer.c
cc -O2 -pipe   -lm -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o picker.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a
ld: warning: picker.c(picker.o:(get_given_clause)): warning: rand() may return deterministic values, is that what you want?
ld: warning: top_input.c(top_input.o:(read_all_input) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
cc -O2 -pipe    -c fof-prover9.c
cc -O2 -pipe   -lm -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o picker.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a
ld: warning: picker.c(picker.o:(get_given_clause)): warning: rand() may return deterministic values, is that what you want?
ld: warning: top_input.c(top_input.o:(read_all_input) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
cc -O2 -pipe    -c autosketches4.c
cc -O2 -pipe   -lm -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o picker.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a
ld: warning: autosketches4.c(autosketches4.o:(main)): warning: sprintf() is often misused, please use snprintf()
ld: warning: picker.c(picker.o:(get_given_clause)): warning: rand() may return deterministic values, is that what you want?
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
cc -O2 -pipe    -c newauto.c
cc -O2 -pipe   -lm -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o picker.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a
ld: warning: picker.c(picker.o:(get_given_clause)): warning: rand() may return deterministic values, is that what you want?
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c newsax.c
cc -O2 -pipe   -lm -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o picker.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: picker.c(picker.o:(get_given_clause)): warning: rand() may return deterministic values, is that what you want?
cc -O2 -pipe    -c ladr_to_tptp.c
cc -O2 -pipe   -lm -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o picker.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a
ld: warning: picker.c(picker.o:(get_given_clause)): warning: rand() may return deterministic values, is that what you want?
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: top_input.c(top_input.o:(read_all_input) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
cc -O2 -pipe    -c tptp_to_ladr.c
cc -O2 -pipe   -lm -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o picker.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.a
ld: warning: tptp_to_ladr.c(tptp_to_ladr.o:(read_tptp_input)): warning: sprintf() is often misused, please use snprintf()
ld: warning: picker.c(picker.o:(get_given_clause)): warning: rand() may return deterministic values, is that what you want?
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
/bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr ../bin
/bin/rm -f *.o
cd apps.src     && /usr/bin/make all
cd ../ladr && /usr/bin/make libladr.a
`libladr.a' is up to date.
cc -O2 -pipe    -c latfilter.c
cc -O2 -pipe   -o latfilter latfilter.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c olfilter.c
cc -O2 -pipe   -o olfilter olfilter.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c clausefilter.c
cc -O2 -pipe   -o clausefilter clausefilter.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c idfilter.c
cc -O2 -pipe   -o idfilter idfilter.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c renamer.c
cc -O2 -pipe   -o renamer renamer.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c unfast.c
cc -O2 -pipe   -o unfast unfast.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c clausetester.c
cc -O2 -pipe   -o clausetester clausetester.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c rewriter.c
cc -O2 -pipe   -o rewriter rewriter.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c isofilter0.c
cc -O2 -pipe   -o isofilter0 isofilter0.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c isofilter.c
cc -O2 -pipe   -o isofilter isofilter.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
cc -O2 -pipe    -c isofilter2.c
cc -O2 -pipe   -o isofilter2 isofilter2.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c dprofiles.c
cc -O2 -pipe   -o dprofiles dprofiles.o ../ladr/libladr.a
ld: warning: symbols.c(symbols.o:(symbol_for_variable) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c interpfilter.c
cc -O2 -pipe   -o interpfilter interpfilter.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c upper-covers.c
cc -O2 -pipe   -o upper-covers upper-covers.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c miniscope.c
cc -O2 -pipe   -o miniscope miniscope.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c interpformat.c
cc -O2 -pipe   -o interpformat interpformat.o ../ladr/libladr.a
ld: warning: interpformat.c(interpformat.o:(main)): warning: sprintf() is often misused, please use snprintf()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c prooftrans.c
cc -O2 -pipe   -o prooftrans prooftrans.o ../ladr/libladr.a
ld: warning: prooftrans.c(prooftrans.o:(main)): warning: sprintf() is often misused, please use snprintf()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c mirror-flip.c
cc -O2 -pipe   -o mirror-flip mirror-flip.o ../ladr/libladr.a
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
cc -O2 -pipe    -c perm3.c
cc -O2 -pipe   -o perm3 perm3.o ../ladr/libladr.a
ld: warning: top_input.c(top_input.o:(read_all_input) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
cc -O2 -pipe    -c sigtest.c
cc -O2 -pipe   -o sigtest sigtest.o ../ladr/libladr.a
ld: warning: term.c(term.o:(sprint_term) in archive ../ladr/libladr.a): warning: sprintf() is often misused, please use snprintf()
ld: warning: string.c(string.o:(new_str_copy) in archive ../ladr/libladr.a): warning: strcpy() is almost always misused, please use strlcpy()
ld: warning: clausify.c(clausify.o:(vars_to_names) in archive ../ladr/libladr.a): warning: strcat() is almost always misused, please use strlcat()
/bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest ../bin
/bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest
#/bin/cp -p utilities/* bin

**** Now try 'make test1'. ****

>>> Running package in math/prover9/ladr at 1734982311.87
===> math/prover9/ladr
===>  Faking installation for ladr-dec-2007p4
/exopi-obj/pobj/ladr-dec-2007/bin/install -d -m 755 /exopi-obj/pobj/ladr-dec-2007/fake-amd64/usr/local/libexec/prover9/ /exopi-obj/pobj/ladr-dec-2007/fake-amd64/usr/local/share/examples/prover9//{mace4,prover9}
/exopi-obj/pobj/ladr-dec-2007/bin/install -c -s -m 755 /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/bin/* /exopi-obj/pobj/ladr-dec-2007/fake-amd64/usr/local/libexec/prover9/
/exopi-obj/pobj/ladr-dec-2007/bin/install -c -m 755 /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/utilities/* /exopi-obj/pobj/ladr-dec-2007/fake-amd64/usr/local/share/examples/prover9/
/exopi-obj/pobj/ladr-dec-2007/bin/install -c -m 644 /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/mace4.examples/* /exopi-obj/pobj/ladr-dec-2007/fake-amd64/usr/local/share/examples/prover9//mace4/
/exopi-obj/pobj/ladr-dec-2007/bin/install -c -m 644 /exopi-obj/pobj/ladr-dec-2007/LADR-Dec-2007/prover9.examples/* /exopi-obj/pobj/ladr-dec-2007/fake-amd64/usr/local/share/examples/prover9//prover9/
===>  Building package for ladr-dec-2007p4
Create /exopi-cvs/ports/packages/amd64/all/ladr-dec-2007p4.tgz
Creating package ladr-dec-2007p4

reading plist|                                                                 
checking dependencies|                                                         
checksumming|                                                                  
checksumming|                                                             | 0% 
checksumming|*                                                            | 2% 
checksumming|**                                                           | 4% 
checksumming|***                                                          | 5% 
checksumming|****                                                         | 7% 
checksumming|*****                                                        | 9% 
checksumming|*******                                                      | 11%
checksumming|********                                                     | 13%
checksumming|*********                                                    | 14%
checksumming|**********                                                   | 16%
checksumming|***********                                                  | 18%
checksumming|************                                                 | 20%
checksumming|*************                                                | 21%
checksumming|**************                                               | 23%
checksumming|***************                                              | 25%
checksumming|****************                                             | 27%
checksumming|*****************                                            | 29%
checksumming|*******************                                          | 30%
checksumming|********************                                         | 32%
checksumming|*********************                                        | 34%
checksumming|**********************                                       | 36%
checksumming|***********************                                      | 38%
checksumming|************************                                     | 39%
checksumming|*************************                                    | 41%
checksumming|**************************                                   | 43%
checksumming|***************************                                  | 45%
checksumming|****************************                                 | 46%
checksumming|*****************************                                | 48%
checksumming|*******************************                              | 50%
checksumming|********************************                             | 52%
checksumming|*********************************                            | 54%
checksumming|**********************************                           | 55%
checksumming|***********************************                          | 57%
checksumming|************************************                         | 59%
checksumming|*************************************                        | 61%
checksumming|**************************************                       | 63%
checksumming|***************************************                      | 64%
checksumming|****************************************                     | 66%
checksumming|*****************************************                    | 68%
checksumming|******************************************                   | 70%
checksumming|********************************************                 | 71%
checksumming|*********************************************                | 73%
checksumming|**********************************************               | 75%
checksumming|***********************************************              | 77%
checksumming|************************************************             | 79%
checksumming|*************************************************            | 80%
checksumming|**************************************************           | 82%
checksumming|***************************************************          | 84%
checksumming|****************************************************         | 86%
checksumming|*****************************************************        | 88%
checksumming|******************************************************       | 89%
checksumming|********************************************************     | 91%
checksumming|*********************************************************    | 93%
checksumming|**********************************************************   | 95%
checksumming|***********************************************************  | 96%
checksumming|************************************************************ | 98%
checksumming|*************************************************************|100%
                                                                               

archiving|                                                                     
archiving|                                                                | 0% 
archiving|***                                                             | 5% 
archiving|*****                                                           | 8% 
archiving|*******                                                         | 11%
archiving|*********                                                       | 15%
archiving|************                                                    | 19%
archiving|**************                                                  | 22%
archiving|****************                                                | 26%
archiving|*******************                                             | 29%
archiving|*********************                                           | 32%
archiving|***********************                                         | 36%
archiving|*************************                                       | 39%
archiving|****************************                                    | 44%
archiving|******************************                                  | 47%
archiving|********************************                                | 51%
archiving|**********************************                              | 54%
archiving|************************************                            | 57%
archiving|***************************************                         | 61%
archiving|******************************************                      | 66%
archiving|********************************************                    | 69%
archiving|**********************************************                  | 72%
archiving|************************************************                | 75%
archiving|***************************************************             | 79%
archiving|*****************************************************           | 82%
archiving|*******************************************************         | 86%
archiving|*********************************************************       | 89%
archiving|************************************************************    | 93%
archiving|**************************************************************  | 96%
archiving|****************************************************************|100%
                                                                               
Link to /exopi-cvs/ports/packages/amd64/ftp/ladr-dec-2007p4.tgz
>>> Running clean in math/prover9/ladr at 1734982320.97
===> math/prover9/ladr
===>  Cleaning for ladr-dec-2007p4
>>> Ended at 1734982321.54
max_stuck=2.69/depends=2.91/show-prepare-results=1.23/build=56.78/package=9.09/clean=0.60