X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmetadata%2FMakefile;h=afacda168711889ade0709827818386069a680d0;hb=53a481cfc7546504db6005b6f29fe30c3d9eabc7;hp=52fe27edd79b0e40ebab812bcf6b31c4723237f8;hpb=11d81280208345b189c174e2ae19a6ab45e2b03a;p=helm.git diff --git a/helm/ocaml/metadata/Makefile b/helm/ocaml/metadata/Makefile index 52fe27edd..afacda168 100644 --- a/helm/ocaml/metadata/Makefile +++ b/helm/ocaml/metadata/Makefile @@ -15,23 +15,24 @@ EXTRA_OBJECTS_TO_CLEAN = include ../Makefile.common -all: all_table_creator -opt: opt_table_creator +all: all_table_creator all_extractor +opt: opt_table_creator opt_extractor all_table_creator: make -C table_creator/ all opt_table_creator: make -C table_creator/ opt -clean: clean_table_creator +all_extractor: + make -C extractor/ all +opt_extractor: + make -C extractor/ opt + +clean: clean_table_creator clean_extractor clean_table_creator: make -C table_creator/ clean -test: test.ml $(PACKAGE).cma - $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $< -test.opt: test.ml $(PACKAGE).cmxa - $(OCAMLFIND) opt -thread -package mysql,helm-metadata -linkpkg -o $@ $< -test_query: test_query.ml $(PACKAGE).cma - $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $< - +clean_extractor: + make -C extractor/ clean +