upgrade selected GAP packages at startup (oscar-system#3222)

HechtiDerLachs · Jan 26, 2024 · 526b8ce · 526b8ce
1 parent 8a77b16
commit 526b8ce
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -30,7 +30,7 @@ AbstractAlgebra = "0.35.2"
 AlgebraicSolving = "0.4.6"
 Distributed = "1.6"
 DocStringExtensions = "0.8, 0.9"
-GAP = "0.10.0"
+GAP = "0.10.2"
 Hecke = "0.24.0"
 JSON = "^0.20, ^0.21"
 JSON3 = "1.13.2"

diff --git a/src/Oscar.jl b/src/Oscar.jl
@@ -83,6 +83,14 @@ function __init__()
   withenv("TERMINFO_DIRS" => joinpath(GAP.GAP_jll.Readline_jll.Ncurses_jll.find_artifact_dir(), "share", "terminfo")) do
     GAP.Packages.load("browse"; install=true) # needed for all_character_table_names doctest
   end
+  # We want newer versions of some GAP packages than the distributed ones.
+  # (But we do not complain if the installation fails.)
+  for (pkg, version) in [
+     ("repsn", "3.1.1"),
+     ]
+    GAP.Packages.install(pkg, version, interactive = false, quiet = true)
+  end
+  # We need some GAP packages.
   for pkg in [
      "atlasrep",
      "ctbllib",  # character tables