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

bios cradle requires correct ghc in path or in cradle defn #253

Open
adamse opened this issue Sep 24, 2020 · 2 comments
Open

bios cradle requires correct ghc in path or in cradle defn #253

adamse opened this issue Sep 24, 2020 · 2 comments

Comments

@adamse
Copy link

adamse commented Sep 24, 2020

We use the bios cradle to hook ghcide up to our build system, that same build system also manages the ghc installation.

It would be preferable if the bios program could tell hie-bios where to look for ghc (or give it the libdir directly) so we don't have to know the path to the compiler outside the buildsystem.

@fendor
Copy link
Collaborator

fendor commented Sep 25, 2020

What interface do you imagine?
A nice extension could be to add a field to the bios cradle:

cradle:
  bios:
    program: ./flags.sh
    ghc-program: ./ghc.sh

@adamse
Copy link
Author

adamse commented Oct 1, 2020

Maybe the bios program can gain an extra output file, it seems preferable not to have more programs. I guess looking at how we figure out the ghc for stack and cabal could be fruitful too.

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

No branches or pull requests

2 participants