]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/common/Makefile
Initial revision
[helm.git] / helm / hbugs / common / Makefile
1 REQUIRES = pcre pxp
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 hbugs_id_generator hbugs_messages
8
9 OBJS = $(patsubst %,%.cmo,$(MODULES))
10 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
11
12 all: byte
13 byte: $(OBJS)
14 opt: $(OBJSOPT)
15 world: byte opt
16
17 include .depend
18 depend:
19         $(OCAMLDEP) *.ml *.mli > .depend
20
21 %.cmi: %.mli
22         $(OCAMLC) -c $<
23 %.cmo: %.ml %.cmi
24         $(OCAMLC) -c $<
25 %.cmx: %.ml %.cmi
26         $(OCAMLOPT) -c $<
27 include Makefile.overrides
28
29 distclean: clean
30 clean:
31         rm -f *.cm[aiox] *.o $(NAME){,.opt}
32
33 .PHONY: all byte opt world depend clean
34