]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/metadata/Makefile
- renamed ocaml/ to components/
[helm.git] / helm / software / components / 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.defs
16 include ../Makefile.common
17
18 all: all_table_creator all_extractor
19 opt: opt_table_creator opt_extractor
20
21 all_table_creator:
22         @make -C table_creator/ all 
23 opt_table_creator:
24         @make -C table_creator/ opt
25
26 all_extractor:
27         @make -C extractor/ all
28 opt_extractor:
29         @make -C extractor/ opt
30
31 clean: clean_table_creator clean_extractor
32
33 clean_table_creator:
34         @echo "  cleaning: table_creator"
35         @make -C table_creator/ clean 
36         
37 clean_extractor:
38         @echo "  cleaning: extractor"
39         @make -C extractor/ clean
40