]> matita.cs.unibo.it Git - helm.git/blob - helm/ocaml/cic_annotations/Makefile
HELM OCaml libraries with findlib support.
[helm.git] / helm / ocaml / cic_annotations / Makefile
1 BIN_DIR = /usr/local/bin
2 REQUIRES = helm-cic helm-xml lablgtk
3 PREDICATES =
4 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
5 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
6 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
7 OCAMLDEP = ocamldep
8
9 all: cicAnnotation2Xml.cmo cicAnnotationHinter.cmo cicAnnotationParser2.cmo \
10      cicAnnotationParser.cmo cicXPath.cmo
11 opt: cicAnnotation2Xml.cmx cicAnnotationHinter.cmx cicAnnotationParser2.cmx \
12      cicAnnotationParser.cmx cicXPath.cmx
13
14 DEPOBJS = cicAnnotation2Xml.ml cicAnnotationHinter.ml cicAnnotationParser2.ml \
15           cicAnnotationParser.ml cicXPath.ml
16
17 depend:
18         $(OCAMLDEP) $(DEPOBJS) > .depend
19
20 .SUFFIXES: .ml .mli .cmo .cmi .cmx
21 .ml.cmo:
22         $(OCAMLC) -c $<
23 .mli.cmi:
24         $(OCAMLC) -c $<
25 .ml.cmx:
26         $(OCAMLOPT) -c $<
27
28 clean:
29         rm -f *.cm[iox]
30
31 install:
32         #cp
33
34 uninstall:
35         #rm -f
36
37 .PHONY: install uninstall clean
38
39 include .depend