PKGBUILDs/community/gap/gap.sh

8 lines
111 B
Bash
Raw Normal View History

2019-06-22 19:09:39 +00:00
#!/bin/sh
GAP_ROOT="/usr/lib/gap"
GAP_DIR=$GAP_ROOT
GAP_EXE=$GAP_ROOT
exec "$GAP_EXE/gap" -l "$GAP_DIR" "$@"