Make testinstall work with gap --bare

[fingolfin]

Resolves #6346

[codecov]

Codecov Report

❌ Patch coverage is 66.66667% with 1 line in your changes missing coverage. Please review.
✅ Project coverage is 78.74%. Comparing base (61a3638) to head (487d9d7).

Files with missing lines	Patch %	Lines
lib/test.gi	0.00%	1 Missing ⚠️

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #6354   +/-   ##
=======================================
  Coverage   78.73%   78.74%           
=======================================
  Files         685      685           
  Lines      293358   293357    -1     
  Branches     8658     8658           
=======================================
+ Hits       230987   230993    +6     
+ Misses      60552    60544    -8     
- Partials     1819     1820    +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[ThomasBreuer]

The failure is due to the fact that Test sets the global function DefaultReportDiffColors only if GAPInfo.PackagesLoaded.gapdoc is bound, which is not the case in the "bare" situation.

As far as I see, this is just about a few text constants. We could set them as in the current GAPDoc's TextAttr if GAPDoc is not available.

[fingolfin]

I've added a commit to deal with the DefaultReportDiffColors issue. Let's see if it works.

[fingolfin]

Only failure now is in tst/testinstall/package.tst which loads mockpkg which in turn "needs" GAPDoc, which then gets loaded and prints a banner.

I won't get that done for GAP 4.16.0. But I've restricted the other remaining changes from this PR into PR #6406

[ThomasBreuer]

Only failure now is in tst/testinstall/package.tst which loads mockpkg which in turn "needs" GAPDoc, which then gets loaded and prints a banner.

I see: Some tests of package extensions are based on the assumption that some GAPDoc version is already loaded. Simply removing GAPDoc from the list of needed packages of mockpkg is not a solution.

Besides this problem, everything looks well. Thanks for this work.