helm/ocaml/metadata/Makefile

   1 PACKAGE = metadata
   2 REQUIRES = mysql helm-cic_proof_checking
   3 PREDICATES =
   4
   5 INTERFACE_FILES = \
   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 all:
  16
  17 test: test.ml $(PACKAGE).cma
  18         $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
  19 test.opt: test.ml $(PACKAGE).cmxa
  20         $(OCAMLFIND) opt -thread -package mysql,helm-metadata -linkpkg -o $@ $<
  21 test_query: test_query.ml $(PACKAGE).cma
  22         $(OCAMLFIND) ocamlc -thread -package mysql,helm-metadata -linkpkg -o $@ $<
  23
  24 include ../Makefile.common