about summary refs log tree commit diff
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2012-12-05T09·23+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2012-12-05T09·23+0100
commit444b03a36fc038f030241d3d006d13ba2ae12e6b (patch)
tree3f16527e046677c3d355f621977241c29c59a54c
parentd5a01d0f9dfda5a47461ab81e381a7035881b3ef (diff)
Produce an xz-compressed tarball
Footnote: doing "make dist-gzip dist-xz" doesn't work with Automake;
you have to do "make dist-gzip; dist-xz".  That's because the dist-*
targets delete the temporary distdir at the end.
-rw-r--r--release.nix2
1 files changed, 2 insertions, 0 deletions
diff --git a/release.nix b/release.nix
index 027e93a2a9df..fd36d8d85a30 100644
--- a/release.nix
+++ b/release.nix
@@ -42,6 +42,8 @@ let
           export VARTEXFONTS=$TMPDIR/texfonts
         '';
 
+        distPhase = "make dist-gzip; make dist-xz; mkdir -p $out/tarballs; cp *.tar.* $out/tarballs";
+
         preDist = ''
           make -C doc/manual install prefix=$out