]> matita.cs.unibo.it Git - helm.git/blob - components/binaries/extractor/Makefile
tagged 0.5.0-rc1
[helm.git] / components / binaries / extractor / Makefile
1 H=@
2
3 all: extractor extractor_manager 
4         $(H)echo -n
5 opt: extractor.opt extractor_manager.opt
6         $(H)echo -n
7
8 clean:
9         rm -f *.cm[ixo] *.[ao] extractor extractor.opt *.err *.out extractor_manager extractor_manager.opt
10
11 extractor: extractor.ml
12         $(H)echo "    OCAMLC $<"
13         $(H)$(OCAMLFIND) ocamlc \
14                 -thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
15
16 extractor.opt: extractor.ml
17         $(H)echo "    OCAMLOPT $<"
18         $(H)$(OCAMLFIND) ocamlopt \
19                 -thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
20
21 extractor_manager: extractor_manager.ml
22         $(H)echo "    OCAMLC $<"
23         $(H)$(OCAMLFIND) ocamlc \
24                 -thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
25
26 extractor_manager.opt: extractor_manager.ml
27         $(H)echo "    OCAMLOPT $<"
28         $(H)$(OCAMLFIND) ocamlopt \
29                 -thread -package mysql,helm-metadata,helm-library -linkpkg -rectypes -o $@ $<
30
31 export: extractor.opt extractor_manager.opt
32          nice -n 20 \
33                 time \
34                 ./extractor_manager.opt 1>export.out 2>export.err
35         
36 depend: 
37         $(H)echo "  OCAMLDEP"
38         $(H)ocamldep extractor.ml extractor_manager.ml > .depend
39 depend.opt: 
40         $(H)echo "  OCAMLDEP -native"
41         $(H)ocamldep -native extractor.ml extractor_manager.ml > .depend.opt
42
43 ifeq ($(MAKECMDGOALS),)
44   include .depend   
45 endif
46
47 ifeq ($(MAKECMDGOALS), all)
48   include .depend   
49 endif
50
51 ifeq ($(MAKECMDGOALS), opt)
52   include .depend.opt   
53 endif
54
55 include ../../../Makefile.defs