]> matita.cs.unibo.it Git - helm.git/commitdiff
added distcheck target
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Mar 2003 15:15:25 +0000 (15:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 20 Mar 2003 15:15:25 +0000 (15:15 +0000)
helm/uwobo/Makefile

index 9af1575f9d880400326b47c91aada2964c87e854..8c59123e6bbcd8a2fa3705c0205f203ae0394543 100644 (file)
@@ -1,5 +1,6 @@
 VERSION = 0.2.0
 DISTDIR = uwobo-$(VERSION)
+DISTTARBALL = $(DISTDIR).tar.gz
 REQUIRES = http gdome2 gdome2-xslt pcre unix
 COMMONOPTS = -package "$(REQUIRES)" -pp camlp4o
 OCAMLFIND = ocamlfind
@@ -55,8 +56,13 @@ dist: distclean depend
                uwobo.ml        \
                Makefile .depend        \
                $(DISTDIR)/
-       tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
+       tar cvzf $(DISTTARBALL) $(DISTDIR)/
        rm -rf $(DISTDIR)/
+distcheck: $(DISTTARBALL)
+       if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi
+       tar xvzf $<
+       cd $(DISTDIR); make
+       rm -rf $(DISTDIR)
 
-.PHONY: all byte opt world depend clean
+.PHONY: all dist distclean distcheck byte opt world depend clean