helm/metadata/create2/mk_forward/Makefile

   1 BIN_DIR = /usr/local/bin
   2 REQUIRES = helm-xml helm-cic_proof_checking
   3 PREDICATES = miniReduction
   4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
   5 OCAMLDEP = ocamldep
   6 OCAMLFIND = ocamlfind
   7 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
   8 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
   9
  10 all: mk_forward
  11 opt: mk_forward.opt
  12
  13 DEPOBJS = mk_forward.ml
  14
  15 MKFORWARDOBJS = mk_forward.cmo
  16
  17 depend:
  18         $(OCAMLDEP) $(DEPOBJS) > .depend
  19
  20 mk_forward: $(MKFORWARDOBJS)
  21         $(OCAMLC) -linkpkg -o mk_forward $(MKFORWARDOBJS)
  22
  23 mk_forward.opt: $(MKFORWARDOBJS:.cmo=.cmx)
  24         $(OCAMLOPT) -linkpkg -o mk_forward.opt $(MKFORWARDOBJS:.cmo=.cmx)
  25
  26 .SUFFIXES: .ml .mli .cmo .cmi .cmx
  27 .ml.cmo:
  28         $(OCAMLC) -c $<
  29 .mli.cmi:
  30         $(OCAMLC) -c $<
  31 .ml.cmx:
  32         $(OCAMLOPT) -c $<
  33
  34 clean:
  35         rm -f *.cm[iox] *.o mk_forward mk_forward.opt
  36
  37 .PHONY: clean
  38
  39 include .depend