Load Julia support as a package extension

.github/workflows/CI.yml

@@ -28,7 +28,6 @@ jobs:
           - '4.15'
           - '4.14'
           - '4.13'
-          - '4.12'
 
     steps:
       - uses: actions/checkout@v6

PackageInfo.g

@@ -74,13 +74,20 @@ PackageDoc := rec(
 ),
 
 Dependencies := rec(
-  GAP := ">= 4.12",
+  GAP := ">= 4.13",
   NeededOtherPackages := [ [ "GAPDoc", ">= 1.5" ] ],
   SuggestedOtherPackages := [ ],
   NeededSystemPackages := rec( Ubuntu := [["libcdd-dev"]], Homebrew := [["cddlib"]] ),
   ExternalConditions := [ ],
 ),
 
+Extensions := [
+  rec(
+    needed := [ [ "JuliaInterface", ">= 0.2" ], [ "ToolsForHomalg", ">= 2020.05.12" ] ],
+    filename := "gap/Julia.g",
+  ),
+],
+
 AvailabilityTest :=
   function()
     if not IsKernelExtensionAvailable("CddInterface") then

gap/Julia.g

@@ -0,0 +1,8 @@
+#
+# CddInterface: Gap interface to Cdd package
+#
+# Package extension, read by GAP once JuliaInterface and ToolsForHomalg
+# are loaded.
+#
+ReadPackage( "CddInterface", "gap/Julia.gd");
+ReadPackage( "CddInterface", "gap/Julia.gi");

init.g

@@ -10,8 +10,3 @@ fi;
 
 ReadPackage( "CddInterface", "gap/polyhedra.gd");
 ReadPackage( "CddInterface", "gap/tools.gd");
-
-if IsPackageMarkedForLoading( "JuliaInterface", ">= 0.2" ) and
-   IsPackageMarkedForLoading( "ToolsForHomalg", ">= 2020.05.12" ) then
-    ReadPackage( "CddInterface", "gap/Julia.gd");
-fi;

read.g

@@ -5,8 +5,3 @@
 #
 ReadPackage( "CddInterface", "gap/polyhedra.gi");
 ReadPackage( "CddInterface", "gap/tools.gi");
-
-if IsPackageMarkedForLoading( "JuliaInterface", ">= 0.2" ) and
-   IsPackageMarkedForLoading( "ToolsForHomalg", ">= 2020.05.12" ) then
-    ReadPackage( "CddInterface", "gap/Julia.gi");
-fi;