]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/metadata/Makefile
some makefile work
[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         @echo "  building: table_creator"
22         @make -C table_creator/ all --no-print-directory
23 opt_table_creator:
24         @echo "  building: table_creator"
25         @make -C table_creator/ opt --no-print-directory
26
27 all_extractor:
28         @echo "  building: extractor"
29         @make -C extractor/ all --no-print-directory
30 opt_extractor:
31         @echo "  building: extractor"
32         @make -C extractor/ opt --no-print-directory
33
34 clean: clean_table_creator clean_extractor
35
36 clean_table_creator:
37         @echo "  cleaning: table_creator"
38         @make -C table_creator/ clean --no-print-directory
39         
40 clean_extractor:
41         @echo "  cleaning: extractor"
42         @make -C extractor/ clean --no-print-directory
43