-
Notifications
You must be signed in to change notification settings - Fork 841
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
Build one ide-backend-server
per snapshot (for stack-ide)
#662
Comments
ide-backend-server
per GHCide-backend-server
per GHC (for stack-ide)
I'd say one per snapshot (which should be the default) is the right thing On Wed, Jul 22, 2015 at 4:37 PM Michael Sloan [email protected]
|
Good point! I've updated the title / description. |
ide-backend-server
per GHC (for stack-ide)ide-backend-server
per snapshot (for stack-ide)
Just to repeat here what I proposed in #657, it would be nice if this feature could be somewhat configurable:
|
What would be the best ?
Any other suggestion ? |
I'm a bit confused; how is the requirement for this issue more than just running |
@snoyberg I thought the issue was more than that because "ideally we'd only need one per snapshot". However, I just realized that executables built from packages in the snapshot do get shared. Awesome! |
Currently
stack
doesn't manage installingide-backend-server
, so you need to ensure the right one is on the PATH / in the bin dirs for the project.See #657. While having an
ide-backend-server
per project isn't so bad, ideally we'd only need one per snapshot.The text was updated successfully, but these errors were encountered: