]> matita.cs.unibo.it Git - helm.git/blob - daemons/whelp/Makefile
c57e6e1f364f5b53e949e2379bc73fb046e75b13
[helm.git] / daemons / whelp / Makefile
1 REQUIRES = http helm-grafite_parser helm-logger helm-tactics helm-cic_disambiguation
2 OCAMLOPTIONS = -thread -package "$(REQUIRES)" -pp camlp4o
3 OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
4 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
5 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
6 OCAMLDEP = $(OCAMLFIND) ocamldep -package "$(REQUIRES)" -pp camlp4o
7
8 MODULES = mooglePp
9 SRCS = $(patsubst %,%.ml,$(MODULES)) $(patsubst %,%.mli,$(MODULES)) \
10        searchEngine.ml
11 CMOS = $(patsubst %,%.cmo,$(MODULES))
12 CMXS = $(patsubst %,%.cmx,$(MODULES))
13
14 all: byte html
15 world: byte opt
16 byte: searchEngine
17 opt: searchEngine.opt html
18
19 .PHONY: html
20 html:
21         make -C html/
22
23 %.cmi: %.mli
24         $(OCAMLC) -c $<
25 %.cmo %.cmi: %.ml
26         $(OCAMLC) -c $<
27 %.cmx: %.ml
28         $(OCAMLOPT) -c $<
29
30 searchEngine: $(CMOS) searchEngine.ml
31         $(OCAMLC) -linkpkg -o $@ $^
32 searchEngine.opt: $(CMXS) searchEngine.ml
33         $(OCAMLOPT) -linkpkg -o $@ $^
34
35 clean:
36         make -C html/ clean
37         rm -f *.cm[aiox] *.o searchEngine{,.opt}
38
39 .PHONY: depend
40 depend:
41         $(OCAMLDEP) $(SRCS) > .depend
42
43 .PHONY: all opt clean
44
45 include .depend
46