helm/ocaml/cic_proof_checking/Makefile

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