]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/Makefile
paths trough terms implemented with a nice hack :)
[helm.git] / helm / http_getter / Makefile
1 VERSION = 0.3.0
2 NAME = http_getter
3
4 REQUIRES = helm-getter helm-logger helm-registry netstring
5 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o -thread
6 OCAMLFIND = ocamlfind
7 OCAMLC = $(OCAMLFIND) ocamlc -g $(COMMONOPTS)
8 OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)
9
10 all: byte
11 byte: $(NAME)
12 opt: $(NAME).opt
13 world: byte opt
14
15 $(NAME): buildTimeOpts.cmo main.ml
16         $(OCAMLC) -linkpkg -o $@ $^
17 $(NAME).opt: buildTimeOpts.cmx main.ml
18         $(OCAMLOPT) -linkpkg -o $@ $^
19
20 %.cmo: %.ml
21         $(OCAMLC) -c $<
22 %.cmx: %.ml
23         $(OCAMLOPT) -c $<
24
25 distclean: clean
26         rm -f buildTimeOpts.ml
27 clean:
28         rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot
29
30 .PHONY: all byte opt world clean distclean
31