3ed98e88b7
Also: - Drop upstreamed -paths patch. - Add -bootstrap patch to break circular build dependencies. - Add -escape, -ref, -doc, -gac, and -immutable patches. - Add -terminal, -erroroutput, and -enterleave patches from sagemath. - Add libgap and libgap-devel subpackages. - Move the commandline application into the main package. - Change BRs and Rs due to recent TeXLive packaging changes. - Create all of the icon sizes supported by hicolor-icon-theme. - Fix update-gap-workspace on initial build with empty workspace. - Disable hardened build, which breaks RTLD_LAZY in the module loader. - Build in bootstrap mode.
39 lines
807 B
Bash
Executable File
39 lines
807 B
Bash
Executable File
#!/bin/sh
|
|
#
|
|
# Script borrowed from Debian. Thanks to the Debian packagers.
|
|
|
|
set -e
|
|
|
|
GAP="/usr/bin/gap"
|
|
|
|
if ! test -x "$GAP"; then
|
|
exit 0;
|
|
fi
|
|
|
|
if test `id -u` = 0; then
|
|
WORKSPACE=/var/lib/gap/workspace
|
|
else
|
|
WORKSPACE=$HOME/gap/workspace
|
|
fi
|
|
|
|
case $1 in
|
|
delete) echo -n "Deleting GAP workspace $WORKSPACE.gz: "
|
|
rm -f $WORKSPACE.gz
|
|
echo "done.";;
|
|
''|update) echo -n "Updating GAP workspace $WORKSPACE.gz: "
|
|
rm -f $WORKSPACE.gz
|
|
mkdir -p `dirname $WORKSPACE`
|
|
echo 'SaveWorkspace("'$WORKSPACE'");' | $GAP -q -r -R >/dev/null
|
|
if [ -e $WORKSPACE ]; then
|
|
gzip --best $WORKSPACE
|
|
fi
|
|
echo "done.";;
|
|
*)
|
|
echo "$0 update"
|
|
echo " Update GAP workspace in $WORKSPACE.gz"
|
|
echo
|
|
echo "$0 delete"
|
|
echo " Delete GAP workspace in $WORKSPACE.gz"
|
|
;;
|
|
esac
|