feat: add flake.nix and ipkg-parser.nix #313
Conversation
…tical output to idris2 --dump-ipkg-json ./mypackage.ipkg, but implemented in pure nix
|
Thanks for doing this. Please note that I'm not a nix user and will not be able to maintain this. I'm therefore wondering if this truly needs to be part of the pack repo or if this would not be better off in its own repo with a link from pack's documentation. If this is going to stay in the pack repo itself, it will need some documentation in the installation guide plus some CI tests to make sure it works correctly. |
yes, I know
wow, thats generous, idris community is different, other people would just close)
can do |
|
In that case I'd suggest to keep this as part of the pack repo for the time being as long as we have proper CI tests and documentation. If the CI starts to fail and no one is around to maintain this, I'll be forced to remove it, but I'd like to have documented nix support for pack. |
|
What is the status of this PR? I'm all for merging but not without proper CI tests and documentation. |
followup of #311
I have added nix builer for all 3 packages