]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/Makefile.common.in
fixed make dep command
[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 SYNTAXOPTIONS = -syntax camlp4o
15 PREREQ =
16 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread
17 OCAMLDEBUGOPTIONS = -g
18 OCAMLARCHIVEOPTIONS =
19 OCAMLFIND = @OCAMLFIND@
20 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(PREPROCOPTIONS)
21 OCAMLOPT = $(OCAMLFIND) opt $(OCAMLOPTIONS) $(PREPROCOPTIONS)
22 OCAMLDEP = $(OCAMLFIND) ocamldep -package "camlp4,$(REQUIRES)" $(SYNTAXOPTIONS)
23 OCAMLLEX = ocamllex
24 OCAMLYACC = ocamlyacc
25
26 OCAMLC_P4 = $(OCAMLFIND) ocamlc $(OCAMLDEBUGOPTIONS) $(OCAMLOPTIONS) $(SYNTAXOPTIONS)
27 OCAMLOPT_P4 = $(OCAMLFIND) opt $(OCAMLOPTIONS) $(SYNTAXOPTIONS)
28
29 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
30 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
31
32
33 ARCHIVE = $(PACKAGE).cma
34 ARCHIVE_OPT = $(PACKAGE).cmxa
35 OBJECTS_TO_INSTALL = $(ARCHIVE) $(ARCHIVE_OPT) $(ARCHIVE_OPT:%.cmxa=%.a) \
36                      $(INTERFACE_FILES) $(INTERFACE_FILES:%.mli=%.cmi) \
37                      $(EXTRA_OBJECTS_TO_INSTALL)
38 DEPEND_FILES = $(INTERFACE_FILES) $(IMPLEMENTATION_FILES)
39
40 $(ARCHIVE): $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(LIBRARIES)
41         $(OCAMLC) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
42                 $(IMPLEMENTATION_FILES:%.ml=%.cmo)
43
44 $(ARCHIVE_OPT): $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(LIBRARIES_OPT)
45         $(OCAMLOPT) $(OCAMLARCHIVEOPTIONS) -a -o $@ \
46                 $(IMPLEMENTATION_FILES:%.ml=%.cmx)
47
48 prereq: $(PREREQ)
49 all: prereq $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(ARCHIVE)
50 opt: prereq $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT)
51 world: all opt
52
53 depend: $(DEPEND_FILES)
54         $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
55
56 $(PACKAGE).ps: .dep.dot
57         dot -Tps -o $@ $<
58
59 .dep.dot: .depend
60         ocamldot < .depend > $@
61
62 %.cmi: %.mli
63         $(OCAMLC) -c $<
64 %.cmo %.cmi: %.ml
65         $(OCAMLC) -c $<
66 %.cmx: %.ml
67         $(OCAMLOPT) -c $<
68 %.ml %.mli: %.mly
69         $(OCAMLYACC) $<
70 %.ml: %.mll
71         $(OCAMLLEX) $<
72
73 $(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES)
74 $(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT)
75
76 clean:
77         rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN)
78
79 install:
80         mkdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
81         cp $(OBJECTS_TO_INSTALL) $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
82
83 uninstall:
84         cd $(OCAMLFIND_DEST_DIR)/$(PACKAGE) && rm -f $(OBJECTS_TO_INSTALL)
85         rmdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
86
87 backup:
88         cd ..; tar cvzf $(PACKAGE)_$(shell date +%s).tar.gz $(PACKAGE)
89
90 ocamlinit:
91         echo "#use \"topfind\";;" > .ocamlinit
92         echo "#thread;;" >> .ocamlinit
93         for p in $(REQUIRES); do echo "#require \"$$p\";;" >> .ocamlinit; done
94         echo "#load \"$(PACKAGE).cma\";;" >> .ocamlinit
95
96 .PHONY: all opt world backup depend install uninstall clean ocamlinit
97
98 ifneq ($(MAKECMDGOALS), depend)
99    include .depend   
100 endif
101
102 ifeq ($(MAKECMDGOALS), all)
103    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
104 endif
105
106 ifeq ($(MAKECMDGOALS), opt)
107    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT)
108 endif
109
110 ifeq ($(MAKECMDGOALS),)
111    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
112 endif