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
29
30
31
32
33
34
35
36
37
38
39
40
|
#! /bin/bash
set -e
tarball="$1"
toolball="$2"
version="$3"
tomlib="$4"
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 $tarball -C gap
# We cannot build the html files with free softwares.
rm -r gap/gap*/doc/htm gap/gap*/pkg/tomlib/htm
tar zxf $toolball -C gap
cd gap
mv gap* gap-$version
cd gap-$version
#Remove prebuilt binaries and documentation.
rm "GAP 4 PPC"
rm -r bin pkg/tomlib/doc etc/emacs
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
mkdir prim small trans
cp ../gap-gdat/gap/prim/*.gd prim
cp ../gap-gdat/gap/small/*.gd small
cp ../gap-gdat/gap/trans/*.gd trans
mv pkg/tomlib ../gap-tomlib/
mkdir -p pkg/tomlib/gap
cp ../gap-tomlib/tomlib/gap/*.gd pkg/tomlib/gap/
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
|
