cic_unification/Makefile

   1 PACKAGE = cic_unification
   2 REQUIRES = helm-cic_proof_checking
   3 PREDICATES =
   4
   5 INTERFACE_FILES = cicUnification.mli
   6 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
   7 EXTRA_OBJECTS_TO_INSTALL =
   8
   9 include ../Makefile.common