]> matita.cs.unibo.it Git - helm.git/blob - daemons/http_getter/Makefile
1. is_meta_closed should be applied only to terms on which a substitution
[helm.git] / daemons / 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 ifeq ($(origin OCAMLPATH), undefined)
7 OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
8 else
9 OCAMLFIND = ocamlfind
10 endif
11 OCAMLC = $(OCAMLFIND) ocamlc -g $(COMMONOPTS)
12 OCAMLOPT = $(OCAMLFIND) opt $(COMMONOPTS)
13
14 all: byte
15 byte: $(NAME)
16 opt: $(NAME).opt
17 world: byte opt
18
19 $(NAME): buildTimeOpts.cmo main.ml
20         $(OCAMLC) -linkpkg -o $@ $^
21 $(NAME).opt: buildTimeOpts.cmx main.ml
22         $(OCAMLOPT) -linkpkg -o $@ $^
23
24 %.cmo: %.ml
25         $(OCAMLC) -c $<
26 %.cmx: %.ml
27         $(OCAMLOPT) -c $<
28
29 distclean: clean
30         rm -f buildTimeOpts.ml
31 clean:
32         rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot
33
34 .PHONY: all byte opt world clean distclean
35