eayus / sirdi

Package manager for Idris
GNU General Public License v3.0
35 stars 11 forks source link

Support pulling from git #25

Closed andrevidela closed 2 years ago

andrevidela commented 2 years ago

This adds experimental support to pull repositories from git and was intended to lay the ground for pulling repositories which don't have a sirdi.toml file.

I think the way to go is to add an additional field ipkg that tells where the ipkg is relative to the path. This way we can know which ipkg to install, since it's quite common to have multiple of them in the same project.

I've added the functions to parse the ipkg but I've not implemented them since I didn't add the ipkg field in toml validation.

I would like to do it but my RSI is quite bad lately so this is all I can do