The following packages will be installed: ladr Fetching README... 0%100%100%100%100%100%Done Fetching ladr-libtoolize.diff... 0% 38% 77%100%100%100%100%100%Done Fetching ladr.SlackBuild... 0%100%100%100%100%100%Done Fetching ladr.info... 0%100%100%100%100%100%Done Fetching slack-desc... 0%100%100%100%100%100%Done LADR-2009-11A/ LADR-2009-11A/Makefile LADR-2009-11A/manpages/ LADR-2009-11A/manpages/prover9.1 LADR-2009-11A/manpages/mace4.1 LADR-2009-11A/README.make LADR-2009-11A/mace4.src/ LADR-2009-11A/mace4.src/ordercells.c LADR-2009-11A/mace4.src/help2 LADR-2009-11A/mace4.src/Makefile LADR-2009-11A/mace4.src/pub LADR-2009-11A/mace4.src/r1.in LADR-2009-11A/mace4.src/h1.in LADR-2009-11A/mace4.src/util.c LADR-2009-11A/mace4.src/estack.c LADR-2009-11A/mace4.src/msearch.c LADR-2009-11A/mace4.src/syms.h LADR-2009-11A/mace4.src/arithmetic.h LADR-2009-11A/mace4.src/temp LADR-2009-11A/mace4.src/propagate.c LADR-2009-11A/mace4.src/README.memory LADR-2009-11A/mace4.src/arithmetic.c LADR-2009-11A/mace4.src/mstate.h LADR-2009-11A/mace4.src/TAGS LADR-2009-11A/mace4.src/ground.h LADR-2009-11A/mace4.src/mace4.c LADR-2009-11A/mace4.src/negpropindex.c LADR-2009-11A/mace4.src/estack.h LADR-2009-11A/mace4.src/print.c LADR-2009-11A/mace4.src/help LADR-2009-11A/mace4.src/t1.in LADR-2009-11A/mace4.src/negprop.c LADR-2009-11A/mace4.src/h1.out LADR-2009-11A/mace4.src/propagate.h LADR-2009-11A/mace4.src/puzzles/ LADR-2009-11A/mace4.src/puzzles/f1.in~ LADR-2009-11A/mace4.src/puzzles/zebra2.out LADR-2009-11A/mace4.src/puzzles/temp LADR-2009-11A/mace4.src/puzzles/f1.in LADR-2009-11A/mace4.src/puzzles/zebra1.out LADR-2009-11A/mace4.src/puzzles/queens1.out LADR-2009-11A/mace4.src/puzzles/kenken6.in LADR-2009-11A/mace4.src/puzzles/zebra2.in LADR-2009-11A/mace4.src/puzzles/kenken6.out LADR-2009-11A/mace4.src/puzzles/queens2.in LADR-2009-11A/mace4.src/puzzles/send-money.out LADR-2009-11A/mace4.src/puzzles/queens2.out LADR-2009-11A/mace4.src/puzzles/queens1.in LADR-2009-11A/mace4.src/puzzles/send-money.in LADR-2009-11A/mace4.src/puzzles/f1.out LADR-2009-11A/mace4.src/puzzles/sudoku.out LADR-2009-11A/mace4.src/puzzles/sudoku.in LADR-2009-11A/mace4.src/puzzles/zebra1.in LADR-2009-11A/mace4.src/mstate.c LADR-2009-11A/mace4.src/msearch.c~ LADR-2009-11A/mace4.src/Changelog.old LADR-2009-11A/mace4.src/save/ LADR-2009-11A/mace4.src/save/raw-cooked~ LADR-2009-11A/mace4.src/save/raw-cooked LADR-2009-11A/mace4.src/syms.c LADR-2009-11A/mace4.src/util LADR-2009-11A/mace4.src/select.c LADR-2009-11A/mace4.src/commandline.c LADR-2009-11A/mace4.src/msearch.h LADR-2009-11A/mace4.src/ground.c LADR-2009-11A/mace4.src/index.html LADR-2009-11A/sed.gnu-blurb LADR-2009-11A/utilities-old/ LADR-2009-11A/utilities-old/proofs_to_hints LADR-2009-11A/utilities-old/oproofs_to_goals LADR-2009-11A/utilities-old/iterate LADR-2009-11A/utilities-old/oproofs_to_hints LADR-2009-11A/utilities-old/looper.pl LADR-2009-11A/utilities-old/attack2 LADR-2009-11A/utilities-old/proofs_to_goals LADR-2009-11A/ladr/ LADR-2009-11A/ladr/term.c LADR-2009-11A/ladr/discrim.c LADR-2009-11A/ladr/listterm.h LADR-2009-11A/ladr/ac_redun.h LADR-2009-11A/ladr/symbols.c LADR-2009-11A/ladr/string.c LADR-2009-11A/ladr/clist.c LADR-2009-11A/ladr/std_options.c LADR-2009-11A/ladr/dioph.h LADR-2009-11A/ladr/top_input.h LADR-2009-11A/ladr/clauses.h.bak LADR-2009-11A/ladr/btm.c LADR-2009-11A/ladr/literals.h LADR-2009-11A/ladr/basic.h LADR-2009-11A/ladr/tlist.c LADR-2009-11A/ladr/xproofs.h LADR-2009-11A/ladr/multiset.c LADR-2009-11A/ladr/discrimw.h LADR-2009-11A/ladr/btm.h LADR-2009-11A/ladr/Makefile LADR-2009-11A/ladr/order.c LADR-2009-11A/ladr/pub LADR-2009-11A/ladr/resolve.h LADR-2009-11A/ladr/formula.h LADR-2009-11A/ladr/dollar.c LADR-2009-11A/ladr/ioutil.c LADR-2009-11A/ladr/int_code.c~ LADR-2009-11A/ladr/html.tar.gz LADR-2009-11A/ladr/demod.h LADR-2009-11A/ladr/README.ac-redundancy LADR-2009-11A/ladr/formula.c LADR-2009-11A/ladr/a.out LADR-2009-11A/ladr/lindex.c LADR-2009-11A/ladr/dollar.c.save LADR-2009-11A/ladr/dollar.h LADR-2009-11A/ladr/discrim.h LADR-2009-11A/ladr/weight.h LADR-2009-11A/ladr/cycle LADR-2009-11A/ladr/discrimb.c LADR-2009-11A/ladr/ivy.h LADR-2009-11A/ladr/fpalist.c LADR-2009-11A/ladr/symbols.h LADR-2009-11A/ladr/demod.c LADR-2009-11A/ladr/attrib.h LADR-2009-11A/ladr/maximal.c LADR-2009-11A/ladr/paramod.c LADR-2009-11A/ladr/parautil.h LADR-2009-11A/ladr/pindex.h LADR-2009-11A/ladr/parautil.c LADR-2009-11A/ladr/temp LADR-2009-11A/ladr/features.c LADR-2009-11A/ladr/top_input.c LADR-2009-11A/ladr/temp25 LADR-2009-11A/ladr/fpa.h LADR-2009-11A/ladr/strbuf.c LADR-2009-11A/ladr/resolve.c LADR-2009-11A/ladr/features.h LADR-2009-11A/ladr/topform.h LADR-2009-11A/ladr/clausify.h LADR-2009-11A/ladr/termorder.c LADR-2009-11A/ladr/parse.c LADR-2009-11A/ladr/clausify.c LADR-2009-11A/ladr/term.h LADR-2009-11A/ladr/tptp_trans.h LADR-2009-11A/ladr/xproofs.c LADR-2009-11A/ladr/nonport.c LADR-2009-11A/ladr/fatal.h LADR-2009-11A/ladr/clauses.c~ LADR-2009-11A/ladr/work LADR-2009-11A/ladr/TAGS LADR-2009-11A/ladr/ivy.c LADR-2009-11A/ladr/sed.symbols LADR-2009-11A/ladr/paramod.h LADR-2009-11A/ladr/lindex.h LADR-2009-11A/ladr/just.c LADR-2009-11A/ladr/subsume.c LADR-2009-11A/ladr/options.c LADR-2009-11A/ladr/options.h LADR-2009-11A/ladr/accanon.c LADR-2009-11A/ladr/clause_eval.c LADR-2009-11A/ladr/weight.c LADR-2009-11A/ladr/complex.c LADR-2009-11A/ladr/index.h LADR-2009-11A/ladr/fpa.c LADR-2009-11A/ladr/clist.h LADR-2009-11A/ladr/discrimw.c LADR-2009-11A/ladr/mindex.h LADR-2009-11A/ladr/complex.h LADR-2009-11A/ladr/memory.c LADR-2009-11A/ladr/clauseid.h LADR-2009-11A/ladr/backdemod.h LADR-2009-11A/ladr/banner.c LADR-2009-11A/ladr/random.h LADR-2009-11A/ladr/subsume.h LADR-2009-11A/ladr/kol.pl LADR-2009-11A/ladr/fastparse.c LADR-2009-11A/ladr/clash.h LADR-2009-11A/ladr/flatterm.h LADR-2009-11A/ladr/clause_misc.h LADR-2009-11A/ladr/cnf.c LADR-2009-11A/ladr/cnf.h LADR-2009-11A/ladr/int_code.h LADR-2009-11A/ladr/interp.h LADR-2009-11A/ladr/backdemod.c LADR-2009-11A/ladr/hints.c LADR-2009-11A/ladr/order.h LADR-2009-11A/ladr/ladr.h LADR-2009-11A/ladr/glist.c LADR-2009-11A/ladr/clauses.c LADR-2009-11A/ladr/sed2 LADR-2009-11A/ladr/di_tree.h LADR-2009-11A/ladr/t1.in LADR-2009-11A/ladr/accanon.h LADR-2009-11A/ladr/weight2.c LADR-2009-11A/ladr/definitions.h LADR-2009-11A/ladr/topform.c LADR-2009-11A/ladr/clauseid.c LADR-2009-11A/ladr/compile LADR-2009-11A/ladr/flatterm.c LADR-2009-11A/ladr/clause_misc.c LADR-2009-11A/ladr/just.h LADR-2009-11A/ladr/sed3 LADR-2009-11A/ladr/header.h LADR-2009-11A/ladr/flatdemod.c LADR-2009-11A/ladr/strbuf.h LADR-2009-11A/ladr/nonport.h LADR-2009-11A/ladr/error LADR-2009-11A/ladr/interp.c LADR-2009-11A/ladr/basic.c LADR-2009-11A/ladr/sed1 LADR-2009-11A/ladr/banner.h LADR-2009-11A/ladr/weight2.h LADR-2009-11A/ladr/termorder.h LADR-2009-11A/ladr/discrimb.h LADR-2009-11A/ladr/README.char-types LADR-2009-11A/ladr/Changelog.old LADR-2009-11A/ladr/dots LADR-2009-11A/ladr/hash.h LADR-2009-11A/ladr/clock.c LADR-2009-11A/ladr/Makefile~ LADR-2009-11A/ladr/tptp_trans.c.work LADR-2009-11A/ladr/termflag.h LADR-2009-11A/ladr/random.c LADR-2009-11A/ladr/save/ LADR-2009-11A/ladr/save/term.c LADR-2009-11A/ladr/save/discrim.c LADR-2009-11A/ladr/save/clist.c LADR-2009-11A/ladr/save/weight1.c LADR-2009-11A/ladr/save/btm.c LADR-2009-11A/ladr/save/detach.c LADR-2009-11A/ladr/save/formula.c LADR-2009-11A/ladr/save/cnf.c.alarm LADR-2009-11A/ladr/save/lindex.c LADR-2009-11A/ladr/save/sos.c.old LADR-2009-11A/ladr/save/commands.c LADR-2009-11A/ladr/save/fpalist.c LADR-2009-11A/ladr/save/features.c LADR-2009-11A/ladr/save/strbuf.c LADR-2009-11A/ladr/save/printing LADR-2009-11A/ladr/save/parse.c LADR-2009-11A/ladr/save/detach.o LADR-2009-11A/ladr/save/str_toupper LADR-2009-11A/ladr/save/detach.h LADR-2009-11A/ladr/save/just.c LADR-2009-11A/ladr/save/options.c LADR-2009-11A/ladr/save/fpa.c LADR-2009-11A/ladr/save/sos.h LADR-2009-11A/ladr/save/commands2.c LADR-2009-11A/ladr/save/glist.c LADR-2009-11A/ladr/save/weight1.h LADR-2009-11A/ladr/save/detach.h.bak LADR-2009-11A/ladr/save/sos.h~ LADR-2009-11A/ladr/save/interp.c LADR-2009-11A/ladr/save/sos.c LADR-2009-11A/ladr/save/clause.c LADR-2009-11A/ladr/save/lex_compare LADR-2009-11A/ladr/save/mindex.c LADR-2009-11A/ladr/save/attrib.c LADR-2009-11A/ladr/save/fsyms_clist LADR-2009-11A/ladr/save/commands.h LADR-2009-11A/ladr/save/btu.c LADR-2009-11A/ladr/save/goals_to_denials LADR-2009-11A/ladr/save/unify.c LADR-2009-11A/ladr/save/hash.c LADR-2009-11A/ladr/save/clash.c LADR-2009-11A/ladr/save/pindex.c LADR-2009-11A/ladr/save/call_weight.c LADR-2009-11A/ladr/save/interp_remove_skolems LADR-2009-11A/ladr/save/read_tptp_file.c LADR-2009-11A/ladr/clause_eval.h LADR-2009-11A/ladr/di_tree.c LADR-2009-11A/ladr/kol.py LADR-2009-11A/ladr/ibuffer.c LADR-2009-11A/ladr/index.html.master LADR-2009-11A/ladr/fatal.c LADR-2009-11A/ladr/sed.1 LADR-2009-11A/ladr/std_options.h LADR-2009-11A/ladr/mindex.c LADR-2009-11A/ladr/hints.h LADR-2009-11A/ladr/html/ LADR-2009-11A/ladr/html/flatdemod.html LADR-2009-11A/ladr/html/listterm.html LADR-2009-11A/ladr/html/clash.html LADR-2009-11A/ladr/html/topform.html LADR-2009-11A/ladr/html/discrim.html LADR-2009-11A/ladr/html/hints.html LADR-2009-11A/ladr/html/top_input.html LADR-2009-11A/ladr/html/term.html LADR-2009-11A/ladr/html/hash.html LADR-2009-11A/ladr/html/fpalist.html LADR-2009-11A/ladr/html/nonport.html LADR-2009-11A/ladr/html/string.html LADR-2009-11A/ladr/html/random.html LADR-2009-11A/ladr/html/subsume.html LADR-2009-11A/ladr/html/memory.html LADR-2009-11A/ladr/html/tptp_trans.html LADR-2009-11A/ladr/html/fastparse.html LADR-2009-11A/ladr/html/paramod.html LADR-2009-11A/ladr/html/weight.html LADR-2009-11A/ladr/html/fpa.html LADR-2009-11A/ladr/html/avltree.html LADR-2009-11A/ladr/html/compress.html LADR-2009-11A/ladr/html/just.html LADR-2009-11A/ladr/html/demod.html LADR-2009-11A/ladr/html/accanon.html LADR-2009-11A/ladr/html/mindex.html LADR-2009-11A/ladr/html/fatal.html LADR-2009-11A/ladr/html/definitions.html LADR-2009-11A/ladr/html/ibuffer.html LADR-2009-11A/ladr/html/tlist.html LADR-2009-11A/ladr/html/termorder.html LADR-2009-11A/ladr/html/formula.html LADR-2009-11A/ladr/html/discrimw.html LADR-2009-11A/ladr/html/clauses.html LADR-2009-11A/ladr/html/features.html LADR-2009-11A/ladr/html/basic.html LADR-2009-11A/ladr/html/clause_misc.html LADR-2009-11A/ladr/html/termflag.html LADR-2009-11A/ladr/html/unify.html LADR-2009-11A/ladr/html/options.html LADR-2009-11A/ladr/html/xproofs.html LADR-2009-11A/ladr/html/std_options.html LADR-2009-11A/ladr/html/banner.html LADR-2009-11A/ladr/html/resolve.html LADR-2009-11A/ladr/html/btu.html LADR-2009-11A/ladr/html/clause_eval.html LADR-2009-11A/ladr/html/interp.html LADR-2009-11A/ladr/html/btm.html LADR-2009-11A/ladr/html/maximal.html LADR-2009-11A/ladr/html/lindex.html LADR-2009-11A/ladr/html/int_code.html LADR-2009-11A/ladr/html/ivy.html LADR-2009-11A/ladr/html/ac_redun.html LADR-2009-11A/ladr/html/ioutil.html LADR-2009-11A/ladr/html/order.html LADR-2009-11A/ladr/html/parautil.html LADR-2009-11A/ladr/html/clock.html LADR-2009-11A/ladr/html/di_tree.html LADR-2009-11A/ladr/html/backdemod.html LADR-2009-11A/ladr/html/dioph.html LADR-2009-11A/ladr/html/clausify.html LADR-2009-11A/ladr/html/strbuf.html LADR-2009-11A/ladr/html/parse.html LADR-2009-11A/ladr/html/flatterm.html LADR-2009-11A/ladr/html/multiset.html LADR-2009-11A/ladr/html/discrimb.html LADR-2009-11A/ladr/html/sos.html LADR-2009-11A/ladr/html/symbols.html LADR-2009-11A/ladr/html/attrib.html LADR-2009-11A/ladr/html/cnf.html LADR-2009-11A/ladr/html/clauseid.html LADR-2009-11A/ladr/html/literals.html LADR-2009-11A/ladr/html/index.html LADR-2009-11A/ladr/html/glist.html LADR-2009-11A/ladr/html/clist.html LADR-2009-11A/ladr/html/pindex.html LADR-2009-11A/ladr/tlist.h LADR-2009-11A/ladr/memory.h LADR-2009-11A/ladr/clock.h LADR-2009-11A/ladr/clauses.h LADR-2009-11A/ladr/fpalist.h LADR-2009-11A/ladr/symbols.c~ LADR-2009-11A/ladr/unify.h LADR-2009-11A/ladr/formula.c.work LADR-2009-11A/ladr/dioph.c LADR-2009-11A/ladr/util/ LADR-2009-11A/ladr/util/init-package LADR-2009-11A/ladr/util/make_dep LADR-2009-11A/ladr/util/temp LADR-2009-11A/ladr/util/options-for-gui.py LADR-2009-11A/ladr/util/backup LADR-2009-11A/ladr/util/new-type LADR-2009-11A/ladr/util/init-types LADR-2009-11A/ladr/util/make_htmls LADR-2009-11A/ladr/util/make_protos LADR-2009-11A/ladr/util/doc5 LADR-2009-11A/ladr/util/proto LADR-2009-11A/ladr/util/options-for-gui.py~ LADR-2009-11A/ladr/util/to-html LADR-2009-11A/ladr/ibuffer.h LADR-2009-11A/ladr/attrib.c LADR-2009-11A/ladr/tptp_trans.c LADR-2009-11A/ladr/multiset.h LADR-2009-11A/ladr/btu.c LADR-2009-11A/ladr/README.kbo LADR-2009-11A/ladr/test.c LADR-2009-11A/ladr/weighttest LADR-2009-11A/ladr/fastparse.h LADR-2009-11A/ladr/compress.h LADR-2009-11A/ladr/int_code.c LADR-2009-11A/ladr/avltree.c LADR-2009-11A/ladr/literals.c LADR-2009-11A/ladr/ioutil.h LADR-2009-11A/ladr/listterm.c LADR-2009-11A/ladr/tptp_trans.c~ LADR-2009-11A/ladr/unify.c LADR-2009-11A/ladr/hash.c LADR-2009-11A/ladr/README.termorder LADR-2009-11A/ladr/termflag.c LADR-2009-11A/ladr/clash.c LADR-2009-11A/ladr/pindex.c LADR-2009-11A/ladr/btu.h LADR-2009-11A/ladr/memory.c~ LADR-2009-11A/ladr/glist.h LADR-2009-11A/ladr/avltree.h LADR-2009-11A/ladr/string.h LADR-2009-11A/ladr/compress.c LADR-2009-11A/ladr/flatdemod.h LADR-2009-11A/ladr/definitions.c LADR-2009-11A/ladr/maximal.h LADR-2009-11A/ladr/ac_redun.c LADR-2009-11A/ladr/parse.h LADR-2009-11A/apps.examples/ LADR-2009-11A/apps.examples/Makefile LADR-2009-11A/apps.examples/distributivity LADR-2009-11A/apps.examples/interp.OL6 LADR-2009-11A/apps.examples/qg.in LADR-2009-11A/apps.examples/lattice-sax LADR-2009-11A/apps.examples/run-all LADR-2009-11A/apps.examples/BA-sheffer LADR-2009-11A/apps.examples/OL.in LADR-2009-11A/apps.examples/lattice-sax.id-check LADR-2009-11A/apps.examples/non-MOL-OML LADR-2009-11A/apps.examples/backup.Mar10/ LADR-2009-11A/apps.examples/backup.Mar10/meet-join-equations.out LADR-2009-11A/apps.examples/backup.Mar10/qg.out3 LADR-2009-11A/apps.examples/backup.Mar10/OL.8.upper-covers LADR-2009-11A/apps.examples/backup.Mar10/qg.iso3 LADR-2009-11A/apps.examples/backup.Mar10/lattice-sax.rewritten LADR-2009-11A/apps.examples/backup.Mar10/MOL-cand.238 LADR-2009-11A/apps.examples/backup.Mar10/OL.6 LADR-2009-11A/apps.examples/backup.Mar10/BA-sheffer.out LADR-2009-11A/apps.examples/backup.Mar10/OL.8.out LADR-2009-11A/apps.examples/backup.Mar10/OL.8 LADR-2009-11A/apps.examples/backup.Mar10/mjc01s-equations.out LADR-2009-11A/apps.examples/MOL-cand.296 LADR-2009-11A/apps.examples/sed1 LADR-2009-11A/apps.examples/meet-join-equations LADR-2009-11A/apps.examples/err LADR-2009-11A/apps.examples/backup.Jan14/ LADR-2009-11A/apps.examples/backup.Jan14/meet-join-equations.out LADR-2009-11A/apps.examples/backup.Jan14/qg.out3 LADR-2009-11A/apps.examples/backup.Jan14/OL.8.upper-covers LADR-2009-11A/apps.examples/backup.Jan14/qg.iso3 LADR-2009-11A/apps.examples/backup.Jan14/lattice-sax.rewritten LADR-2009-11A/apps.examples/backup.Jan14/MOL-cand.238 LADR-2009-11A/apps.examples/backup.Jan14/OL.6 LADR-2009-11A/apps.examples/backup.Jan14/BA-sheffer.out LADR-2009-11A/apps.examples/backup.Jan14/OL.8.out LADR-2009-11A/apps.examples/backup.Jan14/OL.8 LADR-2009-11A/apps.examples/backup.Jan14/mjc01s-equations.out LADR-2009-11A/apps.examples/lattice.rules LADR-2009-11A/apps.examples/README LADR-2009-11A/apps.examples/mjc01s-equations LADR-2009-11A/apps.examples/index.html LADR-2009-11A/bin/ LADR-2009-11A/README.release-reminder LADR-2009-11A/mace4.examples/ LADR-2009-11A/mace4.examples/rw1.in LADR-2009-11A/mace4.examples/group2.in LADR-2009-11A/mace4.examples/README LADR-2009-11A/.gdb_history LADR-2009-11A/bob/ LADR-2009-11A/bob/ioutil.c LADR-2009-11A/bob/just.c LADR-2009-11A/bob/ChangelogBV LADR-2009-11A/bob/prooftrans.c LADR-2009-11A/bob/ioutil.h LADR-2009-11A/libtoolize.patch LADR-2009-11A/README.AMD_64 LADR-2009-11A/VERSION_DATE.h LADR-2009-11A/rev.py LADR-2009-11A/TODO/ LADR-2009-11A/TODO/temp LADR-2009-11A/TODO/factor.in LADR-2009-11A/TODO/mace4-segv.in LADR-2009-11A/TODO/README LADR-2009-11A/TODO/ADAM_2007_loose_ends LADR-2009-11A/README.first LADR-2009-11A/COPYING LADR-2009-11A/Changelog LADR-2009-11A/provers.src/ LADR-2009-11A/provers.src/pred_elim.c LADR-2009-11A/provers.src/fof-prover9.c LADR-2009-11A/provers.src/Makefile LADR-2009-11A/provers.src/pub LADR-2009-11A/provers.src/unfold.c LADR-2009-11A/provers.src/utilities.h LADR-2009-11A/provers.src/search.h LADR-2009-11A/provers.src/forward_subsume.h LADR-2009-11A/provers.src/white_black.c LADR-2009-11A/provers.src/newauto.c LADR-2009-11A/provers.src/mprover.c LADR-2009-11A/provers.src/white_black.h LADR-2009-11A/provers.src/options LADR-2009-11A/provers.src/pred_elim.h LADR-2009-11A/provers.src/TAGS LADR-2009-11A/provers.src/actions.h LADR-2009-11A/provers.src/prover9.c LADR-2009-11A/provers.src/.gdb_history LADR-2009-11A/provers.src/semantics.c LADR-2009-11A/provers.src/semantics.h LADR-2009-11A/provers.src/forward_subsume.c LADR-2009-11A/provers.src/demodulate.h LADR-2009-11A/provers.src/foffer.h LADR-2009-11A/provers.src/foffer.c LADR-2009-11A/provers.src/autosketches.examples/ LADR-2009-11A/provers.src/autosketches.examples/n3.in LADR-2009-11A/provers.src/autosketches.examples/xhn.in LADR-2009-11A/provers.src/autosketches.examples/newauto.c.from_bob LADR-2009-11A/provers.src/autosketches.examples/go LADR-2009-11A/provers.src/autosketches.examples/BA.in LADR-2009-11A/provers.src/autosketches.examples/BA.out LADR-2009-11A/provers.src/autosketches.examples/ec.out LADR-2009-11A/provers.src/autosketches.examples/ec.in LADR-2009-11A/provers.src/autosketches.examples/err LADR-2009-11A/provers.src/autosketches.examples/README LADR-2009-11A/provers.src/autosketches.examples/newsax.c.from_bob LADR-2009-11A/provers.src/autosketches.examples/n3.out LADR-2009-11A/provers.src/autosketches.examples/xhn.out LADR-2009-11A/provers.src/README.wired-in LADR-2009-11A/provers.src/README.symbol_order LADR-2009-11A/provers.src/README.actions LADR-2009-11A/provers.src/newsax.c LADR-2009-11A/provers.src/test.p LADR-2009-11A/provers.src/giv_select.h LADR-2009-11A/provers.src/giv_select.c LADR-2009-11A/provers.src/iterate4.c LADR-2009-11A/provers.src/search.c LADR-2009-11A/provers.src/index_lits.h LADR-2009-11A/provers.src/search-structures.h LADR-2009-11A/provers.src/save/ LADR-2009-11A/provers.src/save/picker.c LADR-2009-11A/provers.src/save/control_sos.h LADR-2009-11A/provers.src/save/auto.h LADR-2009-11A/provers.src/save/fork_and_wait LADR-2009-11A/provers.src/save/auto.c LADR-2009-11A/provers.src/save/prover9-simple.c LADR-2009-11A/provers.src/save/control_sos.c LADR-2009-11A/provers.src/save/poptions.h LADR-2009-11A/provers.src/save/poptions.c LADR-2009-11A/provers.src/save/definitions.h LADR-2009-11A/provers.src/save/attributes.c LADR-2009-11A/provers.src/save/lits_index.c LADR-2009-11A/provers.src/save/ploop4.c LADR-2009-11A/provers.src/save/prover9.h LADR-2009-11A/provers.src/save/cgrep.c LADR-2009-11A/provers.src/save/picker.h LADR-2009-11A/provers.src/save/lits_index.h LADR-2009-11A/provers.src/save/loop2.c LADR-2009-11A/provers.src/save/attributes.h LADR-2009-11A/provers.src/save/definitions.c LADR-2009-11A/provers.src/demodulate.c LADR-2009-11A/provers.src/README.new-sos-limit LADR-2009-11A/provers.src/index_lits.c LADR-2009-11A/provers.src/ladr_to_tptp.c LADR-2009-11A/provers.src/README.sos LADR-2009-11A/provers.src/README.white-black LADR-2009-11A/provers.src/util LADR-2009-11A/provers.src/README.parts LADR-2009-11A/provers.src/provers.h LADR-2009-11A/provers.src/unfold.h LADR-2009-11A/provers.src/utilities.c LADR-2009-11A/provers.src/README.doc LADR-2009-11A/provers.src/tptp_to_ladr.c LADR-2009-11A/provers.src/README.process LADR-2009-11A/provers.src/actions.c LADR-2009-11A/provers.src/provers.c LADR-2009-11A/provers.src/autosketches4.c LADR-2009-11A/test.src/ LADR-2009-11A/test.src/Makefile LADR-2009-11A/test.src/tptp_test LADR-2009-11A/test.src/avltest.c LADR-2009-11A/test.src/TAGS LADR-2009-11A/test.src/t1 LADR-2009-11A/test.src/t2 LADR-2009-11A/test.src/tptp_test.c LADR-2009-11A/test.src/avltest LADR-2009-11A/test.src/t2.in LADR-2009-11A/prover9.examples/ LADR-2009-11A/prover9.examples/x2.out LADR-2009-11A/prover9.examples/x2.hints LADR-2009-11A/prover9.examples/README LADR-2009-11A/prover9.examples/x2.in LADR-2009-11A/utilities/ LADR-2009-11A/utilities/prover9-mace4 LADR-2009-11A/utilities/attack LADR-2009-11A/utilities/looper LADR-2009-11A/utilities/gvizify LADR-2009-11A/utilities/get_kept LADR-2009-11A/utilities/proof3fo.xsl LADR-2009-11A/utilities/get_givens LADR-2009-11A/utilities/get_interps LADR-2009-11A/apps.src/ LADR-2009-11A/apps.src/test_complex.c LADR-2009-11A/apps.src/proof3.dtd LADR-2009-11A/apps.src/gen_trc_defs.c LADR-2009-11A/apps.src/Makefile LADR-2009-11A/apps.src/upper-covers.c LADR-2009-11A/apps.src/demods2 LADR-2009-11A/apps.src/interp3.xsl LADR-2009-11A/apps.src/h1.in LADR-2009-11A/apps.src/sigtest.c LADR-2009-11A/apps.src/sed.db-to-queries LADR-2009-11A/apps.src/README.solaris LADR-2009-11A/apps.src/README.directproof LADR-2009-11A/apps.src/olfilter.c LADR-2009-11A/apps.src/TAGS LADR-2009-11A/apps.src/isofilter.c LADR-2009-11A/apps.src/rewriter2.c LADR-2009-11A/apps.src/g2.model LADR-2009-11A/apps.src/isofilter2.c LADR-2009-11A/apps.src/.gdb_history LADR-2009-11A/apps.src/renamer.c LADR-2009-11A/apps.src/complex.c LADR-2009-11A/apps.src/miniscope.c LADR-2009-11A/apps.src/clausefilter.c LADR-2009-11A/apps.src/demods LADR-2009-11A/apps.src/py1 LADR-2009-11A/apps.src/awk1 LADR-2009-11A/apps.src/rewriter.c LADR-2009-11A/apps.src/mirror-flip.c LADR-2009-11A/apps.src/isofilter0.c LADR-2009-11A/apps.src/old/ LADR-2009-11A/apps.src/old/deny.c LADR-2009-11A/apps.src/old/cdprover.c LADR-2009-11A/apps.src/old/latgen.c LADR-2009-11A/apps.src/old/README LADR-2009-11A/apps.src/old/modelformat.c LADR-2009-11A/apps.src/old/undeny.c LADR-2009-11A/apps.src/prooftrans.c LADR-2009-11A/apps.src/sed2 LADR-2009-11A/apps.src/clausetester.c LADR-2009-11A/apps.src/H65d.givens LADR-2009-11A/apps.src/t1.in LADR-2009-11A/apps.src/interpfilter.c LADR-2009-11A/apps.src/h1.out LADR-2009-11A/apps.src/interpformat.c LADR-2009-11A/apps.src/sed1 LADR-2009-11A/apps.src/lt.dist LADR-2009-11A/apps.src/test_clause_eval.c LADR-2009-11A/apps.src/lt.m3 LADR-2009-11A/apps.src/unfast.c LADR-2009-11A/apps.src/proof3.xsl LADR-2009-11A/apps.src/directproof.c LADR-2009-11A/apps.src/sig.py LADR-2009-11A/apps.src/idfilter.c LADR-2009-11A/apps.src/perm3.c LADR-2009-11A/apps.src/dprofiles.c LADR-2009-11A/apps.src/notes LADR-2009-11A/apps.src/problems LADR-2009-11A/apps.src/interp3.dtd LADR-2009-11A/apps.src/test-directproof/ LADR-2009-11A/apps.src/test-directproof/omlsax2.direct LADR-2009-11A/apps.src/test-directproof/bw.direct LADR-2009-11A/apps.src/test-directproof/AD-gt.direct LADR-2009-11A/apps.src/test-directproof/3.1.out LADR-2009-11A/apps.src/test-directproof/rba.out LADR-2009-11A/apps.src/test-directproof/3.6.direct LADR-2009-11A/apps.src/test-directproof/temp LADR-2009-11A/apps.src/test-directproof/3.6.out LADR-2009-11A/apps.src/test-directproof/temp0 LADR-2009-11A/apps.src/test-directproof/3b.prf LADR-2009-11A/apps.src/test-directproof/dist-short-long.out LADR-2009-11A/apps.src/test-directproof/dist-short-long.direct LADR-2009-11A/apps.src/test-directproof/3b.direct LADR-2009-11A/apps.src/test-directproof/results-on-std-examples LADR-2009-11A/apps.src/test-directproof/bw.out LADR-2009-11A/apps.src/test-directproof/AD-gt.out LADR-2009-11A/apps.src/test-directproof/omlsax2.out LADR-2009-11A/apps.src/test-directproof/rba.direct LADR-2009-11A/apps.src/test-directproof/3.1.direct LADR-2009-11A/apps.src/latfilter.c patching file Makefile patching file apps.src/Makefile patching file ladr/Makefile patching file mace4.src/Makefile patching file provers.src/Makefile patching file test.src/Makefile cd ladr && make lib XFLAGS+=-D_REENTRANT make[1]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make libladr.la make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o order.lo order.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT order.c -fPIC -DPIC -o .libs/order.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT order.c -o order.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clock.lo clock.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clock.c -fPIC -DPIC -o .libs/clock.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clock.c -o clock.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o nonport.lo nonport.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT nonport.c -fPIC -DPIC -o .libs/nonport.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT nonport.c -o nonport.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o fatal.lo fatal.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fatal.c -fPIC -DPIC -o .libs/fatal.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fatal.c -o fatal.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o ibuffer.lo ibuffer.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ibuffer.c -fPIC -DPIC -o .libs/ibuffer.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ibuffer.c -o ibuffer.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o memory.lo memory.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT memory.c -fPIC -DPIC -o .libs/memory.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT memory.c -o memory.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o hash.lo hash.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT hash.c -fPIC -DPIC -o .libs/hash.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT hash.c -o hash.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o string.lo string.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT string.c -fPIC -DPIC -o .libs/string.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT string.c -o string.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o strbuf.lo strbuf.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT strbuf.c -fPIC -DPIC -o .libs/strbuf.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT strbuf.c -o strbuf.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o glist.lo glist.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT glist.c -fPIC -DPIC -o .libs/glist.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT glist.c -o glist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o options.lo options.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT options.c -fPIC -DPIC -o .libs/options.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT options.c -o options.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o symbols.lo symbols.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT symbols.c -fPIC -DPIC -o .libs/symbols.o symbols.c: In function ‘declare_base_symbols’: symbols.c:1304:7: warning: variable ‘sn’ set but not used [-Wunused-but-set-variable] 1304 | int sn; | ^~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT symbols.c -o symbols.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o avltree.lo avltree.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT avltree.c -fPIC -DPIC -o .libs/avltree.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT avltree.c -o avltree.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o term.lo term.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT term.c -fPIC -DPIC -o .libs/term.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT term.c -o term.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o termflag.lo termflag.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT termflag.c -fPIC -DPIC -o .libs/termflag.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT termflag.c -o termflag.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o listterm.lo listterm.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT listterm.c -fPIC -DPIC -o .libs/listterm.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT listterm.c -o listterm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o tlist.lo tlist.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT tlist.c -fPIC -DPIC -o .libs/tlist.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT tlist.c -o tlist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o flatterm.lo flatterm.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT flatterm.c -fPIC -DPIC -o .libs/flatterm.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT flatterm.c -o flatterm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o multiset.lo multiset.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT multiset.c -fPIC -DPIC -o .libs/multiset.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT multiset.c -o multiset.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o termorder.lo termorder.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT termorder.c -fPIC -DPIC -o .libs/termorder.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT termorder.c -o termorder.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o parse.lo parse.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT parse.c -fPIC -DPIC -o .libs/parse.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT parse.c -o parse.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o accanon.lo accanon.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT accanon.c -fPIC -DPIC -o .libs/accanon.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT accanon.c -o accanon.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o unify.lo unify.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT unify.c -fPIC -DPIC -o .libs/unify.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT unify.c -o unify.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o fpalist.lo fpalist.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fpalist.c -fPIC -DPIC -o .libs/fpalist.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fpalist.c -o fpalist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o fpa.lo fpa.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fpa.c -fPIC -DPIC -o .libs/fpa.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fpa.c -o fpa.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o discrim.lo discrim.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT discrim.c -fPIC -DPIC -o .libs/discrim.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT discrim.c -o discrim.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o discrimb.lo discrimb.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT discrimb.c -fPIC -DPIC -o .libs/discrimb.o discrimb.c:487:7: warning: ‘check_flat2’ defined but not used [-Wunused-function] 487 | Flat2 check_flat2(Flat2 f) | ^~~~~~~~~~~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT discrimb.c -o discrimb.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o discrimw.lo discrimw.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT discrimw.c -fPIC -DPIC -o .libs/discrimw.o discrimw.c:146:6: warning: ‘check_flat’ defined but not used [-Wunused-function] 146 | Flat check_flat(Flat f) | ^~~~~~~~~~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT discrimw.c -o discrimw.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o dioph.lo dioph.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT dioph.c -fPIC -DPIC -o .libs/dioph.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT dioph.c -o dioph.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o btu.lo btu.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT btu.c -fPIC -DPIC -o .libs/btu.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT btu.c -o btu.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o btm.lo btm.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT btm.c -fPIC -DPIC -o .libs/btm.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT btm.c -o btm.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o mindex.lo mindex.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT mindex.c -fPIC -DPIC -o .libs/mindex.o mindex.c: In function ‘mindex_retrieve_next’: mindex.c:650:11: warning: variable ‘tr’ set but not used [-Wunused-but-set-variable] 650 | Trail tr; | ^~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT mindex.c -o mindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o basic.lo basic.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT basic.c -fPIC -DPIC -o .libs/basic.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT basic.c -o basic.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o attrib.lo attrib.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT attrib.c -fPIC -DPIC -o .libs/attrib.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT attrib.c -o attrib.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o formula.lo formula.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT formula.c -fPIC -DPIC -o .libs/formula.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT formula.c -o formula.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o definitions.lo definitions.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT definitions.c -fPIC -DPIC -o .libs/definitions.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT definitions.c -o definitions.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o literals.lo literals.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT literals.c -fPIC -DPIC -o .libs/literals.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT literals.c -o literals.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o topform.lo topform.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT topform.c -fPIC -DPIC -o .libs/topform.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT topform.c -o topform.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clist.lo clist.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clist.c -fPIC -DPIC -o .libs/clist.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clist.c -o clist.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clauseid.lo clauseid.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clauseid.c -fPIC -DPIC -o .libs/clauseid.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clauseid.c -o clauseid.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clauses.lo clauses.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clauses.c -fPIC -DPIC -o .libs/clauses.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clauses.c -o clauses.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o just.lo just.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT just.c -fPIC -DPIC -o .libs/just.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT just.c -o just.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o cnf.lo cnf.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT cnf.c -fPIC -DPIC -o .libs/cnf.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT cnf.c -o cnf.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clausify.lo clausify.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clausify.c -fPIC -DPIC -o .libs/clausify.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clausify.c -o clausify.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o parautil.lo parautil.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT parautil.c -fPIC -DPIC -o .libs/parautil.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT parautil.c -o parautil.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o pindex.lo pindex.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT pindex.c -fPIC -DPIC -o .libs/pindex.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT pindex.c -o pindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o compress.lo compress.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT compress.c -fPIC -DPIC -o .libs/compress.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT compress.c -o compress.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o maximal.lo maximal.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT maximal.c -fPIC -DPIC -o .libs/maximal.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT maximal.c -o maximal.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o lindex.lo lindex.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT lindex.c -fPIC -DPIC -o .libs/lindex.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT lindex.c -o lindex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o weight.lo weight.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT weight.c -fPIC -DPIC -o .libs/weight.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT weight.c -o weight.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o weight2.lo weight2.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT weight2.c -fPIC -DPIC -o .libs/weight2.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT weight2.c -o weight2.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o int_code.lo int_code.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT int_code.c -fPIC -DPIC -o .libs/int_code.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT int_code.c -o int_code.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o features.lo features.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT features.c -fPIC -DPIC -o .libs/features.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT features.c -o features.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o di_tree.lo di_tree.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT di_tree.c -fPIC -DPIC -o .libs/di_tree.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT di_tree.c -o di_tree.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o fastparse.lo fastparse.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fastparse.c -fPIC -DPIC -o .libs/fastparse.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT fastparse.c -o fastparse.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o random.lo random.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT random.c -fPIC -DPIC -o .libs/random.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT random.c -o random.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o subsume.lo subsume.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT subsume.c -fPIC -DPIC -o .libs/subsume.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT subsume.c -o subsume.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clause_misc.lo clause_misc.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clause_misc.c -fPIC -DPIC -o .libs/clause_misc.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clause_misc.c -o clause_misc.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clause_eval.lo clause_eval.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clause_eval.c -fPIC -DPIC -o .libs/clause_eval.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clause_eval.c -o clause_eval.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o complex.lo complex.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT complex.c -fPIC -DPIC -o .libs/complex.o complex.c: In function ‘complex4_p1’: complex.c:275:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 275 | BOOL dummy; | ^~~~~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT complex.c -o complex.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o dollar.lo dollar.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT dollar.c -fPIC -DPIC -o .libs/dollar.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT dollar.c -o dollar.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o flatdemod.lo flatdemod.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT flatdemod.c -fPIC -DPIC -o .libs/flatdemod.o flatdemod.c: In function ‘discrim_flat_retrieve_leaf’: flatdemod.c:122:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 122 | if (status == BACKTRACK) { | ^~ flatdemod.c:158:15: warning: variable ‘dd’ set but not used [-Wunused-but-set-variable] 158 | Discrim dd = NULL; | ^~ flatdemod.c:167:16: warning: comparison between ‘BOOL’ and ‘enum ’ [-Wenum-compare] 167 | if (status == GO) { | ^~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT flatdemod.c -o flatdemod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o demod.lo demod.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT demod.c -fPIC -DPIC -o .libs/demod.o demod.c: In function ‘demod1’: demod.c:376:8: warning: variable ‘result’ set but not used [-Wunused-but-set-variable] 376 | Term result; | ^~~~~~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT demod.c -o demod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o clash.lo clash.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clash.c -fPIC -DPIC -o .libs/clash.o clash.c: In function ‘clash_recurse’: clash.c:283:12: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 283 | else if (!p->clashable | p->clashed) | ^~~~~~~~~~~~~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT clash.c -o clash.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o resolve.lo resolve.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT resolve.c -fPIC -DPIC -o .libs/resolve.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT resolve.c -o resolve.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o paramod.lo paramod.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT paramod.c -fPIC -DPIC -o .libs/paramod.o paramod.c: In function ‘para_into’: paramod.c:347:8: warning: suggest parentheses around operand of ‘!’ or change ‘|’ to ‘||’ or ‘!’ to ‘~’ [-Wparentheses] 347 | if ((!VARIABLE(into) | Para_into_vars) && basic_check(into)) { libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT paramod.c -o paramod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o backdemod.lo backdemod.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT backdemod.c -fPIC -DPIC -o .libs/backdemod.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT backdemod.c -o backdemod.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o hints.lo hints.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT hints.c -fPIC -DPIC -o .libs/hints.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT hints.c -o hints.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o ac_redun.lo ac_redun.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ac_redun.c -fPIC -DPIC -o .libs/ac_redun.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ac_redun.c -o ac_redun.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o xproofs.lo xproofs.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT xproofs.c -fPIC -DPIC -o .libs/xproofs.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT xproofs.c -o xproofs.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o ivy.lo ivy.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ivy.c -fPIC -DPIC -o .libs/ivy.o ivy.c: In function ‘factor2_instances’: ivy.c:633:14: warning: variable ‘l1i’ set but not used [-Wunused-but-set-variable] 633 | Literals l1i, l2i, lit; | ^~~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ivy.c -o ivy.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o interp.lo interp.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT interp.c -fPIC -DPIC -o .libs/interp.o interp.c: In function ‘transpose_binary’: interp.c:358:10: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 358 | int i, rc; | ^~ libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT interp.c -o interp.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o std_options.lo std_options.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT std_options.c -fPIC -DPIC -o .libs/std_options.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT std_options.c -o std_options.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o banner.lo banner.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT banner.c -fPIC -DPIC -o .libs/banner.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT banner.c -o banner.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o ioutil.lo ioutil.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ioutil.c -fPIC -DPIC -o .libs/ioutil.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT ioutil.c -o ioutil.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o tptp_trans.lo tptp_trans.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT tptp_trans.c -fPIC -DPIC -o .libs/tptp_trans.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT tptp_trans.c -o tptp_trans.o >/dev/null 2>&1 libtool --mode=compile gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT -o top_input.lo top_input.c libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT top_input.c -fPIC -DPIC -o .libs/top_input.o libtool: compile: gcc -c -O2 -march=i586 -mtune=i686 -D_REENTRANT -O -Wall -O2 -march=i586 -mtune=i686 -D_REENTRANT top_input.c -o top_input.o >/dev/null 2>&1 libtool --mode=link gcc -shared -rpath /usr/lib -version-info 4:0:0 -o libladr.la order.lo clock.lo nonport.lo fatal.lo ibuffer.lo memory.lo hash.lo string.lo strbuf.lo glist.lo options.lo symbols.lo avltree.lo term.lo termflag.lo listterm.lo tlist.lo flatterm.lo multiset.lo termorder.lo parse.lo accanon.lo unify.lo fpalist.lo fpa.lo discrim.lo discrimb.lo discrimw.lo dioph.lo btu.lo btm.lo mindex.lo basic.lo attrib.lo formula.lo definitions.lo literals.lo topform.lo clist.lo clauseid.lo clauses.lo just.lo cnf.lo clausify.lo parautil.lo pindex.lo compress.lo maximal.lo lindex.lo weight.lo weight2.lo int_code.lo features.lo di_tree.lo fastparse.lo random.lo subsume.lo clause_misc.lo clause_eval.lo complex.lo dollar.lo flatdemod.lo demod.lo clash.lo resolve.lo paramod.lo backdemod.lo hints.lo ac_redun.lo xproofs.lo ivy.lo interp.lo std_options.lo banner.lo ioutil.lo tptp_trans.lo top_input.lo -lm libtool: link: gcc -shared -fPIC -DPIC .libs/order.o .libs/clock.o .libs/nonport.o .libs/fatal.o .libs/ibuffer.o .libs/memory.o .libs/hash.o .libs/string.o .libs/strbuf.o .libs/glist.o .libs/options.o .libs/symbols.o .libs/avltree.o .libs/term.o .libs/termflag.o .libs/listterm.o .libs/tlist.o .libs/flatterm.o .libs/multiset.o .libs/termorder.o .libs/parse.o .libs/accanon.o .libs/unify.o .libs/fpalist.o .libs/fpa.o .libs/discrim.o .libs/discrimb.o .libs/discrimw.o .libs/dioph.o .libs/btu.o .libs/btm.o .libs/mindex.o .libs/basic.o .libs/attrib.o .libs/formula.o .libs/definitions.o .libs/literals.o .libs/topform.o .libs/clist.o .libs/clauseid.o .libs/clauses.o .libs/just.o .libs/cnf.o .libs/clausify.o .libs/parautil.o .libs/pindex.o .libs/compress.o .libs/maximal.o .libs/lindex.o .libs/weight.o .libs/weight2.o .libs/int_code.o .libs/features.o .libs/di_tree.o .libs/fastparse.o .libs/random.o .libs/subsume.o .libs/clause_misc.o .libs/clause_eval.o .libs/complex.o .libs/dollar.o .libs/flatdemod.o .libs/demod.o .libs/clash.o .libs/resolve.o .libs/paramod.o .libs/backdemod.o .libs/hints.o .libs/ac_redun.o .libs/xproofs.o .libs/ivy.o .libs/interp.o .libs/std_options.o .libs/banner.o .libs/ioutil.o .libs/tptp_trans.o .libs/top_input.o -lm -Wl,-soname -Wl,libladr.so.4 -o .libs/libladr.so.4.0.0 libtool: link: (cd ".libs" && rm -f "libladr.so.4" && ln -s "libladr.so.4.0.0" "libladr.so.4") libtool: link: (cd ".libs" && rm -f "libladr.so" && ln -s "libladr.so.4.0.0" "libladr.so") libtool: link: ( cd ".libs" && rm -f "libladr.la" && ln -s "../libladr.la" "libladr.la" ) make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make[1]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' cd mace4.src && make all make[1]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' cd ../ladr && make libladr.la make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make[2]: 'libladr.la' is up to date. make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make clean make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' libtool --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' make libmace4.a make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o estack.o estack.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o util.o util.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o print.o print.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o syms.o syms.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o ground.o ground.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o arithmetic.o arithmetic.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o select.o select.c select.c: In function ‘select_concentric_band’: select.c:236:5: warning: type of ‘min_id’ defaults to ‘int’ [-Wimplicit-int] 236 | int select_concentric_band(min_id, max_id, max_constrained) | ^~~~~~~~~~~~~~~~~~~~~~ select.c:236:5: warning: type of ‘max_id’ defaults to ‘int’ [-Wimplicit-int] select.c:236:5: warning: type of ‘max_constrained’ defaults to ‘int’ [-Wimplicit-int] gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o propagate.o propagate.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o mstate.o mstate.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o negpropindex.o negpropindex.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o negprop.o negprop.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o ordercells.o ordercells.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o commandline.o commandline.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o msearch.o msearch.c msearch.c: In function ‘next_domain_size’: msearch.c:850:5: warning: type of ‘n’ defaults to ‘int’ [-Wimplicit-int] 850 | int next_domain_size(n) | ^~~~~~~~~~~~~~~~ ar rs libmace4.a estack.o util.o print.o syms.o ground.o arithmetic.o select.o propagate.o mstate.o negpropindex.o negprop.o ordercells.o commandline.o msearch.o ar: creating libmace4.a make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o mace4.o mace4.c mace4.c: In function ‘init_attrs’: mace4.c:36:7: warning: variable ‘id’ set but not used [-Wunused-but-set-variable] 36 | int id; | ^~ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o mace4 mace4.o libmace4.a ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/mace4 mace4.o libmace4.a ../ladr/.libs/libladr.so -lm libtool --mode=install /bin/cp mace4 `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mace4 /usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src/../bin/mace4 make[1]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' cd provers.src && make all make[1]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src' cd ../ladr && make libladr make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make libladr.la make[3]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make[3]: 'libladr.la' is up to date. make[3]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make clean make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src' libtool --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src' cd ../mace4.src && make libmace4 make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' make libmace4.a make[3]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' make[3]: 'libmace4.a' is up to date. make[3]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/mace4.src' make clean make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src' libtool --mode=clean /bin/rm -f *.o make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src' gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o prover9.o prover9.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o index_lits.o index_lits.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o forward_subsume.o forward_subsume.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o demodulate.o demodulate.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o pred_elim.o pred_elim.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o unfold.o unfold.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o semantics.o semantics.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o giv_select.o giv_select.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o white_black.o white_black.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o actions.o actions.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o search.o search.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o utilities.o utilities.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o provers.o provers.c gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o foffer.o foffer.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/prover9 prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o fof-prover9.o fof-prover9.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/fof-prover9 fof-prover9.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o autosketches4.o autosketches4.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/autosketches4 autosketches4.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o newauto.o newauto.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/newauto newauto.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o newsax.o newsax.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/newsax newsax.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o ladr_to_tptp.o ladr_to_tptp.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/ladr_to_tptp ladr_to_tptp.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o tptp_to_ladr.o tptp_to_ladr.c tptp_to_ladr.c: In function ‘main’: tptp_to_ladr.c:84:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 84 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/tptp_to_ladr tptp_to_ladr.o index_lits.o forward_subsume.o demodulate.o pred_elim.o unfold.o semantics.o giv_select.o white_black.o actions.o search.o utilities.o provers.o foffer.o ../ladr/.libs/libladr.so -lm libtool --mode=install /bin/cp -p prover9 fof-prover9 autosketches4 newauto newsax ladr_to_tptp tptp_to_ladr `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/prover9 /usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src/../bin/prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/fof-prover9 /usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src/../bin/fof-prover9 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/autosketches4 /usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src/../bin/autosketches4 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newauto /usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src/../bin/newauto libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/newsax /usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src/../bin/newsax libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/ladr_to_tptp /usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src/../bin/ladr_to_tptp libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp -p .libs/tptp_to_ladr /usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src/../bin/tptp_to_ladr libtool --mode=clean /bin/rm -f *.o libtool: clean: /bin/rm -f actions.o libtool: clean: /bin/rm -f autosketches4.o libtool: clean: /bin/rm -f demodulate.o libtool: clean: /bin/rm -f fof-prover9.o libtool: clean: /bin/rm -f foffer.o libtool: clean: /bin/rm -f forward_subsume.o libtool: clean: /bin/rm -f giv_select.o libtool: clean: /bin/rm -f index_lits.o libtool: clean: /bin/rm -f ladr_to_tptp.o libtool: clean: /bin/rm -f newauto.o libtool: clean: /bin/rm -f newsax.o libtool: clean: /bin/rm -f pred_elim.o libtool: clean: /bin/rm -f prover9.o libtool: clean: /bin/rm -f provers.o libtool: clean: /bin/rm -f search.o libtool: clean: /bin/rm -f semantics.o libtool: clean: /bin/rm -f tptp_to_ladr.o libtool: clean: /bin/rm -f unfold.o libtool: clean: /bin/rm -f utilities.o libtool: clean: /bin/rm -f white_black.o libtool: clean: rmdir .libs >/dev/null 2>&1 make[1]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/provers.src' cd apps.src && make all make[1]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src' cd ../ladr && make libladr.la make[2]: Entering directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' make[2]: 'libladr.la' is up to date. make[2]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/ladr' gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o latfilter.o latfilter.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o latfilter latfilter.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/latfilter latfilter.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o olfilter.o olfilter.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o olfilter olfilter.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/olfilter olfilter.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o clausefilter.o clausefilter.c clausefilter.c: In function ‘main’: clausefilter.c:109:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 109 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o clausefilter clausefilter.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/clausefilter clausefilter.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o idfilter.o idfilter.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o idfilter idfilter.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/idfilter idfilter.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o renamer.o renamer.c renamer.c: In function ‘main’: renamer.c:54:9: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 54 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o renamer renamer.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/renamer renamer.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o unfast.o unfast.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o unfast unfast.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/unfast unfast.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o clausetester.o clausetester.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o clausetester clausetester.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/clausetester clausetester.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o rewriter.o rewriter.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o rewriter rewriter.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/rewriter rewriter.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o isofilter0.o isofilter0.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o isofilter0 isofilter0.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/isofilter0 isofilter0.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o isofilter.o isofilter.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o isofilter isofilter.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/isofilter isofilter.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o isofilter2.o isofilter2.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o isofilter2 isofilter2.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/isofilter2 isofilter2.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o dprofiles.o dprofiles.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o dprofiles dprofiles.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/dprofiles dprofiles.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o interpfilter.o interpfilter.c interpfilter.c: In function ‘main’: interpfilter.c:66:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 66 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o interpfilter interpfilter.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/interpfilter interpfilter.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o upper-covers.o upper-covers.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o upper-covers upper-covers.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/upper-covers upper-covers.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o miniscope.o miniscope.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o miniscope miniscope.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/miniscope miniscope.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o interpformat.o interpformat.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o interpformat interpformat.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/interpformat interpformat.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o prooftrans.o prooftrans.c prooftrans.c: In function ‘main’: prooftrans.c:225:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 225 | int label_attr, answer_attr, props_attr; | ^~~~~~~~~~ prooftrans.c:222:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 222 | int rc, n, number_of_proofs; | ^~ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o prooftrans prooftrans.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/prooftrans prooftrans.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o mirror-flip.o mirror-flip.c mirror-flip.c: In function ‘main’: mirror-flip.c:129:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 129 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o mirror-flip mirror-flip.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/mirror-flip mirror-flip.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o perm3.o perm3.c perm3.c: In function ‘main’: perm3.c:120:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 120 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o perm3 perm3.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/perm3 perm3.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o sigtest.o sigtest.c sigtest.c: In function ‘main’: sigtest.c:33:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 33 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o sigtest sigtest.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/sigtest sigtest.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o directproof.o directproof.c directproof.c: In function ‘main’: directproof.c:645:32: warning: variable ‘props_attr’ set but not used [-Wunused-but-set-variable] 645 | int label_attr, answer_attr, props_attr; | ^~~~~~~~~~ directproof.c:645:7: warning: variable ‘label_attr’ set but not used [-Wunused-but-set-variable] 645 | int label_attr, answer_attr, props_attr; | ^~~~~~~~~~ directproof.c:642:7: warning: variable ‘rc’ set but not used [-Wunused-but-set-variable] 642 | int rc, n, number_of_proofs; | ^~ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o directproof directproof.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/directproof directproof.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o test_clause_eval.o test_clause_eval.c test_clause_eval.c: In function ‘main’: test_clause_eval.c:31:7: warning: variable ‘i’ set but not used [-Wunused-but-set-variable] 31 | int i; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o test_clause_eval test_clause_eval.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/test_clause_eval test_clause_eval.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o test_complex.o test_complex.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o test_complex test_complex.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/test_complex test_complex.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o complex.o complex.c complex.c: In function ‘complex4_p1’: complex.c:79:8: warning: variable ‘dummy’ set but not used [-Wunused-but-set-variable] 79 | BOOL dummy; | ^~~~~ complex.c: In function ‘main’: complex.c:126:12: warning: variable ‘d’ set but not used [-Wunused-but-set-variable] 126 | double d; | ^ libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o complex complex.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/complex complex.o ../ladr/.libs/libladr.so -lm gcc -O2 -march=i586 -mtune=i686 -O -Wall -c -o gen_trc_defs.o gen_trc_defs.c libtool --mode=link gcc -O2 -march=i586 -mtune=i686 -O -Wall -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.la libtool: link: gcc -O2 -march=i586 -mtune=i686 -O -Wall -o .libs/gen_trc_defs gen_trc_defs.o ../ladr/.libs/libladr.so -lm libtool --mode=install /bin/cp latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs `pwd`/../bin libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/latfilter /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/latfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/olfilter /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/olfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausefilter /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/clausefilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/idfilter /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/idfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/renamer /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/renamer libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/unfast /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/unfast libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/clausetester /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/clausetester libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/rewriter /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/rewriter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter0 /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/isofilter0 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/isofilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/isofilter2 /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/isofilter2 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/dprofiles /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/dprofiles libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpfilter /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/interpfilter libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/upper-covers /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/upper-covers libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/miniscope /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/miniscope libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/interpformat /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/interpformat libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/prooftrans /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/prooftrans libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/mirror-flip /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/mirror-flip libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/perm3 /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/perm3 libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/sigtest /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/sigtest libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/directproof /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/directproof libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_clause_eval /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/test_clause_eval libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/test_complex /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/test_complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/complex /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/complex libtool: warning: '../ladr/libladr.la' has not been installed in '/usr/lib' libtool: install: /bin/cp .libs/gen_trc_defs /usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src/../bin/gen_trc_defs libtool --mode=clean /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 directproof test_clause_eval test_complex complex gen_trc_defs libtool: clean: /bin/rm -f clausefilter.o libtool: clean: /bin/rm -f clausetester.o libtool: clean: /bin/rm -f complex.o libtool: clean: /bin/rm -f directproof.o libtool: clean: /bin/rm -f dprofiles.o libtool: clean: /bin/rm -f gen_trc_defs.o libtool: clean: /bin/rm -f idfilter.o libtool: clean: /bin/rm -f interpfilter.o libtool: clean: /bin/rm -f interpformat.o libtool: clean: /bin/rm -f isofilter.o libtool: clean: /bin/rm -f isofilter0.o libtool: clean: /bin/rm -f isofilter2.o libtool: clean: /bin/rm -f latfilter.o libtool: clean: /bin/rm -f miniscope.o libtool: clean: /bin/rm -f mirror-flip.o libtool: clean: /bin/rm -f olfilter.o libtool: clean: /bin/rm -f perm3.o libtool: clean: /bin/rm -f prooftrans.o libtool: clean: /bin/rm -f renamer.o libtool: clean: /bin/rm -f rewriter.o libtool: clean: /bin/rm -f sigtest.o libtool: clean: /bin/rm -f test_clause_eval.o libtool: clean: /bin/rm -f test_complex.o libtool: clean: /bin/rm -f unfast.o libtool: clean: /bin/rm -f upper-covers.o libtool: clean: /bin/rm -f latfilter .libs/latfilter .libs/latfilterS.o .libs/lt-latfilter libtool: clean: /bin/rm -f olfilter .libs/olfilter .libs/olfilterS.o .libs/lt-olfilter libtool: clean: /bin/rm -f clausefilter .libs/clausefilter .libs/clausefilterS.o .libs/lt-clausefilter libtool: clean: /bin/rm -f idfilter .libs/idfilter .libs/idfilterS.o .libs/lt-idfilter libtool: clean: /bin/rm -f renamer .libs/renamer .libs/renamerS.o .libs/lt-renamer libtool: clean: /bin/rm -f unfast .libs/unfast .libs/unfastS.o .libs/lt-unfast libtool: clean: /bin/rm -f clausetester .libs/clausetester .libs/clausetesterS.o .libs/lt-clausetester libtool: clean: /bin/rm -f rewriter .libs/rewriter .libs/rewriterS.o .libs/lt-rewriter libtool: clean: /bin/rm -f isofilter0 .libs/isofilter0 .libs/isofilter0S.o .libs/lt-isofilter0 libtool: clean: /bin/rm -f isofilter .libs/isofilter .libs/isofilterS.o .libs/lt-isofilter libtool: clean: /bin/rm -f isofilter2 .libs/isofilter2 .libs/isofilter2S.o .libs/lt-isofilter2 libtool: clean: /bin/rm -f dprofiles .libs/dprofiles .libs/dprofilesS.o .libs/lt-dprofiles libtool: clean: /bin/rm -f interpfilter .libs/interpfilter .libs/interpfilterS.o .libs/lt-interpfilter libtool: clean: /bin/rm -f upper-covers .libs/upper-covers .libs/upper-coversS.o .libs/lt-upper-covers libtool: clean: /bin/rm -f miniscope .libs/miniscope .libs/miniscopeS.o .libs/lt-miniscope libtool: clean: /bin/rm -f interpformat .libs/interpformat .libs/interpformatS.o .libs/lt-interpformat libtool: clean: /bin/rm -f prooftrans .libs/prooftrans .libs/prooftransS.o .libs/lt-prooftrans libtool: clean: /bin/rm -f mirror-flip .libs/mirror-flip .libs/mirror-flipS.o .libs/lt-mirror-flip libtool: clean: /bin/rm -f perm3 .libs/perm3 .libs/perm3S.o .libs/lt-perm3 libtool: clean: /bin/rm -f sigtest .libs/sigtest .libs/sigtestS.o .libs/lt-sigtest libtool: clean: /bin/rm -f directproof .libs/directproof .libs/directproofS.o .libs/lt-directproof libtool: clean: /bin/rm -f test_clause_eval .libs/test_clause_eval .libs/test_clause_evalS.o .libs/lt-test_clause_eval libtool: clean: /bin/rm -f test_complex .libs/test_complex .libs/test_complexS.o .libs/lt-test_complex libtool: clean: /bin/rm -f complex .libs/complex .libs/complexS.o .libs/lt-complex libtool: clean: /bin/rm -f gen_trc_defs .libs/gen_trc_defs .libs/gen_trc_defsS.o .libs/lt-gen_trc_defs libtool: clean: rmdir .libs >/dev/null 2>&1 make[1]: Leaving directory '/usr/src/slapt-src/academic/ladr/LADR-2009-11A/apps.src' /bin/cp -p utilities/* bin **** Now try 'make test1'. **** Slackware package maker, version 3.14159265. Searching for symbolic links: usr/lib/libladr.so /usr/lib/libladr.so.4.0.0 usr/lib/libladr.so.4 /usr/lib/libladr.so.4.0.0 Making symbolic link creation script: ( cd usr/lib ; rm -rf libladr.so ) ( cd usr/lib ; ln -sf /usr/lib/libladr.so.4.0.0 libladr.so ) ( cd usr/lib ; rm -rf libladr.so.4 ) ( cd usr/lib ; ln -sf /usr/lib/libladr.so.4.0.0 libladr.so.4 ) It is recommended that you make these lines your new installation script. Would you like to make this stuff the install script for this package and remove the symbolic links ([y]es, [n]o)? y Removing symbolic links: removed './usr/lib/libladr.so.4' removed './usr/lib/libladr.so' Creating your new ./install/doinst.sh... This next step is optional - you can set the directories in your package to some sane permissions. If any of the directories in your package have special permissions, then DO NOT reset them here! Would you like to reset all directory permissions to 755 (drwxr-xr-x) and directory ownerships to root.root ([y]es, [n]o)? n Creating Slackware package: /usr/src/slapt-src/academic/ladr/ladr-2009_11A-i586-2salix15.0.txz ./ install/ install/doinst.sh install/slack-desc usr/ usr/bin/ usr/bin/attack usr/bin/autosketches4 usr/bin/clausefilter usr/bin/clausetester usr/bin/complex usr/bin/directproof usr/bin/dprofiles usr/bin/fof-prover9 usr/bin/gen_trc_defs usr/bin/get_givens usr/bin/get_interps usr/bin/get_kept usr/bin/gvizify usr/bin/idfilter usr/bin/interpfilter usr/bin/interpformat usr/bin/isofilter usr/bin/isofilter0 usr/bin/isofilter2 usr/bin/ladr_to_tptp usr/bin/latfilter usr/bin/looper usr/bin/mace4 usr/bin/miniscope usr/bin/mirror-flip usr/bin/newauto usr/bin/newsax usr/bin/olfilter usr/bin/perm3 usr/bin/prooftrans usr/bin/prover9 usr/bin/prover9-mace4 usr/bin/renamer usr/bin/rewriter usr/bin/sigtest usr/bin/test_clause_eval usr/bin/test_complex usr/bin/tptp_to_ladr usr/bin/unfast usr/bin/upper-covers usr/doc/ usr/doc/ladr-2009_11A/ usr/doc/ladr-2009_11A/COPYING usr/doc/ladr-2009_11A/Changelog usr/doc/ladr-2009_11A/README.AMD_64 usr/doc/ladr-2009_11A/README.first usr/doc/ladr-2009_11A/README.make usr/doc/ladr-2009_11A/README.release-reminder usr/doc/ladr-2009_11A/ladr.SlackBuild usr/lib/ usr/lib/libladr.so.4.0.0 usr/man/ usr/man/man1/ usr/man/man1/mace4.1.gz usr/man/man1/prover9.1.gz Slackware package /usr/src/slapt-src/academic/ladr/ladr-2009_11A-i586-2salix15.0.txz created. Installing package ladr-2009_11A-i586-2salix15.0... | ladr (Mathematical Programs) | | LADR includes some mathematical programs like | - prover 9 (automated theorem prover for first-order and equational | logic) | - mace4 (search for finite models and counterexamples) | | Homepage: https://www.cs.unm.edu/~mccune/prover9/ | | | | |