Remove references to bin/gap.sh

GAP 4.13 drops it. Using gap directly works since 4.9

Author: fingolfin

ci/coverage.py

@@ -38,7 +38,7 @@ def warn_exit(msg):
 QUIT_GAP(0);
 '''
 
-_RUN_GAP = '../../bin/gap.sh -A -q -m 1g -o 2g -T --cover ' + _DIR + '/profile.gz -c "' + _COMMANDS.replace('"', '\\"') + '"'
+_RUN_GAP = '../../gap -A -q -m 1g -o 2g -T --cover ' + _DIR + '/profile.gz -c "' + _COMMANDS.replace('"', '\\"') + '"'
 
 try:
     pro = subprocess.Popen(_RUN_GAP, shell=True)

ci/docker-test.sh

@@ -58,7 +58,7 @@ env | grep -v "^LS_COLORS"
 # Common curl settings
 CURL="curl --connect-timeout 5 --max-time 40 --retry 5 --retry-delay 0  -L"
 TESTLOG="$GAP_HOME/testlog.txt"
-GAPSH="$GAP_HOME/bin/gap.sh"
+GAPSH="$GAP_HOME/gap"
 DIG_DIR="$GAP_HOME/pkg/digraphs"
 
 ################################################################################

scripts/check-code-coverage.sh

@@ -58,7 +58,7 @@ printf "\033[1m";
 printf "Running Test(\"$1\"); in GAP . . .\n"; 
 printf "\033[0m"; 
 printf "\033[2m";
-~/gap/bin/gap.sh -A -m 1g -T <<< "Test(\"$1\"); quit;";
+~/gap/gap -A -m 1g -T <<< "Test(\"$1\"); quit;";
 printf "\033[0m"; 
 
 printf "\033[1m";