helm/ocaml/metadata/Makefile

   1 PACKAGE = metadata
   2 REQUIRES = mysql helm-cic_proof_checking
   3 PREDICATES =
   4
   5 INTERFACE_FILES = \
   6         sqlStatements.mli \
   7         metadataTypes.mli \
   8         metadataExtractor.mli \
   9         metadataPp.mli \
  10         metadataConstraints.mli \
  11         metadataDb.mli
  12 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  13 EXTRA_OBJECTS_TO_INSTALL =
  14 EXTRA_OBJECTS_TO_CLEAN =
  15
  16 include ../Makefile.common
  17
  18 all: all_table_creator
  19 opt: opt_table_creator
  20
  21 all_table_creator:
  22         make -C table_creator/ all
  23 opt_table_creator:
  24         make -C table_creator/ opt
  25
  26 clean: clean_table_creator
  27
  28 clean_table_creator:
  29         make -C table_creator/ clean
  30
  31 test: test.ml $(PACKAGE).cma
  32         $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
  33 test.opt: test.ml $(PACKAGE).cmxa
  34         $(OCAMLFIND) opt -thread -package mysql,helm-metadata -linkpkg -o $@ $<
  35 test_query: test_query.ml $(PACKAGE).cma
  36         $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
  37