]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/rdfly/Makefile
The getter maps are now dumped also if matitac exits abruptly.
[helm.git] / helm / DEVEL / 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 OCAMLFIND = ocamlfind
6 OCAMLC = $(OCAMLFIND) ocamlc -thread $(OCAMLOPTIONS)
7 OCAMLOPT = $(OCAMLFIND) ocamlopt -thread $(OCAMLOPTIONS)
8 OCAMLDEP = ocamldep -pp camlp4o
9
10 LIBRARIES = $(shell $(OCAMLFIND) query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
11 LIBRARIES_OPT = $(shell $(OCAMLFIND) query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
12
13 OBJS = rdfly.cmo
14
15 all: rdfly
16 opt: rdfly.opt
17
18 rdfly: $(OBJS) $(LIBRARIES)
19         $(OCAMLC) -linkpkg -o $@ $(OBJS)
20
21 rdfly.opt: $(OBJS:.cmo=.cmx) $(LIBRARIES_OPT)
22         $(OCAMLOPT) -linkpkg -o rdfly.opt $(OBJS:.cmo=.cmx)
23
24 .SUFFIXES: .ml .mli .cmo .cmi .cmx
25 .ml.cmo:
26         $(OCAMLC) -c $<
27 .mli.cmi:
28         $(OCAMLC) -c $<
29 .ml.cmx:
30         $(OCAMLOPT) -c $<
31
32 $(OBJS): $(LIBRARIES)
33 $(OBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
34
35 clean:
36         rm -f *.cm[iox] *.o rdfly rdfly.opt
37
38 .PHONY: install uninstall clean
39