search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
61 stars 7 forks source link

[ new ] support for extra-deps #15

Closed Z-snails closed 3 years ago

Z-snails commented 3 years ago

This adds support for deps outside of the ones on inigo.pm, for now any git repo.

example usage

# Inigo.toml
...

[[extra-dep]]
download = "git"
commit = "624eb9a0e15f8eb40375355efd10117cdbcc0c8a"
url = "https://github.com/idris-community/inigo.git"
sub-folders = ["Base/Color", "Base/Fmt"]

This will give access to the Base.Color and Base.Fmt packages available at https://github.com/idris-community/inigo at the specified commit. You must provide a commit (or tag or nothing because I don't sanitise it yet!).