Skip to content

Add a third bootstrap variant which is "minimal" plus PackageManager #3913

Open
@fingolfin

Description

This way, one has just enough to be able to install other missing packages, via PackageManager.

Alternatively, one could add PackageManager to the "minimal" bootstrap set, even though it is not strictly needed for that.

I would use this for GAP.jl and I am sure some other people might be interested, too. For GAP.jl, I would probably patch the PKGMAN_DownloadURL to call into Julia to perform the download, so that it'd work on systems without wget or curl as well).

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions