]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/Makefile.common.in
removed useless -thread switch
[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 world: all opt
43
44 depend: $(DEPEND_FILES)
45         $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
46
47 $(PACKAGE).ps: .dep.dot
48         dot -Tps -o $@ $<
49
50 .dep.dot: .depend
51         ocamldot < .depend > $@
52
53 %.cmi: %.mli
54         $(OCAMLC) -c $<
55 %.cmo %.cmi: %.ml
56         $(OCAMLC) -c $<
57 %.cmx: %.ml
58         $(OCAMLOPT) -c $<
59 %.ml %.mli: %.mly
60         $(OCAMLYACC) $<
61 %.ml: %.mll
62         $(OCAMLLEX) $<
63
64 $(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES)
65 $(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT)
66
67 clean:
68         rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN)
69
70 install:
71         mkdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
72         cp $(OBJECTS_TO_INSTALL) $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
73
74 uninstall:
75         cd $(OCAMLFIND_DEST_DIR)/$(PACKAGE) && rm -f $(OBJECTS_TO_INSTALL)
76         rmdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
77
78 backup:
79         cd ..; tar cvzf $(PACKAGE)_$(shell date +%s).tar.gz $(PACKAGE)
80
81 .PHONY: all opt world backup depend install uninstall clean
82
83 ifneq ($(MAKECMDGOALS), depend)
84    include .depend   
85 endif
86
87 ifeq ($(MAKECMDGOALS), all)
88    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
89 endif
90
91 ifeq ($(MAKECMDGOALS), opt)
92    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT)
93 endif