PKGBUILDs/community/gap/gap.sh
2018-12-23 16:33:57 +00:00

7 lines
111 B
Bash

#!/bin/sh
GAP_ROOT="/usr/lib/gap"
GAP_DIR=$GAP_ROOT
GAP_EXE=$GAP_ROOT
exec "$GAP_EXE/gap" -l "$GAP_DIR" "$@"