Incorporating review feedback for GC verifier patch.
[oota-llvm.git] / bindings / ocaml / Makefile.ocaml
1 ##===- tools/ml/Makefile -----------------------------------*- Makefile -*-===##
2
3 #                     The LLVM Compiler Infrastructure
4 #
5 # This file was developed by Gordon Henriksen and is distributed under the
6 # University of Illinois Open Source License. See LICENSE.TXT for details.
7
8 ##===----------------------------------------------------------------------===##
9
10 # An ocaml library is a unique project type in the context of LLVM, so rules are
11 # here rather than in Makefile.rules.
12
13 ##===----------------------------------------------------------------------===##
14
15 include $(LEVEL)/Makefile.config
16
17 # Find the ocaml stdlib root. /usr/local/lib/ocaml is the default when built
18 # from source; distros use something like /usr/lib/ocaml/3.10.0.
19 ifndef OCAML_LIBDIR
20 OCAML_LIBDIR := $(shell $(OCAMLC) -where)
21 endif
22
23 # CFLAGS needs to be set before Makefile.rules is included. Yes, ocaml puts its
24 # includes under its libdir.
25 CFLAGS += -I$(OCAML_LIBDIR)
26
27 include $(LEVEL)/Makefile.common
28
29 # Intentionally ignore PROJ_prefix here. We want the ocaml stdlib. However, the
30 # user can override this with OCAML_LIBDIR.
31 PROJ_libocamldir := $(DESTDIR)$(OCAML_LIBDIR)
32 OcamlDir := $(LibDir)/ocaml
33
34 # Info from llvm-config and similar
35 ifdef UsedComponents
36 UsedLibs = $(shell $(LLVM_CONFIG) --libs $(UsedComponents))
37 UsedLibNames = $(shell $(LLVM_CONFIG) --libnames $(UsedComponents))
38 endif
39
40 # Tools
41 OCAMLCFLAGS += -I $(OcamlDir) -I $(ObjDir)
42 OCAMLAFLAGS += $(patsubst %,-cclib %, \
43                  $(filter-out -L$(LibDir),$(shell $(LLVM_CONFIG) --ldflags)) \
44                                  $(UsedLibs) -l$(LIBRARYNAME))
45
46 Compile.CMI  := $(strip $(OCAMLC) -c $(OCAMLCFLAGS) -o)
47 Compile.CMO  := $(strip $(OCAMLC) -c $(OCAMLCFLAGS) -o)
48 Archive.CMA  := $(strip $(OCAMLC) -a -custom $(OCAMLAFLAGS) -o)
49
50 Compile.CMX  := $(strip $(OCAMLOPT) -c $(OCAMLCFLAGS) -o)
51 Archive.CMXA := $(strip $(OCAMLOPT) -a $(OCAMLAFLAGS) -o)
52
53 # Source files
54 OcamlSources1 := $(sort $(wildcard $(PROJ_SRC_DIR)/*.ml))
55 OcamlHeaders1 := $(OcamlSources1:.ml=.mli)
56
57 OcamlSources := $(OcamlSources1:$(PROJ_SRC_DIR)/%=$(ObjDir)/%)
58 OcamlHeaders := $(OcamlHeaders1:$(PROJ_SRC_DIR)/%=$(ObjDir)/%)
59
60 # Intermediate files
61 LibraryCMA   := $(ObjDir)/$(LIBRARYNAME).cma
62 LibraryCMXA  := $(ObjDir)/$(LIBRARYNAME).cmxa
63 ObjectsCMI   := $(OcamlSources:%.ml=%.cmi)
64 ObjectsCMO   := $(OcamlSources:%.ml=%.cmo)
65 ObjectsCMX   := $(OcamlSources:%.ml=%.cmx)
66
67 # Output files
68 #   The .cmo files are the only intermediates; all others are to be installed.
69 LibraryA   := $(OcamlDir)/lib$(LIBRARYNAME).a
70 OutputCMA  := $(LibraryCMA:$(ObjDir)/%.cma=$(OcamlDir)/%.cma)
71 OutputCMXA := $(LibraryCMXA:$(ObjDir)/%.cmxa=$(OcamlDir)/%.cmxa)
72 OutputsCMI := $(ObjectsCMI:$(ObjDir)/%.cmi=$(OcamlDir)/%.cmi)
73 OutputsCMX := $(ObjectsCMX:$(ObjDir)/%.cmx=$(OcamlDir)/%.cmx)
74
75 # Installation targets
76 DestA    := $(PROJ_libocamldir)/lib$(LIBRARYNAME).a
77 DestCMA  := $(PROJ_libocamldir)/$(LIBRARYNAME).cma
78 DestCMXA := $(PROJ_libocamldir)/$(LIBRARYNAME).cmxa
79
80
81 ##===- Dependencies -------------------------------------------------------===##
82 # Copy the sources into the intermediate directory because older ocamlc doesn't
83 # support -o except when linking (outputs are placed next to inputs).
84
85 $(ObjDir)/%.mli: $(PROJ_SRC_DIR)/%.mli $(ObjDir)/.dir
86         $(Verb) $(CP) -f $< $@
87
88 $(ObjDir)/%.ml: $(PROJ_SRC_DIR)/%.ml $(ObjDir)/.dir
89         $(Verb) $(CP) -f $< $@
90
91 $(ObjDir)/$(LIBRARYNAME).ocamldep: $(OcamlSources) $(OcamlHeaders)
92         $(Verb) $(OCAMLDEP) $(OCAMLCFLAGS) $(OcamlSources) $(OcamlHeader) > $@
93
94 -include $(ObjDir)/$(LIBRARYNAME).ocamldep
95
96
97 ##===- Build static library from C sources --------------------------------===##
98
99 all-local:: $(LibraryA)
100 clean-local:: clean-a
101 install-local:: install-a
102 uninstall-local:: uninstall-a
103
104 $(LibraryA): $(ObjectsO) $(OcamlDir)/.dir
105         $(Echo) "Building $(BuildMode) $(notdir $@)"
106         -$(Verb) $(RM) -f $@
107         $(Verb) $(Archive) $@ $(ObjectsO)
108         $(Verb) $(Ranlib) $@
109
110 clean-a::
111         -$(Verb) $(RM) -f $(LibraryA)
112
113 install-a:: $(LibraryA)
114         $(Echo) "Installing $(BuildMode) $(DestA)"
115         $(Verb) $(MKDIR) $(PROJ_libocamldir)
116         $(Verb) $(LTInstall) $(LibraryA) $(DestA)
117         $(Verb) 
118
119 uninstall-a::
120         $(Echo) "Uninstalling $(DestA)"
121         -$(Verb) $(RM) -f $(DestA)
122
123
124 ##===- Build ocaml interfaces (.mli's -> .cmi's) --------------------------===##
125
126 all-local:: build-cmis
127 clean-local:: clean-cmis
128 install-local:: install-cmis
129 uninstall-local:: uninstall-cmis
130
131 build-cmis: $(OutputsCMI)
132
133 $(OcamlDir)/%.cmi: $(ObjDir)/%.cmi $(OcamlDir)/.dir
134         $(Verb) $(CP) -f $< $@
135
136 $(ObjDir)/%.cmi: $(ObjDir)/%.mli $(ObjDir)/.dir
137         $(Echo) "Compiling $(notdir $<) for $(BuildMode) build"
138         $(Verb) $(Compile.CMI) $@ $<
139
140 clean-cmis::
141         -$(Verb) $(RM) -f $(OutputsCMI)
142
143 # Also install the .mli's (headers) as documentation.
144 install-cmis: $(OutputsCMI) $(OcamlHeaders)
145         $(Verb) $(MKDIR) $(PROJ_libocamldir)
146         $(Verb) for i in $(OutputsCMI:$(OcamlDir)/%=%); do \
147           $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
148           $(DataInstall) $(OcamlDir)/$$i "$(PROJ_libocamldir)/$$i"; \
149         done
150         $(Verb) for i in $(OcamlHeaders:$(ObjDir)/%=%); do \
151           $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
152           $(DataInstall) $(ObjDir)/$$i "$(PROJ_libocamldir)/$$i"; \
153         done
154
155 uninstall-cmis::
156         $(Verb) for i in $(OutputsCMI:$(OcamlDir)/%=%); do \
157           $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
158           $(RM) -f "$(PROJ_libocamldir)/$$i"; \
159         done
160         $(Verb) for i in $(OcamlHeaders:$(ObjDir)/%=%); do \
161           $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
162           $(RM) -f "$(PROJ_libocamldir)/$$i"; \
163         done
164
165
166 ##===- Build ocaml bytecode archive (.ml's -> .cmo's -> .cma) -------------===##
167
168 all-local:: $(OutputCMA)
169 clean-local:: clean-cma
170 install-local:: install-cma
171 uninstall-local:: uninstall-cma
172
173 $(OutputCMA): $(LibraryCMA) $(OcamlDir)/.dir
174         $(Verb) $(CP) -f $< $@
175
176 $(LibraryCMA): $(ObjectsCMO) $(OcamlDir)/.dir
177         $(Echo) "Archiving $(notdir $@) for $(BuildMode) build"
178         $(Verb) $(Archive.CMA) $@ $(ObjectsCMO)
179         $(Verb) for i in $(UsedLibNames); do \
180           ln -sf "$(LibDir)/$$i" "$(OcamlDir)/$$i"; \
181         done
182
183 $(ObjDir)/%.cmo: $(ObjDir)/%.ml
184         $(Echo) "Compiling $(notdir $<) for $(BuildMode) build"
185         $(Verb) $(Compile.CMO) $@ $<
186
187 clean-cma::
188         $(Verb) $(RM) -f $(OutputCMA) $(UsedLibNames:%=$(OcamlDir)/%)
189
190 install-cma:: $(OutputCMA)
191         $(Echo) "Installing $(BuildMode) $(DestCMA)"
192         $(Verb) $(MKDIR) $(PROJ_libocamldir)
193         $(Verb) $(DataInstall) $(OutputCMA) "$(DestCMA)"
194         $(Verb) for i in $(UsedLibNames); do \
195           $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
196           ln -sf "$(PROJ_libdir)/$$i" "$(PROJ_libocamldir)/$$i"; \
197         done
198
199 uninstall-cma::
200         $(Echo) "Uninstalling $(DestCMA)"
201         -$(Verb) $(RM) -f $(DestCMA)
202         $(Verb) for i in $(UsedLibNames); do \
203           $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
204           $(RM) -f "$(PROJ_libocamldir)/$$i"; \
205         done
206
207
208 ##===- Build optimized ocaml archive (.ml's -> .cmx's -> .cmxa, .a) -------===##
209
210 # The ocamlopt compiler is supported on a set of targets disjoint from LLVM's.
211 # If unavailable, 'configure' will not define OCAMLOPT in Makefile.config.
212 ifdef OCAMLOPT
213
214 all-local:: $(OutputCMXA) $(OutputsCMX)
215 clean-local:: clean-cmxa
216 install-local:: install-cmxa
217 uninstall-local:: uninstall-cmxa
218
219 $(OutputCMXA): $(LibraryCMXA)
220         $(Verb) $(CP) -f $< $@
221         $(Verb) $(CP) -f $(<:.cmxa=.a) $(@:.cmxa=.a)
222
223 $(OcamlDir)/%.cmx: $(ObjDir)/%.cmx
224         $(Verb) $(CP) -f $< $@
225
226 $(LibraryCMXA): $(ObjectsCMX)
227         $(Echo) "Archiving $(notdir $@) for $(BuildMode) build"
228         $(Verb) $(Archive.CMXA) $@ $(ObjectsCMX)
229         $(Verb) $(RM) -f $(@:.cmxa=.o)
230
231 $(ObjDir)/%.cmx: $(ObjDir)/%.ml
232         $(Echo) "Compiling optimized $(notdir $<) for $(BuildMode) build"
233         $(Verb) $(Compile.CMX) $@ $<
234
235 clean-cmxa::
236         $(Verb) $(RM) -f $(OutputCMXA) $(OutputCMXA:.cmxa=.o) $(OutputsCMX)
237
238 install-cmxa:: $(OutputCMXA) $(OutputsCMX)
239         $(Verb) $(MKDIR) $(PROJ_libocamldir)
240         $(Echo) "Installing $(BuildMode) $(DestCMXA)"
241         $(Verb) $(DataInstall) $(OutputCMXA) $(DestCMXA)
242         $(Echo) "Installing $(BuildMode) $(DestCMXA:.cmxa=.a)"
243         $(Verb) $(DataInstall) $(OutputCMXA:.cmxa=.a) $(DestCMXA:.cmxa=.a)
244         $(Verb) for i in $(OutputsCMX:$(OcamlDir)/%=%); do \
245           $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
246           $(DataInstall) $(OcamlDir)/$$i "$(PROJ_libocamldir)/$$i"; \
247         done
248
249 uninstall-cmxa::
250         $(Echo) "Uninstalling $(DestCMXA)"
251         $(Verb) $(RM) -f $(DestCMXA)
252         $(Echo) "Uninstalling $(DestCMXA:.cmxa=.a)"
253         $(Verb) $(RM) -f $(DestCMXA:.cmxa=.a)
254         $(Verb) for i in $(OutputsCMX:$(OcamlDir)/%=%); do \
255           $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
256           $(RM) -f $(PROJ_libocamldir)/$$i; \
257         done
258
259 endif
260
261
262 ##===- Debugging gunk -----------------------------------------------------===##
263 printvars:: printcamlvars
264
265 printcamlvars::
266         $(Echo) "LLVM_CONFIG  : " '$(LLVM_CONFIG)'
267         $(Echo) "OCAMLCFLAGS  : " '$(OCAMLCFLAGS)'
268         $(Echo) "OCAMLAFLAGS  : " '$(OCAMLAFLAGS)'
269         $(Echo) "OCAMLC       : " '$(OCAMLC)'
270         $(Echo) "OCAMLOPT     : " '$(OCAMLOPT)'
271         $(Echo) "OCAMLDEP     : " '$(OCAMLDEP)'
272         $(Echo) "Compile.CMI  : " '$(Compile.CMI)'
273         $(Echo) "Compile.CMO  : " '$(Compile.CMO)'
274         $(Echo) "Archive.CMA  : " '$(Archive.CMA)'
275         $(Echo) "Compile.CMX  : " '$(Compile.CMX)'
276         $(Echo) "Archive.CMXA : " '$(Archive.CMXA)'
277         $(Echo) "CAML_LIBDIR  : " '$(CAML_LIBDIR)'
278         $(Echo) "LibraryCMA   : " '$(LibraryCMA)'
279         $(Echo) "LibraryCMXA  : " '$(LibraryCMXA)'
280         $(Echo) "OcamlSources1: " '$(OcamlSources1)'
281         $(Echo) "OcamlSources : " '$(OcamlSources)'
282         $(Echo) "OcamlHeaders : " '$(OcamlHeaders)'
283         $(Echo) "ObjectsCMI   : " '$(ObjectsCMI)'
284         $(Echo) "ObjectsCMO   : " '$(ObjectsCMO)'
285         $(Echo) "ObjectsCMX   : " '$(ObjectsCMX)'
286         $(Echo) "OCAML_LIBDIR : " '$(OCAML_LIBDIR)'
287         $(Echo) "DestA        : " '$(DestA)'
288         $(Echo) "DestCMA      : " '$(DestCMA)'
289         $(Echo) "DestCMXA     : " '$(DestCMXA)'
290         $(Echo) "UsedLibs     : " '$(UsedLibs)'
291         $(Echo) "UsedLibNames : " '$(UsedLibNames)'
292
293 .PHONY: printcamlvars   build-cmis \
294             clean-a     clean-cmis     clean-cma     clean-cmxa \
295           install-a   install-cmis   install-cma   install-cmxa \
296                 uninstall-a uninstall-cmis uninstall-cma uninstall-cmxa