- implemented distcheck target

- bugfix: added some target to .PHONY

diff --git a/helm/http_getter/Makefile b/helm/http_getter/Makefile
index c9e1a3bc5a8395eb64d6b66ac33137c60b352111..6584bda68bc90559ba15a9fc0a2ca643197db200 100644 (file)
--- 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