]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/extractor/Makefile
579a5655f268e2b60766d7392dbe12edb0599afa
[helm.git] / helm / ocaml / metadata / extractor / Makefile
1
2 all: extractor extractor_manager 
3         @echo -n
4 opt: extractor.opt extractor_manager.opt
5         @echo -n
6
7 clean:
8         rm -f *.cm[ixo] *.[ao] extractor extractor.opt *.err *.out extractor_manager extractor_manager.opt
9
10 extractor: extractor.ml
11         @echo "    OCAMLC $<"
12         @$(OCAMLFIND) ocamlc \
13                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
14
15 extractor.opt: extractor.ml
16         @echo "    OCAMLOPT $<"
17         @$(OCAMLFIND) ocamlopt \
18                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
19
20 extractor_manager: extractor_manager.ml
21         @echo "    OCAMLC $<"
22         @$(OCAMLFIND) ocamlc \
23                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
24
25 extractor_manager.opt: extractor_manager.ml
26         @echo "    OCAMLOPT $<"
27         @$(OCAMLFIND) ocamlopt \
28                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
29
30 export: extractor.opt extractor_manager.opt
31          nice -n 20 \
32                 time \
33                 ./extractor_manager.opt 1>export.out 2>export.err
34         
35 include .depend
36 include ../../../Makefile.defs