helm/ocaml/cic_proof_checking/Makefile

   1 BIN_DIR = /usr/local/bin
   2 REQUIRES = helm-cic
   3 PREDICATES =
   4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
   5 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
   6 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
   7 OCAMLDEP = ocamldep
   8
   9 all: cicSubstitution.cmo cicEnvironment.cmo cicPp.cmo cicMiniReduction.cmo \
  10      cicReduction.cmo cicTypeChecker.cmo cicCooking.cmo
  11 opt: cicSubstitution.cmx cicEnvironment.cmx cicPp.cmx cicMiniReduction.cmx \
  12      cicReduction.cmx cicTypeChecker.cmx cicCooking.cmx
  13
  14 DEPOBJS = cicPp.mli cicPp.ml cicEnvironment.mli cicEnvironment.ml \
  15           cicSubstitution.mli cicSubstitution.ml cicReduction.mli \
  16           cicReduction.ml cicTypeChecker.mli cicTypeChecker.ml \
  17           cicCooking.mli cicCooking.ml cicMinireduction.mli cicMiniReduction.ml
  18
  19 depend:
  20         $(OCAMLDEP) $(DEPOBJS) > .depend
  21
  22 .SUFFIXES: .ml .mli .cmo .cmi .cmx
  23 .ml.cmo:
  24         $(OCAMLC) -c $<
  25 .mli.cmi:
  26         $(OCAMLC) -c $<
  27 .ml.cmx:
  28         $(OCAMLOPT) -c $<
  29
  30 clean:
  31         rm -f *.cm[iox]
  32
  33 install:
  34         #cp
  35
  36 uninstall:
  37         #rm -f
  38
  39 .PHONY: install uninstall clean
  40
  41 include .depend