1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#! /bin/bash
set -e
tarball="$1"
version="$2"
tomlib="$3"
if [ -z "$tarball" -o -z "$version" -o -z "$tomlib" ]; then
echo "tarball <gap.tar.gz> <version> <tomlib version>" 1>&2
exit 1
fi
mkdir gap
tar zxf $1 -C gap
cd gap
mv gap* gap-$version
cd gap-$version
rm -r bin etc/emacs doc/htm pkg/tomlib/htm pkg/tomlib/doc
rm doc/*.pdf doc/*.dvi
rm doc/*/*.{pdf,dvi,six,ind,lab,toc}
mkdir ../gap-gdat-$version ../gap-gdat
mkdir ../gap-tomlib-$tomlib ../gap-tomlib
mkdir ../gap-gdat/gap
mv prim small trans ../gap-gdat/gap
mv pkg/tomlib ../gap-tomlib/
cd ..
tar zcf gap-gdat-$version/gap-gdat.tar.gz -C gap-gdat gap
tar zcf gap-tomlib-$tomlib/tomlib.tar.gz -C gap-tomlib tomlib
tar zcf gap-gdat_$version.orig.tar.gz gap-gdat-$version
tar zcf gap-tomlib_$tomlib.orig.tar.gz gap-tomlib-$tomlib
tar zcf gap_$version.orig.tar.gz gap-$version
|
