PKGBUILDs/community/gap/gap.sh

8 lines
111 B
Bash
Raw Normal View History

2018-12-23 16:33:57 +00:00
#!/bin/sh
GAP_ROOT="/usr/lib/gap"
GAP_DIR=$GAP_ROOT
GAP_EXE=$GAP_ROOT
exec "$GAP_EXE/gap" -l "$GAP_DIR" "$@"