]> matita.cs.unibo.it Git - helm.git/commitdiff
- added deb target
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:44:27 +0000 (08:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:44:27 +0000 (08:44 +0000)
helm/DEVEL/ocaml-http/Makefile

index fd1f2fc6377a157a3c2a83c4eb3aab57aa9086c4..a9495db9d17e6536224de5d1a967492861b45ff2 100644 (file)
@@ -74,7 +74,8 @@ docclean:
 distclean: clean docclean
        $(MAKE) -C examples/ distclean
        -rm -f META
-dist: distclean depend
+dist: distreal distrm
+distreal: distclean depend
        mkdir $(DISTDIR)
        cp -r   \
                $(patsubst %, %.ml, $(MODULES)) \
@@ -84,6 +85,10 @@ dist: distclean depend
        -find $(DISTDIR)/ -type d -name CVS -exec rm -rf {} \;
        -find $(DISTDIR)/ -type f -name ".cvs*" -exec rm -f {} \;
        tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
+distrm:
+       rm -rf $(DISTDIR)/
+deb: distreal
+       (cd $(DISTDIR)/ && debuild)
        rm -rf $(DISTDIR)/
 install: META
        $(OCAMLFIND) install -destdir $(DESTDIR) $(PKGNAME)     \
@@ -94,5 +99,5 @@ install: META
 .PHONY:        \
        all opt world all_non_mt all_mt opt_non_mt opt_mt       \
        examples examples.opt depend clean distclean dist       \
-       install meta doc
+       install meta doc deb distreal distrm