]> matita.cs.unibo.it Git - helm.git/blob - helm/http_getter/Makefile
mathql_db_map.txt now retrieved by Helm_registry.
[helm.git] / helm / http_getter / Makefile
1 VERSION = 0.3.0
2 NAME = http_getter
3
4 REQUIRES = helm-getter helm-logger helm-registry
5 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
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): main.ml
16         $(OCAMLC) -linkpkg -thread -o $@ $^
17 $(NAME).opt: main.ml
18         $(OCAMLOPT) -linkpkg -thread -o $@ $^
19
20 distclean: clean
21 clean:
22         rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot
23
24 .PHONY: all byte opt world clean distclean
25