]> matita.cs.unibo.it Git - helm.git/blob - helm/annotationHelper/Makefile
mathql_db_map.txt now retrieved by Helm_registry.
[helm.git] / helm / annotationHelper / Makefile
1 BIN_DIR = /usr/local/bin
2 REQUIRES = lablgtkmathview helm-cic_annotations_cache
3 PREDICATES =
4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
5 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
6 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
7 OCAMLDEP = ocamldep
8
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))
11
12 all: cicAnnotationHelper
13 opt: cicAnnotationHelper.opt
14
15 DEPOBJS = cicAnnotationHinter.mli cicAnnotationHinter.ml cicAnnotationHelper.ml
16
17 CICANNOTATIONHELPEROBJS = cicAnnotationHinter.cmo cicAnnotationHelper.cmo
18
19 depend:
20         $(OCAMLDEP) $(DEPOBJS) > .depend
21
22 cicAnnotationHelper: $(CICANNOTATIONHELPEROBJS) $(LIBRARIES)
23         $(OCAMLC)  -linkpkg -o cicAnnotationHelper $(CICANNOTATIONHELPEROBJS)
24
25 cicAnnotationHelper.opt: $(CICANNOTATIONHELPEROBJS:.cmo=.cmx) $(LIBRARIES_OPT)
26         $(OCAMLOPT) -linkpkg -o cicAnnotationHelper.opt $(CICANNOTATIONHELPEROBJS:.cmo=.cmx)
27
28 .SUFFIXES: .ml .mli .cmo .cmi .cmx
29 .ml.cmo: $(LIBRARIES)
30         $(OCAMLC) -c $<
31 .mli.cmi: $(LIBRARIES)
32         $(OCAMLC) -c $<
33 .ml.cmx: $(LIBRARIES_OPT)
34         $(OCAMLOPT) -c $<
35
36 clean:
37         rm -f *.cm[iox] *.o cicAnnotationHelper cicAnnotationHelper.opt
38
39 install:
40         cp cicAnnotationHelper cicAnnotationHelper.opt $(BIN_DIR)
41
42 uninstall:
43         rm -f $(BIN_DIR)/cicAnnotationHelper $(BIN_DIR)/cicAnnotationHelper.opt
44
45 .PHONY: install uninstall clean
46
47 include .depend