1 ##===- bindings/ocaml/Makefile.ocaml -----------------------*- Makefile -*-===##
3 # The LLVM Compiler Infrastructure
5 # This file is distributed under the University of Illinois Open Source
6 # License. See LICENSE.TXT for details.
8 ##===----------------------------------------------------------------------===##
10 # An OCaml library is a unique project type in the context of LLVM, so rules are
11 # here rather than in Makefile.rules.
13 # Reference materials on installing OCaml libraries:
15 # https://fedoraproject.org/wiki/Packaging/OCaml
16 # http://pkg-ocaml-maint.alioth.debian.org/ocaml_packaging_policy.txt
18 ##===----------------------------------------------------------------------===##
20 include $(LEVEL)/Makefile.config
22 # We have our own rules for building static libraries.
25 # CFLAGS needs to be set before Makefile.rules is included.
26 CXX.Flags += -I"$(shell $(OCAMLFIND) c -where)"
27 C.Flags += -I"$(shell $(OCAMLFIND) c -where)"
29 ifeq ($(ENABLE_SHARED),1)
30 LINK_COMPONENTS := all
33 include $(LEVEL)/Makefile.common
35 # Used in out-of-tree builds of OCaml bindings only.
36 ifdef SYSTEM_LLVM_CONFIG
37 LLVM_CONFIG = $(SYSTEM_LLVM_CONFIG)
38 LLVMLibsOptions += $(shell $(LLVM_CONFIG) --ldflags)
41 # Intentionally ignore PROJ_prefix here. We want the ocaml stdlib. However, the
42 # user can override this with OCAML_LIBDIR or configure --with-ocaml-libdir=.
43 PROJ_libocamldir := $(DESTDIR)$(OCAML_LIBDIR)
44 OcamlDir := $(LibDir)/ocaml
46 # Info from llvm-config and similar
47 ifndef IS_CLEANING_TARGET
49 UsedLibs = $(shell $(LLVM_CONFIG) --libs --system-libs $(UsedComponents))
50 UsedLibNames = $(shell $(LLVM_CONFIG) --libnames $(UsedComponents))
54 # How do we link OCaml executables with LLVM?
55 # 1) If this is a --enable-shared build, build stub libraries. This also allows
56 # to use LLVM from toplevels.
57 # 2) If this is a --disable-shared build, embed ocamlc options for building
58 # a custom runtime and a static executable. It is not possible to use LLVM
61 ifeq ($(ENABLE_SHARED),1)
63 OCAMLSTUBFLAGS := $(patsubst %,-cclib %, $(LLVMLibsOptions) -l$(LIBRARYNAME))
67 # Avoid the need for LD_LIBRARY_PATH
68 ifneq ($(HOST_OS), $(filter $(HOST_OS), Cygwin MingW))
69 ifneq ($(HOST_OS),Darwin)
70 OCAMLRPATH := $(RPATH) -Wl,'$$ORIGIN/../../lib'
74 # See http://caml.inria.fr/mantis/view.php?id=6642
75 OCAMLORIGIN := -ccopt -L'$$CAMLORIGIN/..' \
76 -ccopt $(RPATH) -ccopt -Wl,'$$CAMLORIGIN/..'
79 OCAMLCFLAGS += -I $(OcamlDir) $(addprefix -package ,$(FindlibPackages))
81 ifndef IS_CLEANING_TARGET
83 OCAMLAFLAGS += $(patsubst %,-cclib %, \
84 $(filter-out -L$(LibDir),-l$(LIBRARYNAME) \
85 $(shell $(LLVM_CONFIG) --ldflags)) \
86 $(UsedLibs) $(ExtraLibs))
88 OCAMLAFLAGS += $(patsubst %,-cclib %, \
89 $(filter-out -L$(LibDir),$(shell $(LLVM_CONFIG) --ldflags)) \
90 $(UsedLibs) $(ExtraLibs))
94 ifneq ($(DEBUG_SYMBOLS),1)
98 Compile.CMI := $(strip $(OCAMLFIND) c -c $(OCAMLCFLAGS) $(OCAMLDEBUGFLAG) -o)
99 Compile.CMO := $(strip $(OCAMLFIND) c -c $(OCAMLCFLAGS) $(OCAMLDEBUGFLAG) -o)
100 Compile.CMX := $(strip $(OCAMLFIND) opt -c $(OCAMLCFLAGS) $(OCAMLDEBUGFLAG) -o)
103 # -dllib is engaged with ocamlc builds, $(OCAMLSTUBFLAGS) in ocamlc -custom builds.
104 Archive.CMA := $(strip $(OCAMLFIND) c -a -dllib -l$(LIBRARYNAME) $(OCAMLSTUBFLAGS) \
105 $(OCAMLDEBUGFLAG) $(OCAMLORIGIN) -o)
107 Archive.CMA := $(strip $(OCAMLFIND) c -a -custom $(OCAMLAFLAGS) $(OCAMLDEBUGFLAG) \
112 Archive.CMXA := $(strip $(OCAMLFIND) opt -a $(OCAMLSTUBFLAGS) $(OCAMLDEBUGFLAG) \
115 Archive.CMXA := $(strip $(OCAMLFIND) opt -a $(OCAMLAFLAGS) $(OCAMLDEBUGFLAG) \
121 OcamlSources1 := $(sort $(wildcard $(PROJ_SRC_DIR)/*.ml))
125 OcamlHeaders1 := $(sort $(wildcard $(PROJ_SRC_DIR)/*.mli))
128 OcamlSources2 := $(filter-out $(ExcludeSources),$(OcamlSources1))
129 OcamlHeaders2 := $(filter-out $(ExcludeHeaders),$(OcamlHeaders1))
131 OcamlSources := $(OcamlSources2:$(PROJ_SRC_DIR)/%=$(ObjDir)/%)
132 OcamlHeaders := $(OcamlHeaders2:$(PROJ_SRC_DIR)/%=$(ObjDir)/%)
135 ObjectsCMI := $(OcamlSources:%.ml=%.cmi)
136 ObjectsCMO := $(OcamlSources:%.ml=%.cmo)
137 ObjectsCMX := $(OcamlSources:%.ml=%.cmx)
140 LibraryCMA := $(ObjDir)/$(LIBRARYNAME).cma
141 LibraryCMXA := $(ObjDir)/$(LIBRARYNAME).cmxa
145 ToolEXE := $(ObjDir)/$(TOOLNAME)$(EXEEXT)
149 # The .cmo files are the only intermediates; all others are to be installed.
150 OutputsCMI := $(ObjectsCMI:$(ObjDir)/%.cmi=$(OcamlDir)/%.cmi)
151 OutputsCMX := $(ObjectsCMX:$(ObjDir)/%.cmx=$(OcamlDir)/%.cmx)
152 OutputLibs := $(UsedLibNames:%=$(OcamlDir)/%)
155 LibraryA := $(OcamlDir)/lib$(LIBRARYNAME).a
156 OutputCMA := $(LibraryCMA:$(ObjDir)/%.cma=$(OcamlDir)/%.cma)
157 OutputCMXA := $(LibraryCMXA:$(ObjDir)/%.cmxa=$(OcamlDir)/%.cmxa)
161 SharedLib := $(OcamlDir)/dll$(LIBRARYNAME)$(SHLIBEXT)
166 OutputEXE := $(ExmplDir)/$(strip $(TOOLNAME))$(EXEEXT)
168 OutputEXE := $(ToolDir)/$(strip $(TOOLNAME))$(EXEEXT)
172 # Installation targets
173 DestLibs := $(UsedLibNames:%=$(PROJ_libocamldir)/%)
176 DestA := $(PROJ_libocamldir)/lib$(LIBRARYNAME).a
177 DestCMA := $(PROJ_libocamldir)/$(LIBRARYNAME).cma
178 DestCMXA := $(PROJ_libocamldir)/$(LIBRARYNAME).cmxa
182 DestSharedLib := $(PROJ_libocamldir)/dll$(LIBRARYNAME)$(SHLIBEXT)
185 ##===- Dependencies -------------------------------------------------------===##
186 # Copy the sources into the intermediate directory because older ocamlc doesn't
187 # support -o except when linking (outputs are placed next to inputs).
189 $(ObjDir)/%.mli: $(PROJ_SRC_DIR)/%.mli $(ObjDir)/.dir
190 $(Verb) $(CP) -f $< $@
192 $(ObjDir)/%.ml: $(PROJ_SRC_DIR)/%.ml $(ObjDir)/.dir
193 $(Verb) $(CP) -f $< $@
195 $(ObjectsCMI): $(UsedOcamlInterfaces:%=$(OcamlDir)/%.cmi)
198 $(ObjDir)/$(LIBRARYNAME).ocamldep: $(OcamlSources) $(OcamlHeaders) \
199 $(OcamlDir)/.dir $(ObjDir)/.dir
200 $(Verb) $(OCAMLFIND) dep $(OCAMLCFLAGS) $(OcamlSources) $(OcamlHeaders) > $@
202 -include $(ObjDir)/$(LIBRARYNAME).ocamldep
206 $(ObjDir)/$(TOOLNAME).ocamldep: $(OcamlSources) $(OcamlHeaders) \
207 $(OcamlDir)/.dir $(ObjDir)/.dir
208 $(Verb) $(OCAMLFIND) dep $(OCAMLCFLAGS) $(OcamlSources) $(OcamlHeaders) > $@
210 -include $(ObjDir)/$(TOOLNAME).ocamldep
213 ##===- Build static library from C sources --------------------------------===##
216 all-local:: $(LibraryA)
217 clean-local:: clean-a
218 install-local:: install-a
219 uninstall-local:: uninstall-a
221 $(LibraryA): $(ObjectsO) $(OcamlDir)/.dir
222 $(Echo) "Building $(BuildMode) $(notdir $@)"
224 $(Verb) $(Archive) $@ $(ObjectsO)
228 -$(Verb) $(RM) -f $(LibraryA)
230 install-a:: $(LibraryA)
231 $(Echo) "Installing $(BuildMode) $(DestA)"
232 $(Verb) $(MKDIR) $(PROJ_libocamldir)
233 $(Verb) $(INSTALL) $(LibraryA) $(DestA)
237 $(Echo) "Uninstalling $(DestA)"
238 -$(Verb) $(RM) -f $(DestA)
242 ##===- Build stub library from C sources ----------------------------------===##
245 all-local:: $(SharedLib)
246 clean-local:: clean-shared
247 install-local:: install-shared
248 uninstall-local:: uninstall-shared
250 $(SharedLib): $(ObjectsO) $(OcamlDir)/.dir
251 $(Echo) "Building $(BuildMode) $(notdir $@)"
252 $(Verb) $(Link) $(SharedLinkOptions) $(OCAMLRPATH) -o $@ $(ObjectsO) \
256 -$(Verb) $(RM) -f $(SharedLib)
258 install-shared:: $(SharedLib)
259 $(Echo) "Installing $(BuildMode) $(DestSharedLib)"
260 $(Verb) $(MKDIR) $(PROJ_libocamldir)
261 $(Verb) $(INSTALL) $(SharedLib) $(DestSharedLib)
265 $(Echo) "Uninstalling $(DestSharedLib)"
266 -$(Verb) $(RM) -f $(DestSharedLib)
270 ##===- Deposit dependent libraries adjacent to OCaml libs -----------------===##
272 ifndef SYSTEM_LLVM_CONFIG
273 all-local:: build-deplibs
274 clean-local:: clean-deplibs
275 install-local:: install-deplibs
276 uninstall-local:: uninstall-deplibs
278 build-deplibs: $(OutputLibs)
280 $(OcamlDir)/%.so: $(LibDir)/%.so
282 $(OcamlDir)/%.a: $(LibDir)/%.a
285 $(OcamlDir)/%.o: $(LibDir)/%.o
289 $(Verb) $(RM) -f $(OutputLibs)
292 $(Verb) $(MKDIR) $(PROJ_libocamldir)
293 $(Verb) for i in $(DestLibs:$(PROJ_libocamldir)/%=%); do \
294 ln -sf "$(PROJ_libdir)/$$i" "$(PROJ_libocamldir)/$$i"; \
298 $(Verb) $(RM) -f $(DestLibs)
301 ##===- Build ocaml interfaces (.mli's -> .cmi's) --------------------------===##
303 ifneq ($(OcamlHeaders),)
304 all-local:: build-cmis
305 clean-local:: clean-cmis
306 install-local:: install-cmis
307 uninstall-local:: uninstall-cmis
309 build-cmis: $(OutputsCMI)
311 $(OcamlDir)/%.cmi: $(ObjDir)/%.cmi $(OcamlDir)/.dir
312 $(Verb) $(CP) -f $< $@
314 $(ObjDir)/%.cmi: $(ObjDir)/%.mli $(ObjDir)/.dir
315 $(Echo) "Compiling $(notdir $<) for $(BuildMode) build"
316 $(Verb) $(Compile.CMI) $@ $<
319 -$(Verb) $(RM) -f $(OutputsCMI)
321 # Also install the .mli's (headers) as documentation.
322 install-cmis: $(OutputsCMI) $(OcamlHeaders)
323 $(Verb) $(MKDIR) $(PROJ_libocamldir)
324 $(Verb) for i in $(OcamlHeaders:$(ObjDir)/%=%); do \
325 $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
326 $(DataInstall) $(ObjDir)/$$i "$(PROJ_libocamldir)/$$i"; \
328 $(Verb) for i in $(OutputsCMI:$(OcamlDir)/%=%); do \
329 $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
330 $(DataInstall) $(OcamlDir)/$$i "$(PROJ_libocamldir)/$$i"; \
334 $(Verb) for i in $(OutputsCMI:$(OcamlDir)/%=%); do \
335 $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
336 $(RM) -f "$(PROJ_libocamldir)/$$i"; \
338 $(Verb) for i in $(OcamlHeaders:$(ObjDir)/%=%); do \
339 $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
340 $(RM) -f "$(PROJ_libocamldir)/$$i"; \
345 ##===- Build ocaml bytecode archive (.ml's -> .cmo's -> .cma) -------------===##
347 $(ObjDir)/%.cmo: $(ObjDir)/%.ml
348 $(Echo) "Compiling $(notdir $<) for $(BuildMode) build"
349 $(Verb) $(Compile.CMO) $@ $<
352 all-local:: $(OutputCMA)
353 clean-local:: clean-cma
354 install-local:: install-cma
355 uninstall-local:: uninstall-cma
357 $(OutputCMA): $(LibraryCMA) $(OcamlDir)/.dir
358 $(Verb) $(CP) -f $< $@
360 $(LibraryCMA): $(ObjectsCMO) $(OcamlDir)/.dir
361 $(Echo) "Archiving $(notdir $@) for $(BuildMode) build"
362 $(Verb) $(Archive.CMA) $@ $(ObjectsCMO)
365 $(Verb) $(RM) -f $(OutputCMA) $(UsedLibNames:%=$(OcamlDir)/%)
367 install-cma:: $(OutputCMA)
368 $(Echo) "Installing $(BuildMode) $(DestCMA)"
369 $(Verb) $(MKDIR) $(PROJ_libocamldir)
370 $(Verb) $(DataInstall) $(OutputCMA) "$(DestCMA)"
373 $(Echo) "Uninstalling $(DestCMA)"
374 -$(Verb) $(RM) -f $(DestCMA)
377 ##===- Build optimized ocaml archive (.ml's -> .cmx's -> .cmxa, .a) -------===##
379 # The ocamlopt compiler is supported on a set of targets disjoint from LLVM's.
380 # If unavailable, 'configure' will set HAVE_OCAMLOPT to 0 in Makefile.config.
381 ifeq ($(HAVE_OCAMLOPT),1)
383 $(OcamlDir)/%.cmx: $(ObjDir)/%.cmx
384 $(Verb) $(CP) -f $< $@
386 $(ObjDir)/%.cmx: $(ObjDir)/%.ml
387 $(Echo) "Compiling optimized $(notdir $<) for $(BuildMode) build"
388 $(Verb) $(Compile.CMX) $@ $<
391 all-local:: $(OutputCMXA) $(OutputsCMX)
392 clean-local:: clean-cmxa
393 install-local:: install-cmxa
394 uninstall-local:: uninstall-cmxa
396 $(OutputCMXA): $(LibraryCMXA)
397 $(Verb) $(CP) -f $< $@
398 $(Verb) $(CP) -f $(<:.cmxa=.a) $(@:.cmxa=.a)
400 $(LibraryCMXA): $(ObjectsCMX)
401 $(Echo) "Archiving $(notdir $@) for $(BuildMode) build"
402 $(Verb) $(Archive.CMXA) $@ $(ObjectsCMX)
403 $(Verb) $(RM) -f $(@:.cmxa=.o)
406 $(Verb) $(RM) -f $(OutputCMXA) $(OutputCMXA:.cmxa=.a) $(OutputsCMX)
408 install-cmxa:: $(OutputCMXA) $(OutputsCMX)
409 $(Verb) $(MKDIR) $(PROJ_libocamldir)
410 $(Echo) "Installing $(BuildMode) $(DestCMXA)"
411 $(Verb) $(DataInstall) $(OutputCMXA) $(DestCMXA)
412 $(Echo) "Installing $(BuildMode) $(DestCMXA:.cmxa=.a)"
413 $(Verb) $(DataInstall) $(OutputCMXA:.cmxa=.a) $(DestCMXA:.cmxa=.a)
414 $(Verb) for i in $(OutputsCMX:$(OcamlDir)/%=%); do \
415 $(EchoCmd) "Installing $(BuildMode) $(PROJ_libocamldir)/$$i"; \
416 $(DataInstall) $(OcamlDir)/$$i "$(PROJ_libocamldir)/$$i"; \
420 $(Echo) "Uninstalling $(DestCMXA)"
421 $(Verb) $(RM) -f $(DestCMXA)
422 $(Echo) "Uninstalling $(DestCMXA:.cmxa=.a)"
423 $(Verb) $(RM) -f $(DestCMXA:.cmxa=.a)
424 $(Verb) for i in $(OutputsCMX:$(OcamlDir)/%=%); do \
425 $(EchoCmd) "Uninstalling $(PROJ_libocamldir)/$$i"; \
426 $(RM) -f $(PROJ_libocamldir)/$$i; \
431 ##===- Generate documentation ---------------------------------------------===##
433 $(ObjDir)/$(LIBRARYNAME).odoc: $(ObjectsCMI)
434 $(Echo) "Documenting $(notdir $@)"
435 $(Verb) $(OCAMLFIND) doc -I $(ObjDir) -I $(OcamlDir) -dump $@ $(OcamlHeaders)
437 ocamldoc: $(ObjDir)/$(LIBRARYNAME).odoc
439 ##===- Debugging gunk -----------------------------------------------------===##
440 printvars:: printcamlvars
443 $(Echo) "LLVM_CONFIG : " '$(LLVM_CONFIG)'
444 $(Echo) "OCAMLCFLAGS : " '$(OCAMLCFLAGS)'
445 $(Echo) "OCAMLAFLAGS : " '$(OCAMLAFLAGS)'
446 $(Echo) "OCAMLRPATH : " '$(OCAMLRPATH)'
447 $(Echo) "OCAMLSTUBS : " '$(OCAMLSTUBS)'
448 $(Echo) "OCAMLSTUBFLAGS : " '$(OCAMLSTUBFLAGS)'
449 $(Echo) "OCAMLFIND : " '$(OCAMLFIND)'
450 $(Echo) "Compile.CMI : " '$(Compile.CMI)'
451 $(Echo) "Compile.CMO : " '$(Compile.CMO)'
452 $(Echo) "Archive.CMA : " '$(Archive.CMA)'
453 $(Echo) "Compile.CMX : " '$(Compile.CMX)'
454 $(Echo) "Archive.CMXA : " '$(Archive.CMXA)'
455 $(Echo) "CAML_LIBDIR : " '$(CAML_LIBDIR)'
456 $(Echo) "LibraryA : " '$(LibraryA)'
457 $(Echo) "LibraryCMA : " '$(LibraryCMA)'
458 $(Echo) "LibraryCMXA : " '$(LibraryCMXA)'
459 $(Echo) "SharedLib : " '$(SharedLib)'
460 $(Echo) "OcamlSources1: " '$(OcamlSources1)'
461 $(Echo) "OcamlSources2: " '$(OcamlSources2)'
462 $(Echo) "OcamlSources : " '$(OcamlSources)'
463 $(Echo) "OcamlHeaders1: " '$(OcamlHeaders1)'
464 $(Echo) "OcamlHeaders2: " '$(OcamlHeaders2)'
465 $(Echo) "OcamlHeaders : " '$(OcamlHeaders)'
466 $(Echo) "ObjectsCMI : " '$(ObjectsCMI)'
467 $(Echo) "ObjectsCMO : " '$(ObjectsCMO)'
468 $(Echo) "ObjectsCMX : " '$(ObjectsCMX)'
469 $(Echo) "OCAML_LIBDIR : " '$(OCAML_LIBDIR)'
470 $(Echo) "DestA : " '$(DestA)'
471 $(Echo) "DestCMA : " '$(DestCMA)'
472 $(Echo) "DestCMXA : " '$(DestCMXA)'
473 $(Echo) "DestSharedLib: " '$(DestSharedLib)'
474 $(Echo) "UsedLibs : " '$(UsedLibs)'
475 $(Echo) "UsedLibNames : " '$(UsedLibNames)'
476 $(Echo) "ExtraLibs : " '$(ExtraLibs)'
478 .PHONY: printcamlvars build-cmis \
479 clean-a clean-cmis clean-cma clean-cmxa \
480 install-a install-cmis install-cma install-cmxa \
482 uninstall-a uninstall-cmis uninstall-cma uninstall-cmxa \