]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/extractor/Makefile
added extractor_manager
[helm.git] / helm / ocaml / metadata / extractor / Makefile
1 REQUIRES = mysql helm-metadata
2
3 INTERFACE_FILES = 
4 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) 
5 EXTRA_OBJECTS_TO_INSTALL =
6 EXTRA_OBJECTS_TO_CLEAN = \
7         extractor extractor.opt *.err *.out extractor_manager extractor_manager.opt
8
9 all: extractor extractor_manager 
10 opt: extractor.opt extractor_manager.opt
11
12 extractor: extractor.ml
13         $(OCAMLFIND) ocamlc \
14                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
15
16 extractor.opt: extractor.ml
17         $(OCAMLFIND) ocamlopt \
18                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
19
20 extractor_manager: extractor_manager.ml
21         $(OCAMLFIND) ocamlc \
22                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
23
24 extractor_manager.opt: extractor_manager.ml
25         $(OCAMLFIND) ocamlopt \
26                 -thread -package mysql,helm-metadata -linkpkg -o $@ $<
27
28 export: extractor.opt extractor_manager.opt
29          nice -n 20 \
30                 time \
31                 ./extractor_manager.opt 1>export.out 2>export.err
32         
33
34 include ../../Makefile.common
35 include .depend