X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhttp_getter%2FMakefile;h=6584bda68bc90559ba15a9fc0a2ca643197db200;hb=8bf913a678dcc31b84096879e57c0b5bd2584f19;hp=c9e1a3bc5a8395eb64d6b66ac33137c60b352111;hpb=2e600606f2fed0d1d7de37de9266faec0ec24085;p=helm.git

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