Make possible to change compression for make dist

This will make possible to get the same archive from make dist as from
GitHub archives. GitHub archives do not support current bzip2.
This commit is contained in:
Jiri Konecny 2019-12-18 17:32:15 +01:00
parent f6c13523b1
commit e6c7a8e44f
No known key found for this signature in database
GPG Key ID: 38F52F0E5C3FAD25

View File

@ -1,6 +1,8 @@
debug ?= no debug ?= no
static ?= no static ?= no
gzip_man ?= yes gzip_man ?= yes
# to get format compatible with GitHub archive use "gzip -S .gz" here
compress_bin ?= bzip2
ifneq ($(gzip_man),yes) ifneq ($(gzip_man),yes)
ifneq ($(gzip_man),no) ifneq ($(gzip_man),no)
@ -148,7 +150,7 @@ dist:
echo "$(version)" > src/.version; \ echo "$(version)" > src/.version; \
tar --transform "s,^,$${basename}/," -rf $${basename}.tar src/.version; \ tar --transform "s,^,$${basename}/," -rf $${basename}.tar src/.version; \
rm src/.version; \ rm src/.version; \
bzip2 $${basename}.tar; $(compress_bin) $${basename}.tar;
distclean: clean distclean: clean
rm -f kak kak$(suffix) rm -f kak kak$(suffix)