PACKAGE = cic_proof_checking
REQUIRES = helm-cic
PREDICATES =

DEPOBJS = cicPp.mli cicPp.ml cicEnvironment.mli cicEnvironment.ml \
          cicSubstitution.mli cicSubstitution.ml cicReduction.mli \
          cicReduction.ml cicTypeChecker.mli cicTypeChecker.ml \
          cicCooking.mli cicCooking.ml cicMinireduction.mli cicMiniReduction.ml

OBJECTS = cicSubstitution.cmo cicEnvironment.cmo cicPp.cmo \
          cicMiniReduction.cmo cicReduction.cmo cicTypeChecker.cmo \
          cicCooking.cmo

include ../Makefile.common