← Back to branch summary

~ubuntu-branches/ubuntu/saucy/ladr/saucy

« back to all changes in this revision

Viewing changes to ladr/Makefile

  • Committer: Package Import Robot
  • Author(s): Frank Lichtenheld
  • Date: 2013-05-25 11:43:32 UTC
  • mfrom: (5.1.5 sid)
  • Revision ID: package-import@ubuntu.com-20130525114332-lkzco1dti2hwrf7v
Tags: 0.0.200911a-2
* QA upload.
* Upload to unstable.
* Change maintainer to QA group.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ladr/Makefile
11
11
# CFLAGS = $(XFLAGS) -pg -O -Wall
12
12
# CFLAGS = $(XFLAGS)  -Wall -pedantic
13
13
 
14
 
BASE_OBJ = order.o clock.o nonport.o\
15
 
           fatal.o ibuffer.o memory.o hash.o string.o strbuf.o\
16
 
           glist.o options.o symbols.o avltree.o
17
 
TERM_OBJ = term.o termflag.o listterm.o tlist.o flatterm.o multiset.o\
18
 
           termorder.o parse.o accanon.o
19
 
UNIF_OBJ = unify.o fpalist.o fpa.o discrim.o discrimb.o discrimw.o\
20
 
           dioph.o btu.o btm.o mindex.o basic.o attrib.o
21
 
CLAS_OBJ = formula.o definitions.o literals.o topform.o clist.o\
22
 
           clauseid.o clauses.o\
23
 
           just.o cnf.o clausify.o parautil.o\
24
 
           pindex.o compress.o\
25
 
           maximal.o lindex.o weight.o weight2.o\
26
 
           int_code.o features.o di_tree.o fastparse.o\
27
 
           random.o subsume.o clause_misc.o clause_eval.o complex.o
28
 
INFE_OBJ = dollar.o flatdemod.o demod.o clash.o resolve.o paramod.o\
29
 
           backdemod.o\
30
 
           hints.o ac_redun.o xproofs.o ivy.o
31
 
MODL_OBJ = interp.o
32
 
MISC_OBJ = std_options.o banner.o ioutil.o tptp_trans.o top_input.o
 
14
BASE_OBJ = order.lo clock.lo nonport.lo\
 
15
           fatal.lo ibuffer.lo memory.lo hash.lo string.lo strbuf.lo\
 
16
           glist.lo options.lo symbols.lo avltree.lo
 
17
TERM_OBJ = term.lo termflag.lo listterm.lo tlist.lo flatterm.lo multiset.lo\
 
18
           termorder.lo parse.lo accanon.lo
 
19
UNIF_OBJ = unify.lo fpalist.lo fpa.lo discrim.lo discrimb.lo discrimw.lo\
 
20
           dioph.lo btu.lo btm.lo mindex.lo basic.lo attrib.lo
 
21
CLAS_OBJ = formula.lo definitions.lo literals.lo topform.lo clist.lo\
 
22
           clauseid.lo clauses.lo\
 
23
           just.lo cnf.lo clausify.lo parautil.lo\
 
24
           pindex.lo compress.lo\
 
25
           maximal.lo lindex.lo weight.lo weight2.lo\
 
26
           int_code.lo features.lo di_tree.lo fastparse.lo\
 
27
           random.lo subsume.lo clause_misc.lo clause_eval.lo complex.lo
 
28
INFE_OBJ = dollar.lo flatdemod.lo demod.lo clash.lo resolve.lo paramod.lo\
 
29
           backdemod.lo\
 
30
           hints.lo ac_redun.lo xproofs.lo ivy.lo
 
31
MODL_OBJ = interp.lo
 
32
MISC_OBJ = std_options.lo banner.lo ioutil.lo tptp_trans.lo top_input.lo
33
33
 
34
34
 
35
35
OBJECTS = $(BASE_OBJ) $(TERM_OBJ) $(UNIF_OBJ) $(CLAS_OBJ)\
36
36
          $(INFE_OBJ) $(MODL_OBJ) $(MISC_OBJ)
37
37
 
38
 
libladr.a: $(OBJECTS)
39
 
        $(AR) rs libladr.a $(OBJECTS)
 
38
libladr.la: $(OBJECTS)
 
39
        libtool --mode=link gcc -rpath /usr/lib -version-info 4:0:0 -o libladr.la $(OBJECTS) -lm
 
40
 
 
41
%.lo: %.c
 
42
        libtool --mode=compile gcc -c $(CFLAGS) $(XFLAGS) -o $@ $<
40
43
 
41
44
##############################################################################
42
45
 
43
46
lib ladr libladr:
44
 
        $(MAKE) libladr.a
 
47
        $(MAKE) libladr.la
45
48
 
46
49
dep:
47
50
        util/make_dep $(OBJECTS)
48
51
 
49
52
clean:
50
 
        /bin/rm -f *.o
 
53
        libtool --mode=clean /bin/rm -f *.lo
51
54
 
52
55
realclean:
53
 
        /bin/rm -f *.o *.a
 
56
        libtool --mode=clean /bin/rm -f *.lo *.la
54
57
 
55
58
protos:
56
59
        util/make_protos $(OBJECTS)
67
70
 
68
71
# The rest of the file is generated automatically by util/make_dep
69
72
 
70
 
order.o:        order.h 
71
 
 
72
 
clock.o:        clock.h string.h memory.h fatal.h header.h
73
 
 
74
 
nonport.o:      nonport.h 
75
 
 
76
 
fatal.o:        fatal.h header.h
77
 
 
78
 
ibuffer.o:      ibuffer.h fatal.h header.h
79
 
 
80
 
memory.o:       memory.h fatal.h header.h
81
 
 
82
 
hash.o:         hash.h memory.h fatal.h header.h
83
 
 
84
 
string.o:       string.h memory.h fatal.h header.h
85
 
 
86
 
strbuf.o:       strbuf.h string.h memory.h fatal.h header.h
87
 
 
88
 
glist.o:        glist.h order.h string.h memory.h fatal.h header.h
89
 
 
90
 
options.o:      options.h string.h memory.h fatal.h header.h
91
 
 
92
 
symbols.o:      symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
93
 
 
94
 
avltree.o:      avltree.h memory.h order.h fatal.h header.h
95
 
 
96
 
term.o:         term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
97
 
 
98
 
termflag.o:     termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
99
 
 
100
 
listterm.o:     listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
101
 
 
102
 
tlist.o:        tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
103
 
 
104
 
flatterm.o:     flatterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
105
 
 
106
 
multiset.o:     multiset.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
107
 
 
108
 
termorder.o:    termorder.h flatterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
109
 
 
110
 
parse.o:        parse.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
111
 
 
112
 
accanon.o:      accanon.h termflag.h termorder.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
113
 
 
114
 
unify.o:        unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
115
 
 
116
 
fpalist.o:      fpalist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
117
 
 
118
 
fpa.o:          fpa.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
119
 
 
120
 
discrim.o:      discrim.h unify.h index.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
121
 
 
122
 
discrimb.o:     discrimb.h discrim.h unify.h index.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
123
 
 
124
 
discrimw.o:     discrimw.h discrim.h unify.h index.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
125
 
 
126
 
dioph.o:        dioph.h 
127
 
 
128
 
btu.o:          btu.h dioph.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
129
 
 
130
 
btm.o:          btm.h unify.h accanon.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h termorder.h flatterm.h
131
 
 
132
 
mindex.o:       mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
133
 
 
134
 
basic.o:        basic.h unify.h termflag.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
135
 
 
136
 
attrib.o:       attrib.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
137
 
 
138
 
formula.o:      formula.h attrib.h tlist.h termorder.h hash.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
139
 
 
140
 
definitions.o:          definitions.h formula.h topform.h clauseid.h just.h attrib.h tlist.h termorder.h hash.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h literals.h maximal.h parse.h
141
 
 
142
 
literals.o:     literals.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
143
 
 
144
 
topform.o:      topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
145
 
 
146
 
clist.o:        clist.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
147
 
 
148
 
clauseid.o:     clauseid.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
149
 
 
150
 
clauses.o:      clauses.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
151
 
 
152
 
just.o:         just.h clauseid.h parse.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
153
 
 
154
 
cnf.o:          cnf.h formula.h clock.h attrib.h tlist.h termorder.h hash.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
155
 
 
156
 
clausify.o:     clausify.h topform.h cnf.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h clock.h
157
 
 
158
 
parautil.o:     parautil.h 
159
 
 
160
 
pindex.o:       pindex.h clist.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
161
 
 
162
 
compress.o:     compress.h parautil.h
163
 
 
164
 
maximal.o:      maximal.h literals.h termorder.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
165
 
 
166
 
lindex.o:       lindex.h mindex.h maximal.h topform.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h literals.h tlist.h attrib.h formula.h hash.h
167
 
 
168
 
weight.o:       weight.h literals.h unify.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h listterm.h
169
 
 
170
 
weight2.o:      weight2.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
171
 
 
172
 
int_code.o:     int_code.h just.h ibuffer.h clauseid.h parse.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
173
 
 
174
 
features.o:     features.h literals.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
175
 
 
176
 
di_tree.o:      di_tree.h features.h topform.h literals.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h attrib.h formula.h maximal.h unify.h listterm.h termorder.h hash.h flatterm.h
177
 
 
178
 
fastparse.o:    fastparse.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
179
 
 
180
 
random.o:       random.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
181
 
 
182
 
subsume.o:      subsume.h parautil.h lindex.h features.h mindex.h maximal.h topform.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h literals.h tlist.h attrib.h formula.h hash.h
183
 
 
184
 
clause_misc.o:          clause_misc.h clist.h mindex.h just.h basic.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h parse.h
185
 
 
186
 
clause_eval.o:          clause_eval.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
187
 
 
188
 
complex.o:      complex.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
189
 
 
190
 
dollar.o:       dollar.h clist.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
191
 
 
192
 
flatdemod.o:    flatdemod.h parautil.h mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
193
 
 
194
 
demod.o:        demod.h parautil.h mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
195
 
 
196
 
clash.o:        clash.h mindex.h parautil.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
197
 
 
198
 
resolve.o:      resolve.h clash.h lindex.h mindex.h parautil.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h maximal.h topform.h literals.h tlist.h attrib.h formula.h hash.h
199
 
 
200
 
paramod.o:      paramod.h resolve.h basic.h clash.h lindex.h mindex.h parautil.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h maximal.h topform.h literals.h tlist.h attrib.h formula.h hash.h
201
 
 
202
 
backdemod.o:    backdemod.h demod.h clist.h parautil.h mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h topform.h literals.h attrib.h formula.h maximal.h tlist.h hash.h
203
 
 
204
 
hints.o:        hints.h subsume.h clist.h backdemod.h resolve.h parautil.h lindex.h features.h mindex.h maximal.h topform.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h literals.h tlist.h attrib.h formula.h hash.h demod.h clash.h
205
 
 
206
 
ac_redun.o:     ac_redun.h parautil.h accanon.h termflag.h termorder.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
207
 
 
208
 
xproofs.o:      xproofs.h clauses.h clause_misc.h paramod.h subsume.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h parse.h resolve.h clash.h lindex.h parautil.h features.h
209
 
 
210
 
ivy.o:          ivy.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h parse.h resolve.h clash.h lindex.h parautil.h features.h
211
 
 
212
 
interp.o:       interp.h parse.h topform.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h
213
 
 
214
 
std_options.o:          std_options.h options.h symbols.h clock.h string.h memory.h fatal.h header.h strbuf.h glist.h order.h
215
 
 
216
 
banner.o:       banner.h nonport.h clock.h string.h memory.h fatal.h header.h
217
 
 
218
 
ioutil.o:       ioutil.h parse.h fastparse.h ivy.h clausify.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h resolve.h clash.h lindex.h parautil.h features.h cnf.h clock.h
219
 
 
220
 
tptp_trans.o:           tptp_trans.h ioutil.h clausify.h parse.h fastparse.h ivy.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h resolve.h clash.h lindex.h parautil.h features.h cnf.h clock.h
221
 
 
222
 
top_input.o:    top_input.h ioutil.h std_options.h tptp_trans.h parse.h fastparse.h ivy.h clausify.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h resolve.h clash.h lindex.h parautil.h features.h cnf.h clock.h options.h
 
73
order.lo:       order.h 
 
74
 
 
75
clock.lo:       clock.h string.h memory.h fatal.h header.h
 
76
 
 
77
nonport.lo:     nonport.h 
 
78
 
 
79
fatal.lo:       fatal.h header.h
 
80
 
 
81
ibuffer.lo:     ibuffer.h fatal.h header.h
 
82
 
 
83
memory.lo:      memory.h fatal.h header.h
 
84
 
 
85
hash.lo:        hash.h memory.h fatal.h header.h
 
86
 
 
87
string.lo:      string.h memory.h fatal.h header.h
 
88
 
 
89
strbuf.lo:      strbuf.h string.h memory.h fatal.h header.h
 
90
 
 
91
glist.lo:       glist.h order.h string.h memory.h fatal.h header.h
 
92
 
 
93
options.lo:     options.h string.h memory.h fatal.h header.h
 
94
 
 
95
symbols.lo:     symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
96
 
 
97
avltree.lo:     avltree.h memory.h order.h fatal.h header.h
 
98
 
 
99
term.lo:        term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
100
 
 
101
termflag.lo:    termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
102
 
 
103
listterm.lo:    listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
104
 
 
105
tlist.lo:       tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
106
 
 
107
flatterm.lo:    flatterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
108
 
 
109
multiset.lo:    multiset.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
110
 
 
111
termorder.lo:           termorder.h flatterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
112
 
 
113
parse.lo:       parse.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
114
 
 
115
accanon.lo:     accanon.h termflag.h termorder.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
 
116
 
 
117
unify.lo:       unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
118
 
 
119
fpalist.lo:     fpalist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
120
 
 
121
fpa.lo:         fpa.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
122
 
 
123
discrim.lo:     discrim.h unify.h index.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
124
 
 
125
discrimb.lo:    discrimb.h discrim.h unify.h index.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
126
 
 
127
discrimw.lo:    discrimw.h discrim.h unify.h index.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
128
 
 
129
dioph.lo:       dioph.h 
 
130
 
 
131
btu.lo:         btu.h dioph.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
132
 
 
133
btm.lo:         btm.h unify.h accanon.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h termorder.h flatterm.h
 
134
 
 
135
mindex.lo:      mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
 
136
 
 
137
basic.lo:       basic.h unify.h termflag.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
138
 
 
139
attrib.lo:      attrib.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
140
 
 
141
formula.lo:     formula.h attrib.h tlist.h termorder.h hash.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
 
142
 
 
143
definitions.lo:         definitions.h formula.h topform.h clauseid.h just.h attrib.h tlist.h termorder.h hash.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h literals.h maximal.h parse.h
 
144
 
 
145
literals.lo:    literals.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
146
 
 
147
topform.lo:     topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
148
 
 
149
clist.lo:       clist.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
150
 
 
151
clauseid.lo:    clauseid.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
152
 
 
153
clauses.lo:     clauses.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
154
 
 
155
just.lo:        just.h clauseid.h parse.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
156
 
 
157
cnf.lo:         cnf.h formula.h clock.h attrib.h tlist.h termorder.h hash.h unify.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
 
158
 
 
159
clausify.lo:    clausify.h topform.h cnf.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h clock.h
 
160
 
 
161
parautil.lo:    parautil.h 
 
162
 
 
163
pindex.lo:      pindex.h clist.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
164
 
 
165
compress.lo:    compress.h parautil.h
 
166
 
 
167
maximal.lo:     maximal.h literals.h termorder.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
 
168
 
 
169
lindex.lo:      lindex.h mindex.h maximal.h topform.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h literals.h tlist.h attrib.h formula.h hash.h
 
170
 
 
171
weight.lo:      weight.h literals.h unify.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h listterm.h
 
172
 
 
173
weight2.lo:     weight2.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
174
 
 
175
int_code.lo:    int_code.h just.h ibuffer.h clauseid.h parse.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
176
 
 
177
features.lo:    features.h literals.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h
 
178
 
 
179
di_tree.lo:     di_tree.h features.h topform.h literals.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h attrib.h formula.h maximal.h unify.h listterm.h termorder.h hash.h flatterm.h
 
180
 
 
181
fastparse.lo:           fastparse.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
182
 
 
183
random.lo:      random.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
184
 
 
185
subsume.lo:     subsume.h parautil.h lindex.h features.h mindex.h maximal.h topform.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h literals.h tlist.h attrib.h formula.h hash.h
 
186
 
 
187
clause_misc.lo:         clause_misc.h clist.h mindex.h just.h basic.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h parse.h
 
188
 
 
189
clause_eval.lo:         clause_eval.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
190
 
 
191
complex.lo:     complex.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
192
 
 
193
dollar.lo:      dollar.h clist.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h
 
194
 
 
195
flatdemod.lo:           flatdemod.h parautil.h mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
 
196
 
 
197
demod.lo:       demod.h parautil.h mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
 
198
 
 
199
clash.lo:       clash.h mindex.h parautil.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h
 
200
 
 
201
resolve.lo:     resolve.h clash.h lindex.h mindex.h parautil.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h maximal.h topform.h literals.h tlist.h attrib.h formula.h hash.h
 
202
 
 
203
paramod.lo:     paramod.h resolve.h basic.h clash.h lindex.h mindex.h parautil.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h maximal.h topform.h literals.h tlist.h attrib.h formula.h hash.h
 
204
 
 
205
backdemod.lo:           backdemod.h demod.h clist.h parautil.h mindex.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h topform.h literals.h attrib.h formula.h maximal.h tlist.h hash.h
 
206
 
 
207
hints.lo:       hints.h subsume.h clist.h backdemod.h resolve.h parautil.h lindex.h features.h mindex.h maximal.h topform.h fpa.h discrimb.h discrimw.h btu.h btm.h unify.h index.h fpalist.h listterm.h termflag.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h discrim.h dioph.h accanon.h termorder.h flatterm.h literals.h tlist.h attrib.h formula.h hash.h demod.h clash.h
 
208
 
 
209
ac_redun.lo:    ac_redun.h parautil.h accanon.h termflag.h termorder.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h flatterm.h
 
210
 
 
211
xproofs.lo:     xproofs.h clauses.h clause_misc.h paramod.h subsume.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h parse.h resolve.h clash.h lindex.h parautil.h features.h
 
212
 
 
213
ivy.lo:         ivy.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h unify.h listterm.h termorder.h hash.h flatterm.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h parse.h resolve.h clash.h lindex.h parautil.h features.h
 
214
 
 
215
interp.lo:      interp.h parse.h topform.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h
 
216
 
 
217
std_options.lo:         std_options.h options.h symbols.h clock.h string.h memory.h fatal.h header.h strbuf.h glist.h order.h
 
218
 
 
219
banner.lo:      banner.h nonport.h clock.h string.h memory.h fatal.h header.h
 
220
 
 
221
ioutil.lo:      ioutil.h parse.h fastparse.h ivy.h clausify.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h resolve.h clash.h lindex.h parautil.h features.h cnf.h clock.h
 
222
 
 
223
tptp_trans.lo:          tptp_trans.h ioutil.h clausify.h parse.h fastparse.h ivy.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h resolve.h clash.h lindex.h parautil.h features.h cnf.h clock.h
 
224
 
 
225
top_input.lo:           top_input.h ioutil.h std_options.h tptp_trans.h parse.h fastparse.h ivy.h clausify.h listterm.h term.h symbols.h strbuf.h glist.h string.h memory.h fatal.h header.h order.h topform.h literals.h attrib.h formula.h maximal.h termflag.h tlist.h unify.h termorder.h hash.h flatterm.h xproofs.h clauses.h clause_misc.h paramod.h subsume.h clist.h mindex.h just.h basic.h fpa.h discrimb.h discrimw.h btu.h btm.h index.h fpalist.h discrim.h dioph.h accanon.h clauseid.h resolve.h clash.h lindex.h parautil.h features.h cnf.h clock.h options.h