helm/ocaml/cic_proof_checking/Makefile

   1 PACKAGE = cic_proof_checking
   2 REQUIRES = helm-cic
   3 PREDICATES =
   4
   5 DEPOBJS = cicPp.mli cicPp.ml cicEnvironment.mli cicEnvironment.ml \
   6           cicSubstitution.mli cicSubstitution.ml cicReduction.mli \
   7           cicReduction.ml cicTypeChecker.mli cicTypeChecker.ml \
   8           cicCooking.mli cicCooking.ml cicMinireduction.mli cicMiniReduction.ml
   9
  10 OBJECTS = cicSubstitution.cmo cicEnvironment.cmo cicPp.cmo \
  11           cicMiniReduction.cmo cicReduction.cmo cicTypeChecker.cmo \
  12           cicCooking.cmo
  13
  14 include ../Makefile.common