]> matita.cs.unibo.it Git - helm.git/blob - daemons/uwobo/Makefile
GrafiteAst.Quit (unused) removed.
[helm.git] / daemons / uwobo / Makefile
1 VERSION = 0.3.0
2 DISTDIR = uwobo-$(VERSION)
3 DISTTARBALL = $(DISTDIR).tar.gz
4 REQUIRES = http gdome2 gdome2-xslt pcre unix helm-registry
5 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
6 ifeq ($(origin OCAMLPATH), undefined)
7 OCAMLFIND = OCAMLPATH=../../components/METAS ocamlfind
8 else
9 OCAMLFIND = ocamlfind
10 endif
11 OCAMLC = $(OCAMLFIND) ocamlc $(COMMONOPTS)
12 OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMONOPTS)
13 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMONOPTS)
14 OCAMLDOC =      \
15         ocamldoc        \
16                 $(shell $(OCAMLFIND) query -i-format http)      \
17                 $(shell $(OCAMLFIND) query -i-format gdome2)    \
18                 $(shell $(OCAMLFIND) query -i-format gdome2-xslt)       \
19                 $(shell $(OCAMLFIND) query -i-format pcre)      \
20                 $(shell $(OCAMLFIND) query -i-format unix)
21 MODULES = uwobo_common uwobo_styles uwobo_profiles uwobo_logger uwobo_engine
22 OBJS = $(patsubst %,%.cmo,$(MODULES))
23 OBJSOPT = $(patsubst %,%.cmx,$(MODULES))
24
25 all: byte
26 byte: uwobo
27 opt: uwobo.opt
28 world: byte opt
29
30 include .depend
31 depend:
32         $(OCAMLDEP) *.ml *.mli > .depend
33
34 %.cmi: %.mli
35         $(OCAMLC) -c $<
36 %.cmo: %.ml %.cmi
37         $(OCAMLC) -c $<
38 %.cmx: %.ml %.cmi
39         $(OCAMLOPT) -c $<
40 uwobo.cmo: uwobo.ml
41         $(OCAMLC) -c $<
42 uwobo.cmx: uwobo.ml
43         $(OCAMLOPT) -c $<
44 uwobo: $(OBJS) uwobo.ml
45         $(OCAMLC) -linkpkg -o $@ $^
46 uwobo.opt: $(OBJSOPT) uwobo.ml
47         $(OCAMLOPT) -linkpkg -o $@ $^
48
49 uwobo.dot: *.ml *.mli
50         $(OCAMLDOC) -dot -o $@ $^
51
52 distclean: clean
53 clean:
54         rm -f *.cm[aiox] *.o uwobo{,.opt,.dot}
55 dist: distclean depend
56         mkdir $(DISTDIR)/
57         cp      \
58                 $(patsubst %, %.ml, $(MODULES)) \
59                 $(patsubst %, %.mli, $(MODULES))        \
60                 uwobo.ml        \
61                 Makefile .depend        \
62                 $(DISTDIR)/
63         tar cvzf $(DISTTARBALL) $(DISTDIR)/
64         rm -rf $(DISTDIR)/
65 distcheck: $(DISTTARBALL)
66         if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi
67         tar xvzf $<
68         cd $(DISTDIR); make
69         rm -rf $(DISTDIR)
70
71 .PHONY: all dist distclean distcheck byte opt world depend clean
72