]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/Makefile.common.in
added test and test.opt targets
[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 test: test.ml $(ARCHIVE)
53         $(OCAMLC) $(ARCHIVE) -linkpkg -o $@ $<
54 test.opt: test.ml $(ARCHIVE_OPT)
55         $(OCAMLOPT) $(ARCHIVE_OPT) -linkpkg -o $@ $<
56
57 depend: $(DEPEND_FILES)
58         $(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
59
60 $(PACKAGE).ps: .dep.dot
61         dot -Tps -o $@ $<
62
63 .dep.dot: .depend
64         ocamldot < .depend > $@
65
66 %.cmi: %.mli
67         $(OCAMLC) -c $<
68 %.cmo %.cmi: %.ml
69         $(OCAMLC) -c $<
70 %.cmx: %.ml
71         $(OCAMLOPT) -c $<
72 %.ml %.mli: %.mly
73         $(OCAMLYACC) $<
74 %.ml: %.mll
75         $(OCAMLLEX) $<
76
77 $(IMPLEMENTATION_FILES:%.ml=%.cmo): $(LIBRARIES)
78 $(IMPLEMENTATION_FILES:%.ml=%.cmx): $(LIBRARIES_OPT)
79
80 clean:
81         rm -f *.cm[ioax] *.cmxa *.o *.a $(EXTRA_OBJECTS_TO_CLEAN)
82         if [ -f test ]; then rm -f test; else true; fi
83         if [ -f test.opt ]; then rm -f test.opt; else true; fi
84
85 install:
86         mkdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
87         cp $(OBJECTS_TO_INSTALL) $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
88
89 uninstall:
90         cd $(OCAMLFIND_DEST_DIR)/$(PACKAGE) && rm -f $(OBJECTS_TO_INSTALL)
91         rmdir $(OCAMLFIND_DEST_DIR)/$(PACKAGE)
92
93 backup:
94         cd ..; tar cvzf $(PACKAGE)_$(shell date +%s).tar.gz $(PACKAGE)
95
96 ocamlinit:
97         echo "#use \"topfind\";;" > .ocamlinit
98         echo "#thread;;" >> .ocamlinit
99         for p in $(REQUIRES); do echo "#require \"$$p\";;" >> .ocamlinit; done
100         echo "#load \"$(PACKAGE).cma\";;" >> .ocamlinit
101
102 .PHONY: all opt world backup depend install uninstall clean ocamlinit
103
104 ifneq ($(MAKECMDGOALS), depend)
105    include .depend   
106 endif
107
108 ifeq ($(MAKECMDGOALS), all)
109    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
110 endif
111
112 ifeq ($(MAKECMDGOALS), opt)
113    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES_OPT)
114 endif
115
116 ifeq ($(MAKECMDGOALS),)
117    $(IMPLEMENTATION_FILES:%.ml=%.cmi): $(LIBRARIES)
118 endif