Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Proposal: faster Bios protocol #270

Closed
pepeiborra opened this issue Dec 13, 2020 · 4 comments
Closed

Proposal: faster Bios protocol #270

pepeiborra opened this issue Dec 13, 2020 · 4 comments

Comments

@pepeiborra
Copy link
Contributor

Currently the Bios protocol can involve two process calls: one asking for the flags/targets and another asking for the deps. This split means that the Bios program may need to implement some stateful caching in order to respond efficiently to the second request.

The proposal is to merge both calls into a single one using two env vars: HIE_BIOS_FLAGS and HIE_BIOS_DEPS. I would add a third output value, the path to ghc, in an env var HIE_BIOS_GHC_PATH.

@wz1000
Copy link
Contributor

wz1000 commented Dec 16, 2020

HIE_BIOS_GHC_PATH will also unblock #265

@pepeiborra
Copy link
Contributor Author

Is anyone working on HIE_BIOS_GHC_PATH? It's the only piece missing and I might find some time to work on it during the incoming days.

@fendor
Copy link
Collaborator

fendor commented Dec 25, 2020

I am not working on it right now.

@fendor
Copy link
Collaborator

fendor commented Jun 16, 2023

The first part of this proposal has been implemented.
For the second part of this proposal, which is about the GHC version used for the Bios Cradle, I am closing this issue in favour of #401

@fendor fendor closed this as completed Jun 16, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants