helm/ocaml/cic/Makefile

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