]> matita.cs.unibo.it Git - helm.git/blob - helm/fix_params/Makefile
added utility to dump some tables of the db on mowgli
[helm.git] / helm / fix_params / Makefile
1 REQUIRES = helm-getter helm-cic_cache helm-xml
2 PREDICATES =
3 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
4 OCAMLDEP = ocamldep
5 OCAMLFIND = ocamlfind
6 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
7 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
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: fix_params
13 opt: fix_params.opt
14
15 DEPOBJS = cic2Xml.ml cicFindParameters.ml fix_params.ml
16
17 FIXPARAMSOBJS = cic2Xml.cmo cicFindParameters.cmo fix_params.cmo
18
19 depend:
20         $(OCAMLDEP) $(DEPOBJS) > .depend
21
22 fix_params: $(FIXPARAMSOBJS) $(LIBRARIES)
23         $(OCAMLC) -linkpkg -o fix_params $(FIXPARAMSOBJS)
24
25 fix_params.opt: $(FIXPARAMSOBJS:.cmo=.cmx) $(LIBRARIES_OPT)
26         $(OCAMLOPT) -linkpkg -o fix_params.opt $(FIXPARAMSOBJS:.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 fix_params fix_params.opt
38
39 .PHONY: clean
40
41 include .depend