[m-rev.] diff: optionally build srcdist .tar.xz files

Julien Fischer jfischer at opturion.com
Thu Jan 24 13:45:34 AEDT 2019


This was suggested by Peter.  The .tar.xz files are ~30M as opposed
to the ~50M of the .tar.gz files.

-----------------------------

Optionally build srcdist .tar.xz files.

Mmakefile:
     As above.

diff --git a/Mmakefile b/Mmakefile
index d7fb72b..c6ef7c8 100644
--- a/Mmakefile
+++ b/Mmakefile
@@ -515,6 +515,11 @@ tar: 	$(GENERATED_DOCS)
  			--dereference -cf - 				\
  			mercury-srcdist-$(VERSION) | 			\
  			gzip -9 > mercury-srcdist-$(VERSION).tar.gz;	\
+		test -z $(XZ) || $(TAR) --exclude ".git"                \
+			--exclude ".gitignore"				\
+			--dereference -cf - 				\
+			mercury-srcdist-$(VERSION) | 			\
+			$(XZ) > mercury-srcdist-$(VERSION).tar.xz;	\
  		mv mercury-srcdist-$(VERSION)	$$ROOTNAME;		\
  		mv stuff-to-exclude/quickcheck  $$ROOTNAME/extras/quickcheck; \
  		mv stuff-to-exclude/*		$$ROOTNAME;		\


More information about the reviews mailing list