Use IsKernelExtensionAvailable and LoadKernelExtension (#125)

.github/workflows/CI.yml

@@ -30,7 +30,6 @@ jobs:
           - master
           - stable-4.13
           - stable-4.12
-          - stable-4.11
         GAP_PKGS_TO_BUILD: ['profiling']
         HPCGAP: ['no']
         ABI: ['']

PackageInfo.g

@@ -93,16 +93,17 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">=4.11",
+  GAP := ">=4.12",
   NeededOtherPackages := [],
   SuggestedOtherPackages := [],
   ExternalConditions := []
 ),
 
 AvailabilityTest := function()
-  if (not("io" in SHOW_STAT())) and
-     (Filename(DirectoriesPackagePrograms("io"), "io.so") = fail) then
-    #Info(InfoWarning, 1, "IO: kernel IO functions not available.");
+  if not IsKernelExtensionAvailable("io") then
+    LogPackageLoadingMessage(PACKAGE_WARNING,
+                              ["the kernel module is not compiled, ",
+                               "the package cannot be loaded."]);
     return fail;
   fi;
   return true;

init.g

@@ -13,14 +13,8 @@
 # First look after our C part: #
 ################################
 
-# load kernel function if it is installed:
-if (not IsBound(IO)) and ("io" in SHOW_STAT()) then
-  # try static module
-  LoadStaticModule("io");
-fi;
-if (not IsBound(IO)) and
-   (Filename(DirectoriesPackagePrograms("io"), "io.so") <> fail) then
-  LoadDynamicModule(Filename(DirectoriesPackagePrograms("io"), "io.so"));
+if not LoadKernelExtension("io") then
+  Error("failed to load the io package kernel extension");
 fi;
 
 ReadPackage("IO", "gap/io.gd");