]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/profile-manager/Makefile
ocaml 3.09 transition
[helm.git] / helm / DEVEL / profile-manager / Makefile
1 BIN_DIR = /usr/local/bin
2 REQUIRES = http
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 = response.cmo profile.cmo profile_manager_env.cmo profile_manager.cmo
14
15 profile-manager: $(OBJS) $(LIBRARIES)
16         $(OCAMLC) -linkpkg -o $@ $(OBJS)
17
18 profile-manager.opt: $(OBJS:.cmo=.cmx) $(LIBRARIES_OPT)
19         $(OCAMLOPT) -linkpkg -o $@ $(OBJS:.cmo=.cmx)
20
21 .SUFFIXES: .ml .mli .cmo .cmi .cmx
22 .ml.cmo:
23         $(OCAMLC) -c $<
24 .mli.cmi:
25         $(OCAMLC) -c $<
26 .ml.cmx:
27         $(OCAMLOPT) -c $<
28
29 $(OBJS): $(LIBRARIES)
30 $(OBJS:.cmo=.cmx)): $(LIBRARIES_OPT)
31
32 clean:
33         rm -f *.cm[iox] *.o rdfly rdfly.opt
34
35 .PHONY: install uninstall clean
36