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 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
10 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
12 all: cicAnnotationHelper
13 opt: cicAnnotationHelper.opt
15 DEPOBJS = cicAnnotationHinter.mli cicAnnotationHinter.ml cicAnnotationHelper.ml
17 CICANNOTATIONHELPEROBJS = cicAnnotationHinter.cmo cicAnnotationHelper.cmo
20 $(OCAMLDEP) $(DEPOBJS) > .depend
22 cicAnnotationHelper: $(CICANNOTATIONHELPEROBJS) $(LIBRARIES)
23 $(OCAMLC) -linkpkg -o cicAnnotationHelper $(CICANNOTATIONHELPEROBJS)
25 cicAnnotationHelper.opt: $(CICANNOTATIONHELPEROBJS:.cmo=.cmx) $(LIBRARIES_OPT)
26 $(OCAMLOPT) -linkpkg -o cicAnnotationHelper.opt $(CICANNOTATIONHELPEROBJS:.cmo=.cmx)
28 .SUFFIXES: .ml .mli .cmo .cmi .cmx
31 .mli.cmi: $(LIBRARIES)
33 .ml.cmx: $(LIBRARIES_OPT)
37 rm -f *.cm[iox] *.o cicAnnotationHelper cicAnnotationHelper.opt
40 cp cicAnnotationHelper cicAnnotationHelper.opt $(BIN_DIR)
43 rm -f $(BIN_DIR)/cicAnnotationHelper $(BIN_DIR)/cicAnnotationHelper.opt
45 .PHONY: install uninstall clean