Run --bare testinstall test in CI

Author: fingolfin

.github/workflows/CI.yml

@@ -47,7 +47,7 @@ jobs:
         test-suites:
           [
             # base test: fast first test
-            "testinstall",
+            "testinstall-bare",
 
             "teststandard",
 

dev/ci.sh

@@ -422,6 +422,10 @@ GAPInput
 
     ;;
 
+  testinstall-bare)
+    $GAP $(gap_cover_arg) --bare $SRCDIR/tst/testinstall.g
+    ;;
+
   *)
     if [[ ! -f  $SRCDIR/tst/${TEST_SUITE}.g ]]
     then

tst/testinstall/maxsub.tst

@@ -9,12 +9,14 @@ gap> SortedList(List(msc, IndexInParent));
 [ 2, 3, 4 ]
 
 #
+#@if IsPackageMarkedForLoading( "primgrp", "" )
 gap> G := GL(2,4);;
 gap> msc:=MaximalSubgroupClassReps(G);;
 gap> ForAll(msc, H -> Parent(H) = G);
 true
 gap> SortedList(List(msc, IndexInParent));
 [ 3, 5, 6, 10 ]
+#@fi
 
 #
 gap> G := GL(2,5);;
@@ -25,10 +27,12 @@ gap> SortedList(List(msc, IndexInParent));
 [ 2, 5, 6, 10 ]
 
 #
+#@if IsPackageMarkedForLoading( "primgrp", "" )
 gap> G := AlternatingGroup(5);;
 gap> msc := MaximalSubgroupClassReps(G);;
 gap> SortedList(List(msc, H -> Index(G, H)));
 [ 5, 6, 10 ]
+#@fi
 
 #
 gap> STOP_TEST("maxsub.tst");

tst/testinstall/package.tst

@@ -435,9 +435,11 @@ false
 gap> IsPackageLoaded("mockpkg", ">=2.0");
 false
 
+#
 # instruct GAP to load the package, and record all its declarations
 # the help book of mockpkg might already have been loaded in other tests
 # -> we suppress a warning about this
+#@if IsPackageMarkedForLoading( "gapdoc", "" )
 gap> old_warning_level := InfoLevel( InfoWarning );;
 gap> SetInfoLevel( InfoWarning, 0 );
 gap> PackageVariablesInfo("mockpkg", "0.1");;
@@ -481,9 +483,14 @@ gap> IsDateFormatValid := function( datestring )
 >    end;;
 gap> IsDateFormatValid( GAPInfo.Date );
 true
+#@else
+gap> LoadPackage("mockpkg", false);
+oops, should not print here
+true
+#@fi
 
 # Test the Cite() command (output changed with GAPDoc 1.6.6 and again with 1.6.7)
-#@if CompareVersionNumbers(InstalledPackageVersion("gapdoc"), "1.6.7")
+#@if IsPackageMarkedForLoading( "gapdoc", "1.6.7" )
 gap> Cite("mockpkg");
 Please use one of the following samples
 to cite mockpkg version from this installation
@@ -538,7 +545,7 @@ rg/}}},
 }
 
 
-#@else
+#@elif IsPackageMarkedForLoading( "gapdoc", "" )
 gap> Cite("mockpkg");
 Please use one of the following samples
 to cite mockpkg version from this installation