]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/common/Makefile
0e25d75e1c115df6867a93545de6cf24587b94b8
[helm.git] / helm / hbugs / common / Makefile
1 REQUIRES = pcre pxp http
2 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
3 OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
4 OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
5 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
6 MODULES =       \
7         hbugs_types threadSafe hbugs_misc       \
8         hbugs_id_generator hbugs_messages
9
10 OBJS = $(patsubst %,%.cmo,$(MODULES))
11 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
12
13 all: byte
14 byte: $(OBJS)
15 opt: $(OBJSOPT)
16 world: byte opt
17
18 include .depend
19 depend:
20         $(OCAMLDEP) *.ml *.mli > .depend
21
22 %.cmi: %.mli
23         $(OCAMLC) -c $<
24 %.cmo: %.ml %.cmi
25         $(OCAMLC) -c $<
26 %.cmx: %.ml %.cmi
27         $(OCAMLOPT) -c $<
28 include Makefile.overrides
29
30 distclean: clean
31 clean:
32         rm -f *.cm[aiox] *.o $(NAME){,.opt}
33
34 .PHONY: all byte opt world depend clean
35