-
Notifications
You must be signed in to change notification settings - Fork 9
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
JLLExtras.jl package #33
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
We should create a
JLLExtras.jl
package that allows for meta-inspection/management of JLLs. This package doesn't have to be as hyper-optimized asJLLWrappers
so we can use it to dev out a JLL for editing, etc...Examples of things we want to be able to do:
collect_artifacts(jll_name::String; recursive::Bool, extra_artifacts::Vector{String})
Extract the artifacts of the givenjll_name
(as looked up from the current pkg environment) out to a scratch space for building/linking against. This should replace the currentdev_jll()
implementation, and notably should usePreferences
andScratch
. We can dump the whole idea of theoverrides
directory now thatPreferences
is working properly.recursive
will determine whether we will extract all dependencies into the same directory (useful for people who just want to link against a tree of dependencies with minimum hassle) andextra_artifacts
will be used to merge together multiple artifacts, given that Mosè and I ever get around to splitting things up intoruntime
,debug
,logs
, etc... artifacts.The text was updated successfully, but these errors were encountered: