]> matita.cs.unibo.it Git - helm.git/blob - helm/hbugs/broker/Makefile
- added/moved METAs in meta/ dir
[helm.git] / helm / hbugs / broker / Makefile
1 NAME = hbugs_broker
2 METADIR = ../meta
3 REQUIRES = http threads hbugs-common hbugs-thread-safe
4 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
5 OCAMLC = OCAMLPATH="$(METADIR)" ocamlfind ocamlc $(COMMONOPTS)
6 OCAMLOPT = OCAMLPATH="$(METADIR)" ocamlfind ocamlopt $(COMMONOPTS)
7 OCAMLDEP = OCAMLPATH="$(METADIR)" ocamlfind ocamldep $(COMMONOPTS)
8 MODULES = hbugs_broker_registry
9
10 OBJS = $(patsubst %,%.cmo,$(MODULES))
11 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
12
13 all: byte
14 byte: $(NAME)
15 opt: $(NAME).opt
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 $(NAME): $(OBJS) $(NAME).ml
30         $(OCAMLC) -linkpkg -thread -o $@ $^
31 $(NAME).opt: $(OBJSOPT) $(NAME).ml
32         $(OCAMLOPT) -linkpkg -thread -o $@ $^
33
34 distclean: clean
35 clean:
36         rm -f *.cm[aiox] *.o $(NAME){,.opt}
37
38 .PHONY: all byte opt world depend clean
39