Merge pull request #619 from fingolfin/mh/IsKernelExtensionAvailable

Author: mohamed-barakat

Gauss/PackageInfo.g

@@ -100,8 +100,7 @@ Dependencies := rec(
 ),
 
 AvailabilityTest := function()
-  if (not("gauss" in SHOW_STAT())) and
-     (Filename(DirectoriesPackagePrograms("gauss"), "gauss.so") = fail) then
+  if not IsKernelExtensionAvailable("gauss") then
     LogPackageLoadingMessage( PACKAGE_INFO, "Gauss C-module was not compiled!", "Gauss" );
     LogPackageLoadingMessage( PACKAGE_INFO, "Gauss will work, but slower.", "Gauss" );
   fi;