spkg-src

#!/usr/bin/env bash

SPKG_ROOT=`pwd`

set -e
shopt -s extglob

# Remove old sources and download new
rm -rf src
tar xjf <( curl ftp://ftp.gap-system.org/pub/gap/gap4/tar.bz2/gap4r6p4_2013_05_04-16_36.tar.bz2 )
mv gap4r6 src


# Make everything writable
chmod -R u+w src


# Delete some unneeded stuff
cd src

# Delete PDF documentation and misc TeX files
find doc \( \
         -name "*.bbl" \
      -o -name "*.blg" \
      -o -name "*.aux" \
      -o -name "*.dvi" \
      -o -name "*.idx" \
      -o -name "*.ilg" \
      -o -name "*.l*" \
      -o -name "*.m*" \
      -o -name "*.pdf" \
      -o -name "*.ind" \
      -o -name "*.toc" \
      \) -exec rm {} \;

# DATABASES (separated out to database_gap.spkg) except GAPDoc which is required:
rm -r small prim trans
cd pkg
rm -r !(GAPDoc*)
cd ..

# Stuff that isn't GAP sources:
rm -r bin/*
cd extern
rm -r !(Makefile.in)

# Write version to gap-version
cd "$SPKG_ROOT"
autoconf --trace='AC_INIT:$2' src/cnf/configure.in >gap-version
rm -rf autom4te.cache