]> matita.cs.unibo.it Git - helm.git/blob - helm/uwobo/src/ocaml/Makefile
Initial revision
[helm.git] / helm / uwobo / src / ocaml / Makefile
1 REQUIRES = http gdome2 gdome2-xslt pcre unix threads
2 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
3 OCAMLC = ocamlfind ocamlc $(COMMONOPTS)
4 OCAMLOPT = ocamlfind ocamlopt $(COMMONOPTS)
5 OCAMLDEP = ocamlfind ocamldep $(COMMONOPTS)
6 MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine uwobo
7 OBJS = $(patsubst %,%.cmo,$(MODULES))
8 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
9
10 all: opt
11 byte: uwobo
12 opt: uwobo.opt
13 world: byte opt
14
15 include .depend
16 depend:
17         $(OCAMLDEP) *.ml *.mli > .depend
18
19 %.cmi: %.mli
20         $(OCAMLC) -c $<
21 %.cmo: %.ml %.cmi
22         $(OCAMLC) -c $<
23 %.cmx: %.ml %.cmi
24         $(OCAMLOPT) -c $<
25 uwobo.cmo: uwobo.ml
26         $(OCAMLC) -c $<
27 uwobo.cmx: uwobo.ml
28         $(OCAMLOPT) -c $<
29 uwobo: $(OBJS)
30         $(OCAMLC) -linkpkg -thread -o $@ $^
31 uwobo.opt: $(OBJSOPT)
32         $(OCAMLOPT) -linkpkg -thread -o $@ $^
33
34 clean:
35         rm -f *.cm[aiox] *.o uwobo{,.opt}
36
37 .PHONY: all byte opt world depend clean
38