helm/ocaml/cic_proof_checking/Makefile

   1
   2 PACKAGE = cic_proof_checking
   3 REQUIRES = helm-cic helm-logger helm-getter helm-xml
   4 PREDICATES =
   5
   6 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
   7
   8 INTERFACE_FILES = \
   9         cicLogger.mli \
  10         cicEnvironment.mli \
  11         cicPp.mli \
  12         cicUnivUtils.mli \
  13         cicSubstitution.mli \
  14         cicMiniReduction.mli \
  15         cicReduction.mli \
  16         cicTypeChecker.mli \
  17         freshNamesGenerator.mli \
  18         cicElim.mli     \
  19         cicRecord.mli
  20 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  21
  22 # Metadata tools only need zeta-reduction
  23 EXTRA_OBJECTS_TO_INSTALL = \
  24             cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
  25             cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
  26 EXTRA_OBJECTS_TO_CLEAN =
  27
  28 include ../Makefile.common
  29
  30 all: all_utilities
  31 opt: opt_utilities
  32
  33 all_utilities:
  34         $(MAKE) -C utilities/ all
  35 opt_utilities:
  36         $(MAKE) -C utilities/ opt
  37
  38 clean: clean_utilities
  39 clean_utilities:
  40         $(MAKE) -C utilities/ clean
  41