1
0
forked from pool/gap-grape
gap-grape/sanitize_source.sh

12 lines
367 B
Bash

#!/bin/sh -ex
version="4.8.5"
name="grape-$version"
wget -c "https://github.com/gap-packages/grape/releases/download/v$version/$name.tar.gz"
rm -Rf "$name"
tar -xf "$name.tar.gz"
# Only from nauty 2.3 onwards is the license is acceptable.
# Besides, openSUSE already ships nauty on its own.
rm -Rf grape-*/nauty22 grape-*/bin
tar --use=xz -cf "$name.tar.xz" "$name"