helm/ocaml/cic_proof_checking/Makefile

   1
   2 PACKAGE = cic_proof_checking
   3 PREDICATES =
   4
   5 REDUCTION_IMPLEMENTATION = cicReductionMachine.ml
   6
   7 INTERFACE_FILES = \
   8         cicLogger.mli \
   9         cicEnvironment.mli \
  10         cicPp.mli \
  11         cicUnivUtils.mli \
  12         cicSubstitution.mli \
  13         cicMiniReduction.mli \
  14         cicReduction.mli \
  15         cicTypeChecker.mli \
  16         freshNamesGenerator.mli \
  17         $(NULL)
  18 IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml)
  19
  20 # Metadata tools only need zeta-reduction
  21 EXTRA_OBJECTS_TO_INSTALL = \
  22             cicSubstitution.cmo cicSubstitution.cmx cicSubstitution.o \
  23             cicMiniReduction.cmo cicMiniReduction.cmx cicMiniReduction.o
  24 EXTRA_OBJECTS_TO_CLEAN =
  25
  26 include ../Makefile.common
  27
  28 cicReduction.cmo: OCAMLOPTIONS+=-rectypes
  29 cicReduction.cmx: OCAMLOPTIONS+=-rectypes
  30
  31 all: all_utilities
  32 opt: opt_utilities
  33
  34 all_utilities:
  35         @echo "  building: utilities"
  36         @$(MAKE) -C utilities/ all --no-print-directory
  37 opt_utilities:
  38         @echo "  building: utilities"
  39         @$(MAKE) -C utilities/ opt --no-print-directory
  40
  41 clean: clean_utilities
  42 clean_utilities:
  43         @echo "  cleaning: utilities"
  44         @$(MAKE) -C utilities/ clean --no-print-directory
  45