]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/Makefile.common.in
Makefiles patched
[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 #  $EXTRA_OBJECTS_TO_CLEAN
9 # and put in a directory where there is a .depend file.
10
11 OCAMLFIND_DEST_DIR = @OCAMLFIND_DEST_DIR@
12
13 PREPROCOPTIONS = -pp camlp4o
14 PREREQ =
15 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
16 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS) $(PREPROCOPTIONS)
17 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
18 OCAMLDEP = ocamlfind ocamldep $(PREPROCOPTIONS)
19 OCAMLLEX = ocamllex
20 OCAMLYACC = ocamlyacc
21
22 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
23 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
24
25
26 ARCHIVE = $(PACKAGE).cma
27 ARCHIVE_OPT = $(PACKAGE).cmxa
28 OBJECTS_TO_INSTALL = $(ARCHIVE) $(ARCHIVE_OPT) $(ARCHIVE_OPT:%.cmxa=%.a) \
29                      $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.cmi) \
30                      $(EXTRA_OBJECTS_TO_INSTALL)
31 DEPEND_FILES = $(INTERFACE_FILES) $(IMPLEMENTATION_FILES)
32
33 $(ARCHIVE): $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(LIBRARIES)
34         $(OCAMLC) -a -linkall -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmo)
35
36 $(ARCHIVE_OPT): $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(LIBRARIES_OPT)
37         $(OCAMLOPT) -a -linkall -o $@ $(IMPLEMENTATION_FILES:%.ml=%.cmx)
38
39 prereq: $(PREREQ)
40 all: prereq $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(ARCHIVE)
41 opt: prereq $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT)
42
43 depend: $(DEPEND_FILES)
44         $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
45
46 $(PACKAGE).ps: .dep.dot
47         dot -Tps -o $@ $<
48
49 .dep.dot: .depend
50         ocamldot < .depend > $@
51
52 .SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .mly
53 .ml.cmo:
54         $(OCAMLC) -c $<
55 .mli.cmi:
56         $(OCAMLC) -c $<
57 .ml.cmx:
58         $(OCAMLOPT) -c $<
59 .mly.ml:
60         $(OCAMLYACC) $<
61 .mly.mli:
62         $(OCAMLYACC) $<
63 .mll.ml:
64         $(OCAMLLEX) $<
65
66 $(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES)
67 $(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT)
68
69 clean:
70         rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN)
71
72 install:
73         mkdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
74         cp $(OBJECTS_TO_INSTALL) $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
75
76 uninstall:
77         cd $(OCAMLFIND_DEST_DIR)/$(PACKAGE) && rm -f $(OBJECTS_TO_INSTALL)
78         rmdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
79
80 .PHONY: all opt depend install uninstall clean
81
82 ifneq ($(MAKECMDGOALS), depend)
83    include .depend   
84 endif
85
86 ifeq ($(MAKECMDGOALS), all)
87    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
88 endif
89
90 ifeq ($(MAKECMDGOALS), opt)
91    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT)
92 endif