helm/ocaml/cic_proof_checking/Makefile

   1 PACKAGE = cic_proof_checking
   2 REQUIRES = helm-cic
   3 PREDICATES =
   4
   5 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
   6
   7 INTERFACE_FILES = \
   8         cicLogger.mli cicEnvironment.mli cicPp.mli cicSubstitution.mli \
   9         cicMiniReduction.mli cicReductionNaif.mli cicReduction.mli \
  10         cicTypeChecker.mli
  11 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  12
  13 # Metadata tools only need zeta-reduction
  14 EXTRA_OBJECTS_TO_INSTALL = \
  15             cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
  16             cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
  17 EXTRA_OBJECTS_TO_CLEAN =
  18
  19 include ../Makefile.common
  20
  21 cicReduction.ml: $(REDUCTION_IMPLEMENTATION)
  22         if ! [ -f $@ ]; then \
  23                 echo "Using $< for $@"; \
  24                 ln -s $< $@;    \
  25         else    \
  26                 true;   \
  27         fi
  28