]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create2/touch/Makefile
5296fa723a0643c9d313c35b3635bc2485920d5f
[helm.git] / helm / metadata / create2 / touch / Makefile
1 REQUIRES = helm-getter helm-cic str
2 PREDICATES =
3 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
4 OCAMLDEP = ocamldep
5 OCAMLFIND = ocamlfind
6 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
7 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
8
9 all: touch
10 opt: touch.opt
11
12 DEPOBJS = touch.ml
13
14 TOUCHOBJS = touch.cmo
15
16 depend:
17         $(OCAMLDEP) $(DEPOBJS) > .depend
18
19 touch: $(TOUCHOBJS)
20         $(OCAMLC) -linkpkg -o touch $(TOUCHOBJS)
21
22 touch.opt: $(TOUCHOBJS:.cmo=.cmx)
23         $(OCAMLOPT) -linkpkg -o touch.opt $(TOUCHOBJS:.cmo=.cmx)
24
25 .SUFFIXES: .ml .mli .cmo .cmi .cmx
26 .ml.cmo:
27         $(OCAMLC) -c $<
28 .mli.cmi:
29         $(OCAMLC) -c $<
30 .ml.cmx:
31         $(OCAMLOPT) -c $<
32
33 clean:
34         rm -f *.cm[iox] *.o touch touch.opt
35
36 .PHONY: clean
37
38 include .depend