search

oscar-system / GAP_pkg

Julia wrapper packages for GAP packages
MIT License
0 stars 0 forks source link

Figure out how to use LocalRegistry.jl #7

Open fingolfin opened 2 years ago

fingolfin commented 2 years ago

https://github.com/GunnarFarneback/LocalRegistry.jl

fingolfin commented 1 year ago 
using LocalRegistry

if !isdir(joinpath(first(DEPOT_PATH), "registries", "GAP_Registry"))
  create_registry("GAP_Registry", "https://github.com/oscar-system/GAP_Registry")
end

LocalRegistry.register("GAP_pkg_datastructures" ; registry="GAP_Registry")