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