]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/Makefile
test branch
[helm.git] / helm / ocaml / metadata / Makefile
1 PACKAGE = metadata
2 PREDICATES =
3
4 INTERFACE_FILES = \
5         sqlStatements.mli \
6         metadataTypes.mli \
7         metadataExtractor.mli \
8         metadataPp.mli \
9         metadataConstraints.mli \
10         metadataDb.mli 
11 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
12 EXTRA_OBJECTS_TO_INSTALL =
13 EXTRA_OBJECTS_TO_CLEAN =
14
15 include ../Makefile.common
16
17 all: all_table_creator all_extractor
18 opt: opt_table_creator opt_extractor
19
20 all_table_creator:
21         make -C table_creator/ all
22 opt_table_creator:
23         make -C table_creator/ opt
24
25 all_extractor:
26         make -C extractor/ all
27 opt_extractor:
28         make -C extractor/ opt
29
30 clean: clean_table_creator clean_extractor
31
32 clean_table_creator:
33         make -C table_creator/ clean
34         
35 clean_extractor:
36         make -C extractor/ clean
37