diff options
| author |  David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-09-06 10:43:43 +0800 |
|---|---|---|
| committer | David Adam (zanchey) <zanchey@ucc.gu.uwa.edu.au> | 2013-09-06 10:43:43 +0800 |
| commit | 5023ade7aca320d5d7ebc031cb93f751734d29e3 (patch) | |
| tree | 38de8c66bc1671974745b43b023335f1f00669ea /build_tools | |
| parent | 9921e9e79f5f4290e59d88f78a9606775aad577d (diff) | |
tarball generation should build configure script
For the next release, this means that `autoconf` is no longer required
if building from the tarball. The website and documentation should be
updated accordingly at that time.
Diffstat (limited to 'build_tools')
| -rwxr-xr-x | build_tools/make_tarball.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/build_tools/make_tarball.sh b/build_tools/make_tarball.sh index 54398b13..3888f434 100755 --- a/build_tools/make_tarball.sh +++ b/build_tools/make_tarball.sh @@ -32,7 +32,8 @@ rm -f "$path" "$path".gz # git starts the archive git archive --format=tar --prefix="$prefix"/ master > "$path" -# tarball out the documentation +# tarball out the documentation, generate a configure script and version file +autoconf make user_doc make share/man echo $VERSION > version @@ -42,6 +43,7 @@ ln -s "$wd" "$prefix" gnutar --append --file="$path" "$prefix"/user_doc/html gnutar --append --file="$path" "$prefix"/share/man gnutar --append --file="$path" "$prefix"/version +gnutar --append --file="$path" "$prefix"/configure rm -f "$prefix"/version rm -f "$prefix" |