This is designed to provide idris2 with local dependencies, ideal for Inigo.
This will hopefully also allow building packages without a Inigo.toml file (or maybe Inigo.dhall soon!)
Currently there's no way to set this from the .ipkg file, but I'll see if that can be changed.
This is designed to provide idris2 with local dependencies, ideal for Inigo.
This will hopefully also allow building packages without a
Inigo.tomlfile (or maybeInigo.dhallsoon!)Currently there's no way to set this from the
.ipkgfile, but I'll see if that can be changed.