/usr/bin/gap4 is in staden 2.0.0+b11-2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 | #!/bin/sh
BINDIR=/usr/lib/staden/bin
# make sure tools like tg_index.bin will be found
export PATH=$BINDIR:$PATH
export STADENROOT=/usr
## stash fails to load if these variables are not set
export STADLIB=$STADENROOT/lib/staden/
export STADTABL=$STADENROOT/share/staden/etc
exename=`basename $0`
$BINDIR/${exename} $@
|