]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/Makefile.common.in
Makefile improved: dependencies from libraries are now considered.
[helm.git] / helm / ocaml / Makefile.common.in
1 # This Makefile must be included by another one defining:
2 #  $PACKAGE
3 #  $REQUIRES
4 #  $PREDICATES
5 #  $INTERFACE_FILES
6 #  $IMPLEMENTATION_FILES
7 #  $EXTRA_OBJECTS_TO_INSTALL
8 # and put in a directory where there is a .depend file.
9
10 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
11
12 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
13 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
14 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
15 OCAMLDEP = ocamldep
16
17 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
18 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
19
20
21 ARCHIVE = $(PACKAGE).cma
22 ARCHIVE_OPT = $(PACKAGE).cmxa
23 OBJECTS_TO_INSTALL = $(ARCHIVE) $(ARCHIVE_OPT) $(ARCHIVE_OPT:%.cmxa=%.a) \
24                      $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.cmi) \
25                      $(EXTRA_OBJECTS_TO_INSTALL)
26
27 $(ARCHIVE): $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(LIBRARIES)
28         $(OCAMLC) -a -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo)
29
30 $(ARCHIVE_OPT): $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(LIBRARIES_OPT)
31         $(OCAMLOPT) -a -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx)
32
33 all: $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(ARCHIVE)
34 opt: $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT)
35
36 depend:
37         $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
38
39 .SUFFIXES: .ml .mli .cmo .cmi .cmx
40 .ml.cmo: $(LIBRARIES)
41         $(OCAMLC) -c $<
42 .mli.cmi: $(LIBRARIES)
43         $(OCAMLC) -c $<
44 .ml.cmx: $(LIBRARIES_OPT)
45         $(OCAMLOPT) -c $<
46
47 clean:
48         rm -f *.cm[ioax] *.cmxa *.o *.a
49
50 install:
51         mkdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
52         cp $(OBJECTS_TO_INSTALL) $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
53
54 uninstall:
55         cd $(OCAMLFIND_DEST_DIR)/$(PACKAGE) && rm -f $(OBJECTS_TO_INSTALL)
56         rmdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
57
58 .PHONY: all opt depend install uninstall clean
59
60 include .depend