GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

1
#!/usr/bin/env bash
2
set -ex
3

4
GAP="$GAPROOT/bin/gap.sh --quitonbreak -q"
5

6
# generate library coverage reports
7
$GAP -a 500M -m 500M -q <<GAPInput
8
if LoadPackage("profiling") <> true then
9
    Print("ERROR: could not load profiling package");
10
    FORCE_QUIT_GAP(1);
11
fi;
12
d := Directory("$COVDIR");;
13
covs := [];;
14
for f in DirectoryContents(d) do
15
    if f in [".", ".."] then continue; fi;
16
    Add(covs, Filename(d, f));
17
od;
18
Print("Merging coverage results\n");
19
r := MergeLineByLineProfiles(covs);;
20
Print("Outputting JSON\n");
21
OutputJsonCoverage(r, "gap-coverage.json");;
22
QUIT_GAP(0);
23
GAPInput
24

25
# generate source coverage reports by running gcov
26
gcov -o . src/*.c*
27

28