Open fingolfin opened 1 year ago
So
res = GAP.Globals.LoadPackage(GapObj("browse"), banner; OnlyNeeded=only_needed)
should become
withenv("TERMINFO_DIRS" => joinpath(GAP.GAP_jll.Readline_jll.Ncurses_jll.find_artifact_dir(), "share", "terminfo")) do
res = GAP.Globals.LoadPackage(GapObj("browse"), banner; OnlyNeeded=only_needed)
end
GAP_pkg_browse
should set up terminfo paths, see https://github.com/oscar-system/Oscar.jl/pull/1891 -- once that is done and we once we use it, we can remove the corresponding from Oscar.jl and from GAP.jl