1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
|
# Makefile generated by imake - do not edit!
# $XConsortium: imake.c,v 1.91 95/01/12 16:15:47 kaleb Exp $
LIBDIR=/usr/local/lib/ocaml/
CAMLC=ocamlc
CAMLCOPT=ocamlopt
COMPFLAGS=-g
COMPFLAGSOPT=
CAMLLIBR=ocamllibr
CAMLLEX=ocamllex
CAMLYACC=ocamlyacc
CAMLDEP=ocamldep -pp camlp4o
CPP=/lib/cpp -P
RM=rm -f
CP=cp -p -f
TOP=../.
CONFIG=$(TOP)/config
all::
allopt:opt
# (begin Imakefile)
kb.OBJS=prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo
kb.FILES=$(kb.OBJS:.cmo=.ml)
all::kb
depend::
$(CAMLDEP) $(kb.FILES) >> Makefile
clean::
$(RM) kb
kb: prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo
$(CAMLC) $(LINKFLAGS) prelude.cmo terms.cmo equation.cmo order.cmo kb.cmo go.cmo -o kb
kb.BINOBJS=prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx
kb.FILES=$(kb.BINOBJS:.cmx=.ml)
opt::kb.opt
depend::
$(CAMLDEP) $(kb.FILES) >> Makefile
clean::
$(RM) kb kb.opt
kb.opt: prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx
$(CAMLCOPT) $(LINKFLAGSOPT) prelude.cmx terms.cmx equation.cmx order.cmx kb.cmx go.cmx -o kb.opt
$(CP) kb.opt kb
# (end Imakefile)
clean::
$(RM) *.cmi *.cmix *.cmo *.cmx *.o a.out* *~ *.opt #*#
depend::
beforedepend::
mfile:
imake -I$(CONFIG) -DTOPDIR=$(TOP)
makefiles:: beforedepend mfile depend
.SUFFIXES: .mli .cmi .ml .cmo .cmx
.mli.cmi:
$(CAMLC) $(COMPFLAGS) -c $<
.ml.cmo:
$(CAMLC) $(COMPFLAGS) -c $<
.ml.cmx:
$(CAMLCOPT) $(COMPFLAGSOPT) -c $<
# Generated dependencies below
terms.cmo: prelude.cmo
terms.cmx: prelude.cmx
equation.cmo: prelude.cmo terms.cmo
equation.cmx: prelude.cmx terms.cmx
order.cmo: terms.cmo
order.cmx: terms.cmx
kb.cmo: equation.cmo prelude.cmo terms.cmo
kb.cmx: equation.cmx prelude.cmx terms.cmx
go.cmo: kb.cmo order.cmo terms.cmo
go.cmx: kb.cmx order.cmx terms.cmx
terms.cmo: prelude.cmo
terms.cmx: prelude.cmx
equation.cmo: prelude.cmo terms.cmo
equation.cmx: prelude.cmx terms.cmx
order.cmo: terms.cmo
order.cmx: terms.cmx
kb.cmo: equation.cmo prelude.cmo terms.cmo
kb.cmx: equation.cmx prelude.cmx terms.cmx
go.cmo: kb.cmo order.cmo terms.cmo
go.cmx: kb.cmx order.cmx terms.cmx
|
