]> matita.cs.unibo.it Git - helm.git/commitdiff
- added targets relative to ocamldoc doc generation
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 10:47:44 +0000 (10:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 10:47:44 +0000 (10:47 +0000)
helm/DEVEL/ocaml-http/Makefile
helm/DEVEL/ocaml-http/Makefile.defs

index 22eb5fb80164a2dae55ecdf2fa9ae1644aee0676..591b21d990c0ebe5f2e47a5abfb48ef528b92c21 100644 (file)
@@ -7,6 +7,8 @@ DESTDIR = $(shell $(OCAMLFIND) printconf stdlib)
 all: http.cma
 opt: http.cmxa
 world: all opt
+doc: *.mli
+       $(OCAMLDOC) -html -d doc/html *.mli
 
 examples:
        $(MAKE) -C examples/
@@ -36,8 +38,10 @@ META: META.in
 
 clean:
        $(MAKE) -C examples/ clean
-       -rm -f *.cm[ioax] *.cmxa *.[ao] test{,.opt}
-distclean: clean
+       rm -f *.cm[ioax] *.cmxa *.[ao] test{,.opt}
+docclean:
+       rm -f doc/html/*.html doc/html/*.css
+distclean: clean docclean
        $(MAKE) -C examples/ distclean
        -rm -f META
 dist: distclean depend
@@ -57,5 +61,5 @@ install: META
 
 .PHONY:        \
        all opt world examples examples.opt depend clean distclean dist \
-       install meta
+       install meta doc
 
index 770b320a574bca6f3adad903016d5856a24b6ba6..e94f344ecbc7b2c2b6f9cadffdab5c5120adb828 100644 (file)
@@ -2,14 +2,17 @@ PKGNAME = http
 DISTVERSION = 0.0.5
 
 DEBUG_OPTS =
-COMMON_OPTS = $(DEBUG_OPTS) -pp camlp4o -package "unix,pcre,netstring,threads"
+REQUIRES = unix pcre netstring threads
+COMMON_OPTS = $(DEBUG_OPTS) -pp camlp4o -package "$(REQUIRES)"
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(COMMON_OPTS) -thread
 OCAMLOPT = $(OCAMLFIND) ocamlopt $(COMMON_OPTS) -thread
 OCAMLDEP = $(OCAMLFIND) ocamldep $(COMMON_OPTS)
+OCAMLDOC = ocamldoc
 
 DISTNAME = ocaml-http
 DISTDIR = $(DISTNAME)-$(DISTVERSION)
-EXTRA_DIST = INSTALL LICENSE README META.in Makefile Makefile.defs .depend tophttp
+EXTRA_DIST =   \
+       INSTALL LICENSE README META.in Makefile Makefile.defs .depend tophttp doc