Update kernel module checking

.github/workflows/ci.yml

@@ -27,9 +27,6 @@ jobs:
             flags: ''
           - gap: 'stable-4.12'
             flags: ''
-          - gap: 'stable-4.11'
-            flags: ''
-
     env:
       CONF_FLAG: ${{ matrix.flags }}
       BRANCH: ${{ matrix.gap }}

PackageInfo.g

@@ -66,14 +66,17 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.11",
+  GAP := ">= 4.12",
   NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ] ],
   SuggestedOtherPackages := [ ],
   ExternalConditions := [ ],
 ),
 
 AvailabilityTest := function()
-  if Filename(DirectoriesPackagePrograms("ferret"), "ferret.so") = fail then
+  if not IsKernelExtensionAvailable("ferret") then
+    LogPackageLoadingMessage(PACKAGE_WARNING,
+                            ["the kernel module is not compiled, ",
+                              "the package cannot be loaded."]);
     return fail;
   fi;
   return true;

init.g

@@ -5,6 +5,12 @@
 ##
 
 #############################################################################
+
+# load kernel function if it is installed
+if not LoadKernelExtension("ferret") then
+  Error("failed to load the ferret package kernel extension");
+fi;
+
 ##
 #R  Read the declaration files.
 ##

read.g

@@ -8,14 +8,6 @@
 ##
 #R  Read the install files.
 ##
-
-# Load C code
-_PATH_SO:=Filename(DirectoriesPackagePrograms("ferret"), "ferret.so");
-if _PATH_SO <> fail then
-    LoadDynamicModule(_PATH_SO);
-fi;
-Unbind(_PATH_SO);
-
 ReadPackage( "ferret", "lib/helper_functions.g" );
 ReadPackage( "ferret", "lib/yapb.gi" );
 ReadPackage( "ferret", "lib/overloadmethods.gi" );