From 4e1d6271ea4f54a592482b67a1908d4b98a605fc Mon Sep 17 00:00:00 2001 From: Benjamin Lorenz Date: Mon, 30 Jan 2023 16:56:03 +0100 Subject: [PATCH] init: add terminfo dirs when installing GAPs browse --- src/Oscar.jl | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/Oscar.jl b/src/Oscar.jl index e25f8154639c..2b68b4f6a7cd 100644 --- a/src/Oscar.jl +++ b/src/Oscar.jl @@ -164,7 +164,9 @@ function __init__() (GAP.Globals.IsSubgroupFpGroup, FPGroup), ]) __GAP_info_messages_off() - GAP.Packages.load("browse"; install=true) # needed for all_character_table_names doctest + 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 GAP.Packages.load("ctbllib") GAP.Packages.load("forms") GAP.Packages.load("wedderga") # provides a function to compute Schur indices