]> matita.cs.unibo.it Git - helm.git/blob - helm/uwobo/Makefile
moved uwobo sources to the root uwobo directory
[helm.git] / helm / uwobo / Makefile
1 VERSION = 0.0.1
2 DISTDIR = uwobo-$(VERSION)
3 REQUIRES = http gdome2 gdome2-xslt pcre unix
4 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
5 OCAMLFIND = ocamlfind
6 OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
7 OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS)
8 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS)
9 OCAMLDOC =      \
10         ocamldoc        \
11                 $(shell $(OCAMLFIND) query -i-format http)      \
12                 $(shell $(OCAMLFIND) query -i-format gdome2)    \
13                 $(shell $(OCAMLFIND) query -i-format gdome2-xslt)       \
14                 $(shell $(OCAMLFIND) query -i-format pcre)      \
15                 $(shell $(OCAMLFIND) query -i-format unix)
16 MODULES = uwobo_common uwobo_styles uwobo_logger uwobo_engine
17 OBJS = $(patsubst %,%.cmo,$(MODULES))
18 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
19
20 all: byte
21 byte: uwobo
22 opt: uwobo.opt
23 world: byte opt
24
25 include .depend
26 depend:
27         $(OCAMLDEP) *.ml *.mli > .depend
28
29 %.cmi: %.mli
30         $(OCAMLC) -c $<
31 %.cmo: %.ml %.cmi
32         $(OCAMLC) -c $<
33 %.cmx: %.ml %.cmi
34         $(OCAMLOPT) -c $<
35 uwobo.cmo: uwobo.ml
36         $(OCAMLC) -c $<
37 uwobo.cmx: uwobo.ml
38         $(OCAMLOPT) -c $<
39 uwobo: $(OBJS) uwobo.ml
40         $(OCAMLC) -linkpkg -o $@ $^
41 uwobo.opt: $(OBJSOPT) uwobo.ml
42         $(OCAMLOPT) -linkpkg -o $@ $^
43
44 uwobo.dot: *.ml *.mli
45         $(OCAMLDOC) -dot -o $@ $^
46
47 distclean: clean
48 clean:
49         rm -f *.cm[aiox] *.o uwobo{,.opt,.dot}
50 dist: distclean depend
51         mkdir $(DISTDIR)/
52         cp      \
53                 $(patsubst %, %.ml, $(MODULES)) \
54                 $(patsubst %, %.mli, $(MODULES))        \
55                 uwobo.ml        \
56                 Makefile .depend        \
57                 $(DISTDIR)/
58         tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
59         rm -rf $(DISTDIR)/
60
61 .PHONY: all byte opt world depend clean
62