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