]> matita.cs.unibo.it Git - helm.git/blob - daemons/rdfly/Makefile
snapshot for camlp5 v5
[helm.git] / daemons / rdfly / Makefile
1 BIN_DIR = /usr/local/bin
2 REQUIRES = mysql http helm-registry
3 PREDICATES = 
4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
5 ifeq ($(origin OCAMLPATH), undefined)
6 OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
7 else
8 OCAMLFIND = ocamlfind
9 endif
10 OCAMLC = $(OCAMLFIND) ocamlc -thread $(OCAMLOPTIONS)
11 OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(OCAMLOPTIONS)
12 OCAMLDEP = ocamldep -pp camlp4o
13
14 LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
15 LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
16
17 OBJS = rdfly.cmo
18
19 all: rdfly
20 opt: rdfly.opt
21
22 rdfly: $(OBJS) $(LIBRARIES)
23         $(OCAMLC) -linkpkg -o $@ $(OBJS)
24
25 rdfly.opt: $(OBJS:.cmo=.cmx) $(LIBRARIES_OPT)
26         $(OCAMLOPT) -linkpkg -o rdfly.opt $(OBJS:.cmo=.cmx)
27
28 .SUFFIXES: .ml .mli .cmo .cmi .cmx
29 .ml.cmo:
30         $(OCAMLC) -c $<
31 .mli.cmi:
32         $(OCAMLC) -c $<
33 .ml.cmx:
34         $(OCAMLOPT) -c $<
35
36 $(OBJS): $(LIBRARIES)
37 $(OBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
38
39 clean:
40         rm -f *.cm[iox] *.o rdfly rdfly.opt
41
42 .PHONY: install uninstall clean
43