Resolve gap-system/gap#5761

gap-packages · Aug 26, 2024 · d6934c0 · d6934c0
1 parent ef1a0de
commit d6934c0
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 9 deletions.
diff --git a/PackageInfo.g b/PackageInfo.g
@@ -122,9 +122,11 @@ Dependencies := rec(
 ),
 
 AvailabilityTest := function()
-  if (not ("datastructures" in SHOW_STAT())) and
-     (Filename(DirectoriesPackagePrograms("datastructures"), "datastructures.so") = fail) then
-     return fail;
+  if not IsKernelExtensionAvailable("datastructures") then
+    LogPackageLoadingMessage(PACKAGE_WARNING,
+                             ["the kernel module is not compiled, ",
+                              "the package cannot be loaded."]);
+    return fail;
   fi;
   return true;
 end,

diff --git a/init.g b/init.g
@@ -12,12 +12,8 @@
 #R  Read the declaration files.
 ##
 
-if (not IsBound(__DATASTRUCTURES_C)) and ("datastructures" in SHOW_STAT()) then
-  LoadStaticModule("datastructures");
-fi;
-if (not IsBound(__DATASTRUCTURES_C)) and
-   (Filename(DirectoriesPackagePrograms("datastructures"), "datastructures.so") <> fail) then
-  LoadDynamicModule(Filename(DirectoriesPackagePrograms("datastructures"), "datastructures.so"));
+if not LoadKernelExtension("datastructures") then
+  Error("failed to load the datastructures package kernel extension");
 fi;
 
 # interface definitions