1 BIN_DIR = /usr/local/bin
2 REQUIRES = lablgtkmathview helm-cic_annotations_cache
4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
5 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
6 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
9 all: cicAnnotationHelper
10 opt: cicAnnotationHelper.opt
12 DEPOBJS = cicAnnotationHinter.mli cicAnnotationHinter.ml cicAnnotationHelper.ml
14 CICANNOTATIONHELPEROBJS = cicAnnotationHinter.cmo cicAnnotationHelper.cmo
17 $(OCAMLDEP) $(DEPOBJS) > .depend
19 cicAnnotationHelper: $(CICANNOTATIONHELPEROBJS)
20 $(OCAMLC) -linkpkg -o cicAnnotationHelper $(CICANNOTATIONHELPEROBJS)
22 cicAnnotationHelper.opt: $(CICANNOTATIONHELPEROBJS:.cmo=.cmx)
23 $(OCAMLOPT) -linkpkg -o cicAnnotationHelper.opt $(CICANNOTATIONHELPEROBJS:.cmo=.cmx)
25 .SUFFIXES: .ml .mli .cmo .cmi .cmx
34 rm -f *.cm[iox] *.o cicAnnotationHelper cicAnnotationHelper.opt
37 cp cicAnnotationHelper cicAnnotationHelper.opt $(BIN_DIR)
40 rm -f $(BIN_DIR)/cicAnnotationHelper $(BIN_DIR)/cicAnnotationHelper.opt
42 .PHONY: install uninstall clean