From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 20 Mar 2003 15:15:25 +0000 (+0000)
Subject: added distcheck target
X-Git-Tag: before_refactoring~103
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=66376d9f664b15e722459103d705470d15920a1b;p=helm.git

added distcheck target
---

diff --git a/helm/uwobo/Makefile b/helm/uwobo/Makefile
index 9af1575f9..8c59123e6 100644
--- a/helm/uwobo/Makefile
+++ b/helm/uwobo/Makefile
@@ -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