helm/ocaml/metadata/Makefile

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