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