]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/ocaml-http/Makefile
added generation of dot modules dependency graph
[helm.git] / helm / DEVEL / ocaml-http / Makefile
1 include Makefile.defs
2
3 MODULES =       \
4         http_types http_constants http_tcp_server http_parser_sanity    \
5         http_misc http_common http_parser http_message http_request             \
6         http_daemon http_response
7 THREADED_SRV = http_threaded_tcp_server
8 MODULES_MT = $(patsubst http_tcp_server, mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
9 MODULES_NON_MT = $(patsubst http_tcp_server, non_mt/$(THREADED_SRV) http_tcp_server, $(MODULES))
10 PUBLIC_MODULES = http_common http_request http_daemon http_response
11 PUBLIC_IMPL = http_types
12 OCAMLDOC_STUFF = *.mli $(patsubst %, %.ml, $(PUBLIC_IMPL))
13 DOCDIR = doc/html
14 DOTDIR = doc/dot
15 DESTDIR = $(shell $(OCAMLFIND) printconf stdlib) 
16
17 all: all_non_mt all_mt
18 opt: opt_non_mt opt_mt
19 all_non_mt: http.cma
20 opt_non_mt: http.cmxa
21 all_mt: http_mt.cma
22 opt_mt: http_mt.cmxa
23 world: all opt
24 doc: dot $(OCAMLDOC_STUFF)
25         $(OCAMLDOC) -html -d $(DOCDIR) $(OCAMLDOC_STUFF)
26 dot: $(DOTDIR)/ocaml-http.ps
27 $(DOTDIR)/ocaml-http.ps: $(DOTDIR)/ocaml-http.dot
28         $(DOT) -Tps $< > $@
29 $(DOTDIR)/ocaml-http.dot: *.ml *.mli
30         $(OCAMLDOC) -dot -o $(DOTDIR)/ocaml-http.dot *.ml *.mli
31
32 examples:
33         $(MAKE) -C examples/
34 examples.opt:
35         $(MAKE) -C examples/ opt
36
37 include .depend
38
39 depend:
40         $(OCAMLDEP) *.ml *.mli > .depend
41
42 %.cmi: %.mli
43         $(OCAMLC) -c $<
44 %.cmo: %.ml %.cmi
45         $(OCAMLC) -c $<
46 %.cmx: %.ml %.cmi
47         $(OCAMLOPT) -c $<
48 include Makefile.overrides
49
50 non_mt/$(THREADED_SRV).cmo: non_mt/$(THREADED_SRV).ml $(THREADED_SRV).cmi
51         cp $(THREADED_SRV).{cmi,mli} non_mt/
52         $(OCAMLC) -c $<
53 non_mt/$(THREADED_SRV).cmx: non_mt/$(THREADED_SRV).ml $(THREADED_SRV).cmi
54         cp $(THREADED_SRV).{cmi,mli} non_mt/
55         $(OCAMLOPT) -c $<
56
57 mt/$(THREADED_SRV).cmo: mt/$(THREADED_SRV).ml $(THREADED_SRV).cmi
58         cp $(THREADED_SRV).{cmi,mli} mt/
59         $(OCAMLC) $(THREADS_FLAGS) -c $<
60 mt/$(THREADED_SRV).cmx: mt/$(THREADED_SRV).ml $(THREADED_SRV).cmi
61         cp $(THREADED_SRV).{cmi,mli} mt/
62         $(OCAMLOPT) $(THREADS_FLAGS) -c $<
63
64 http.cma: $(patsubst %,%.cmo,$(MODULES_NON_MT))
65         $(OCAMLC) -a -o $@ $^
66 http.cmxa: $(patsubst %,%.cmx,$(MODULES_NON_MT))
67         $(OCAMLOPT) -a -o $@ $^
68 http_mt.cma: $(patsubst %,%.cmo,$(MODULES_MT))
69         $(OCAMLC) -a -o $@ $^
70 http_mt.cmxa: $(patsubst %,%.cmx,$(MODULES_MT))
71         $(OCAMLOPT) -a -o $@ $^
72
73 meta: META
74 META: META.in
75         cat META.in | sed -e 's/@DISTVERSION@/$(DISTVERSION)/' > META
76
77 clean:
78         $(MAKE) -C examples/ clean
79         for d in . mt non_mt; do        \
80                 rm -f $$d/*.cm[ioax] $$d/*.cmxa $$d/*.[ao] $$d/test{,.opt};     \
81         done
82         rm -f {mt,non_mt}/$(THREADED_SRV).mli
83 docclean:
84         rm -f $(DOCDIR)/*.html $(DOCDIR)/*.css $(DOTDIR)/*.dot $(DOTDIR)/*.ps
85 distclean: clean docclean
86         $(MAKE) -C examples/ distclean
87         rm -f META
88 dist: distreal distrm
89 distreal: distclean depend
90         if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi
91         mkdir $(DISTDIR)
92         for f in        \
93                         $(patsubst %, %.ml, $(MODULES)) \
94                         $(patsubst %, %.mli, $(MODULES) $(THREADED_SRV))        \
95                         mt/ non_mt/ $(EXTRA_DIST) examples/     debian/;        \
96         do      \
97                 cp -r $$f $(DISTDIR)/;  \
98         done
99         -find $(DISTDIR)/ -type d -name CVS -exec rm -rf {} \;
100         -find $(DISTDIR)/ -type f -name ".cvs*" -exec rm -f {} \;
101         tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
102 distrm:
103         rm -rf $(DISTDIR)/
104 deb: distreal
105         (cd $(DISTDIR)/ && debuild)
106         rm -rf $(DISTDIR)/
107 install: META
108         $(OCAMLFIND) install -destdir $(DESTDIR) $(PKGNAME)     \
109                 $(patsubst %, %.mli, $(PUBLIC_MODULES)) \
110                 $(patsubst %, %.ml, $(PUBLIC_IMPL))     \
111                 $(patsubst %, %.cmi, $(PUBLIC_MODULES)) \
112                 $(patsubst %, %.cmi, $(PUBLIC_IMPL))    \
113                 http{,_mt}.cm{,x}a http{,_mt}.a META
114
115 .PHONY: \
116         all opt world all_non_mt all_mt opt_non_mt opt_mt       \
117         examples examples.opt depend clean distclean dist       \
118         install meta doc deb distreal distrm dot
119