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
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
|
# 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)
COMPFLAGS=-g -pp camlp4o
minicaml.OBJS=eval.cmo lexuniv.cmo syntaxe.cmo types.cmo synthese.cmo caml.cmo
minicaml.FILES=$(minicaml.OBJS:.cmo=.ml)
all::minicaml
depend::
$(CAMLDEP) $(minicaml.FILES) >> Makefile
clean::
$(RM) minicaml
minicaml: eval.cmo lexuniv.cmo syntaxe.cmo types.cmo synthese.cmo caml.cmo
$(CAMLC) -pp camlp4o $(LINKFLAGS) eval.cmo lexuniv.cmo syntaxe.cmo types.cmo synthese.cmo caml.cmo -o minicaml
COMPFLAGSOPT=-pp camlp4o
minicaml.BINOBJS=eval.cmx lexuniv.cmx syntaxe.cmx types.cmx synthese.cmx caml.cmx
minicaml.FILES=$(minicaml.BINOBJS:.cmx=.ml)
opt::minicaml.opt
depend::
$(CAMLDEP) $(minicaml.FILES) >> Makefile
clean::
$(RM) minicaml minicaml.opt
minicaml.opt: eval.cmx lexuniv.cmx syntaxe.cmx types.cmx synthese.cmx caml.cmx
$(CAMLCOPT) -pp camlp4o $(LINKFLAGSOPT) eval.cmx lexuniv.cmx syntaxe.cmx types.cmx synthese.cmx caml.cmx -o minicaml.opt
$(CP) minicaml.opt minicaml
COMPFLAGS=-g -pp camlp4o
camlinterp.OBJS=eval.cmo lexuniv.cmo syntaxe.cmo interp.cmo
camlinterp.FILES=$(camlinterp.OBJS:.cmo=.ml)
all::camlinterp
depend::
$(CAMLDEP) $(camlinterp.FILES) >> Makefile
clean::
$(RM) camlinterp
camlinterp: eval.cmo lexuniv.cmo syntaxe.cmo interp.cmo
$(CAMLC) -pp camlp4o $(LINKFLAGS) eval.cmo lexuniv.cmo syntaxe.cmo interp.cmo -o camlinterp
COMPFLAGSOPT=-pp camlp4o
camlinterp.BINOBJS=eval.cmx lexuniv.cmx syntaxe.cmx interp.cmx
camlinterp.FILES=$(camlinterp.BINOBJS:.cmx=.ml)
opt::camlinterp.opt
depend::
$(CAMLDEP) $(camlinterp.FILES) >> Makefile
clean::
$(RM) camlinterp camlinterp.opt
camlinterp.opt: eval.cmx lexuniv.cmx syntaxe.cmx interp.cmx
$(CAMLCOPT) -pp camlp4o $(LINKFLAGSOPT) eval.cmx lexuniv.cmx syntaxe.cmx interp.cmx -o camlinterp.opt
$(CP) camlinterp.opt camlinterp
COMPFLAGS=-g -pp camlp4o
camltyp.OBJS=lexuniv.cmo syntaxe.cmo types.cmo synthese.cmo typeur.cmo
camltyp.FILES=$(camltyp.OBJS:.cmo=.ml)
all::camltyp
depend::
$(CAMLDEP) $(camltyp.FILES) >> Makefile
clean::
$(RM) camltyp
camltyp: lexuniv.cmo syntaxe.cmo types.cmo synthese.cmo typeur.cmo
$(CAMLC) -pp camlp4o $(LINKFLAGS) lexuniv.cmo syntaxe.cmo types.cmo synthese.cmo typeur.cmo -o camltyp
COMPFLAGSOPT=-pp camlp4o
camltyp.BINOBJS=lexuniv.cmx syntaxe.cmx types.cmx synthese.cmx typeur.cmx
camltyp.FILES=$(camltyp.BINOBJS:.cmx=.ml)
opt::camltyp.opt
depend::
$(CAMLDEP) $(camltyp.FILES) >> Makefile
clean::
$(RM) camltyp camltyp.opt
camltyp.opt: lexuniv.cmx syntaxe.cmx types.cmx synthese.cmx typeur.cmx
$(CAMLCOPT) -pp camlp4o $(LINKFLAGSOPT) lexuniv.cmx syntaxe.cmx types.cmx synthese.cmx typeur.cmx -o camltyp.opt
$(CP) camltyp.opt camltyp
# (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
eval.cmo: syntaxe.cmi eval.cmi
eval.cmx: syntaxe.cmx eval.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
syntaxe.cmo: lexuniv.cmi syntaxe.cmi
syntaxe.cmx: lexuniv.cmx syntaxe.cmi
types.cmo: types.cmi
types.cmx: types.cmi
synthese.cmo: syntaxe.cmi types.cmi synthese.cmi
synthese.cmx: syntaxe.cmx types.cmx synthese.cmi
caml.cmo: eval.cmi syntaxe.cmi synthese.cmi types.cmi
caml.cmx: eval.cmx syntaxe.cmx synthese.cmx types.cmx
eval.cmo: syntaxe.cmi eval.cmi
eval.cmx: syntaxe.cmx eval.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
syntaxe.cmo: lexuniv.cmi syntaxe.cmi
syntaxe.cmx: lexuniv.cmx syntaxe.cmi
types.cmo: types.cmi
types.cmx: types.cmi
synthese.cmo: syntaxe.cmi types.cmi synthese.cmi
synthese.cmx: syntaxe.cmx types.cmx synthese.cmi
caml.cmo: eval.cmi syntaxe.cmi synthese.cmi types.cmi
caml.cmx: eval.cmx syntaxe.cmx synthese.cmx types.cmx
eval.cmo: syntaxe.cmi eval.cmi
eval.cmx: syntaxe.cmx eval.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
syntaxe.cmo: lexuniv.cmi syntaxe.cmi
syntaxe.cmx: lexuniv.cmx syntaxe.cmi
interp.cmo: eval.cmi syntaxe.cmi
interp.cmx: eval.cmx syntaxe.cmx
eval.cmo: syntaxe.cmi eval.cmi
eval.cmx: syntaxe.cmx eval.cmi
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
syntaxe.cmo: lexuniv.cmi syntaxe.cmi
syntaxe.cmx: lexuniv.cmx syntaxe.cmi
interp.cmo: eval.cmi syntaxe.cmi
interp.cmx: eval.cmx syntaxe.cmx
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
syntaxe.cmo: lexuniv.cmi syntaxe.cmi
syntaxe.cmx: lexuniv.cmx syntaxe.cmi
types.cmo: types.cmi
types.cmx: types.cmi
synthese.cmo: syntaxe.cmi types.cmi synthese.cmi
synthese.cmx: syntaxe.cmx types.cmx synthese.cmi
typeur.cmo: syntaxe.cmi synthese.cmi types.cmi
typeur.cmx: syntaxe.cmx synthese.cmx types.cmx
lexuniv.cmo: lexuniv.cmi
lexuniv.cmx: lexuniv.cmi
syntaxe.cmo: lexuniv.cmi syntaxe.cmi
syntaxe.cmx: lexuniv.cmx syntaxe.cmi
types.cmo: types.cmi
types.cmx: types.cmi
synthese.cmo: syntaxe.cmi types.cmi synthese.cmi
synthese.cmx: syntaxe.cmx types.cmx synthese.cmi
typeur.cmo: syntaxe.cmi synthese.cmi types.cmi
typeur.cmx: syntaxe.cmx synthese.cmx types.cmx
|
