diff options
author | Evgeny Grin (Karlson2k) <k2k@narod.ru> | 2023-05-24 21:01:39 +0300 |
---|---|---|
committer | Evgeny Grin (Karlson2k) <k2k@narod.ru> | 2023-06-01 12:55:22 +0300 |
commit | ba5538e246d2835c0dde50f7995c87f57e2ebbb4 (patch) | |
tree | 36a313d948c66afd0df97fb6d4ad36ea063782c1 | |
parent | f5b06de9cde1b210a7c247f8764f00ddb2f62eeb (diff) | |
download | libmicrohttpd-ba5538e246d2835c0dde50f7995c87f57e2ebbb4.tar.gz libmicrohttpd-ba5538e246d2835c0dde50f7995c87f57e2ebbb4.zip |
contrib/make-dist.sh: added use of zopfli if available
-rwxr-xr-x | contrib/make-dist.sh | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/contrib/make-dist.sh b/contrib/make-dist.sh index 2b66c35a..47d580ac 100755 --- a/contrib/make-dist.sh +++ b/contrib/make-dist.sh | |||
@@ -84,11 +84,22 @@ echo '** Patched build system ready.' | |||
84 | echo '' | 84 | echo '' |
85 | 85 | ||
86 | # Build the configure and the related files with patches | 86 | # Build the configure and the related files with patches |
87 | |||
88 | have_command() | ||
89 | { | ||
90 | command -v "$1" >/dev/null 2>&1 | ||
91 | } | ||
92 | |||
87 | echo '' | 93 | echo '' |
88 | echo '*** Building dist tarball...' | 94 | echo '*** Building dist tarball...' |
89 | echo '' | 95 | echo '' |
90 | ./configure || exit 7 | 96 | ./configure || exit 7 |
91 | make dist || exit 7 | 97 | if have_command zopfli; then |
98 | make dist-custm2 'ARC_CMD=zopfli -v --gzip --i15' 'ARC_EXT=tar.gz' || exit 7 | ||
99 | else | ||
100 | make dist || exit 7 | ||
101 | echo '* zopfli is not installed, tarball size is suboptimal.' | ||
102 | fi | ||
92 | echo '' | 103 | echo '' |
93 | echo '** Dist tarball ready.' | 104 | echo '** Dist tarball ready.' |
94 | echo '' | 105 | echo '' |