From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 21 Mar 2003 17:58:05 +0000 (+0000)
Subject: - implemented distcheck target
X-Git-Tag: before_refactoring~98
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8bf913a678dcc31b84096879e57c0b5bd2584f19;p=helm.git

- implemented distcheck target
- bugfix: added some target to .PHONY
---

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index c9e1a3bc5..6584bda68 100644
--- a/helm/http_getter/Makefile
+++ b/helm/http_getter/Makefile
@@ -58,15 +58,24 @@ distclean: clean
 clean:
 	rm -f *.cm[aiox] *.o $(NAME){,.opt} *.dot
 dist: distclean depend
+	if [ -d $(DISTDIR) ]; then rm -rf $(DISTDIR); else true; fi
 	mkdir $(DISTDIR)/
+	for m in $(patsubst %, %.mli, $(MODULES)); do	\
+		if [ "$$m" != "http_getter_types.mli" ]; then	\
+			cp $$m $(DISTDIR)/;	\
+		fi;	\
+	done
 	cp	\
 		$(patsubst %, %.ml, $(MODULES))	\
-		$(patsubst %, %.mli, $(MODULES))	\
 		$(NAME).ml	\
-		Makefile .depend	\
+		Makefile Makefile.overrides .depend	\
 		$(DISTDIR)/
 	tar cvzf $(DISTDIR).tar.gz $(DISTDIR)/
 	rm -rf $(DISTDIR)/
+distcheck: dist
+	tar xvzf $(DISTDIR).tar.gz
+	cd $(DISTDIR); make
+	rm -rf $(DISTDIR)
 
-.PHONY: all byte opt world depend clean
+.PHONY: all byte dist distcheck opt world depend clean distclean