]> matita.cs.unibo.it Git - helm.git/blob - helm/fix_params/Makefile
First version of fix_params into CVS.
[helm.git] / helm / fix_params / Makefile
1 REQUIRES = helm-getter helm-cic_cache helm-xml
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: fix_params
10 opt: fix_params.opt
11
12 DEPOBJS = cic2Xml.ml cicFindParameters.ml fix_params.ml
13
14 FIXPARAMSOBJS = cic2Xml.cmo cicFindParameters.cmo fix_params.cmo
15
16 depend:
17         $(OCAMLDEP) $(DEPOBJS) > .depend
18
19 fix_params: $(FIXPARAMSOBJS)
20         $(OCAMLC) -linkpkg -o fix_params $(FIXPARAMSOBJS)
21
22 fix_params.opt: $(FIXPARAMSOBJS:.cmo=.cmx)
23         $(OCAMLOPT) -linkpkg -o fix_params.opt $(FIXPARAMSOBJS:.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 fix_params fix_params.opt
35
36 .PHONY: clean
37
38 include .depend