include `gen-hie` binaries with releases?

[benrbray]

Thanks for creating gen-hie, it is essential to a smooth HLS experience.

Would you be open to including pre-built binaries for gen-hie along with each release of implicit-hie? I'd like to use gen-hie in CI, and for this it would be great to have official binaries to point to, rather than waiting for cabal install implicit-hie each time.

If I understand correctly, this should require only a small change to the GitHub workflows, perhaps using hlint's release workflow as a guide.

If you like, I can put together a PR to get started.

[fendor]

Hi!

@benrbray it might also be a possibility to include the cli of gen-hie into HLS directly, then you can invoke gen-hie from HLS directly.

[Avi-D-coder]

PRs welcome for this feature.