helm/ocaml/metadata/Makefile

   1 PACKAGE = metadata
   2 REQUIRES = dbi helm-cic_proof_checking
   3 PREDICATES =
   4
   5 INTERFACE_FILES = metadataExtractor.mli metadataPp.mli metadataDb.mli
   6 IMPLEMENTATION_FILES = metadataTypes.ml $(INTERFACE_FILES:%.mli=%.ml)
   7 EXTRA_OBJECTS_TO_INSTALL =
   8 EXTRA_OBJECTS_TO_CLEAN =
   9
  10 all:
  11
  12 test: test.ml metadata.cma
  13         $(OCAMLFIND) ocamlc -thread -package dbi.mysql,helm-metadata -linkpkg -o $@ $<
  14
  15 include ../Makefile.common