SHA256
1
0
forked from pool/gap
Files
gap/sanitize_source.sh

31 lines
565 B
Bash

#!/bin/sh -ex
set -ex;
dir="gap4r6";
dl=$(pcregrep -o "(?<=^#DL-URL:).*" gap.spec | head -n1 | perl -pe 's{^\s+}{}');
dlbase="${dl##*/}";
if [ ! -e "$dlbase" ]; then
wget -c "$dl";
fi;
rm -Rf "$dir";
tar -xf "$dlbase";
pushd "$dir/pkg/";
rm -Rf *;
popd;
pushd "$dir/bin/";
rm -f *.bat;
popd;
pushd "$dir/extern/";
find . -type f ! -name "Makefile*" -print -delete;
popd;
if false; then
# no longer necessary?
find "$dir" -type f "(" \
-name "*~" -o -name "*.bak" -name .arch-ids \
")" -print -delete;
fi;
qtar gap-4.6.4.tar "$dir";
xz -8fv gap-4.6.4.tar;