Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

browse specific changes #10

Open
fingolfin opened this issue Feb 3, 2023 · 1 comment
Open

browse specific changes #10

fingolfin opened this issue Feb 3, 2023 · 1 comment
Labels
package Issues specific to one or multiple specific GAP packages

Comments

@fingolfin
Copy link
Member

GAP_pkg_browse should set up terminfo paths, see oscar-system/Oscar.jl#1891 -- once that is done and we once we use it, we can remove the corresponding from Oscar.jl and from GAP.jl
@fingolfin
Copy link
Member Author

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

@fingolfin fingolfin added the package Issues specific to one or multiple specific GAP packages label Jun 27, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
package Issues specific to one or multiple specific GAP packages
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fingolfin