diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 8433f31..0dac095 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -27,9 +27,6 @@ jobs: - master - stable-4.13 - stable-4.12 - - stable-4.11 - - stable-4.10 - - stable-4.9 os: [ubuntu-latest] include: - gap-branch: master diff --git a/PackageInfo.g b/PackageInfo.g index fbcb26e..48f49e9 100644 --- a/PackageInfo.g +++ b/PackageInfo.g @@ -63,8 +63,8 @@ ArchiveURL := Concatenation("https://github.com/gap-packages/ZeroMQInterface "/ZeroMQInterface-", ~.Version), README_URL := Concatenation( ~.PackageWWWHome, "README.md" ), PackageInfoURL := Concatenation( ~.PackageWWWHome, "PackageInfo.g" ), -SourceRepository := rec( - Type := "git", +SourceRepository := rec( + Type := "git", URL := "https://github.com/gap-packages/ZeroMQInterface" ), IssueTrackerURL := Concatenation( ~.SourceRepository.URL, "/issues" ), @@ -92,20 +92,21 @@ PackageDoc := rec( ), Dependencies := rec( - GAP := ">= 4.9", + GAP := ">= 4.12", NeededOtherPackages := [ [ "GAPDoc", ">= 1.6.1" ] ], SuggestedOtherPackages := [ ], ExternalConditions := [ ], ), AvailabilityTest := function() - if not "ZeroMQInterface" in SHOW_STAT() and - Filename(DirectoriesPackagePrograms("ZeroMQInterface"), "zeromqinterface.so") = fail then - #Info(InfoWarning, 1, "ZeroMQInterface: kernel ZeroMQInterface functions not available."); - return fail; - fi; - return true; - end, + if not IsKernelExtensionAvailable("zeromqinterface") then + LogPackageLoadingMessage(PACKAGE_WARNING, + ["the kernel module is not compiled, ", + "the package cannot be loaded."]); + return fail; + fi; + return true; +end, TestFile := "tst/testall.g", @@ -115,14 +116,14 @@ AutoDoc := rec( TitlePage := rec( Copyright := """©right; 2015-17 by Markus Pfeiffer, Reimer Behrends and others
-The &ZeroMQInterface; package is free software; -you can redistribute it and/or modify it under the terms of the -