[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