]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/extractor/Makefile
added new extractor based on MetadataDb.index_obj
[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 
8
9 all: extractor
10 opt: extractor.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 include ../../Makefile.common
21 include .depend