PKGBUILDs/community/gap/gap.sh
2019-06-22 19:12:10 +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" "$@"