fpco / ide-backend

ide-backend drives the GHC API to build, query, and run your code
120 stars 17 forks source link

Allow clients to configure the location of ide-backend-{server/exe-cabal} #291

Closed jcpetruzza closed 9 years ago

jcpetruzza commented 9 years ago

The idea is to allow clients to indicate how to find the programs ide-backend-server and ide-backend-exe-cabal via new fields in SessionConfig. The defaultSessionConfig mimics the old behaviour: to look for programs named "ide-backend-server" / "ide-backend-exe-cabal" on the system path, with the caveat that any client that previously relied on setting an appropriate path in configExtraPathDirs will have to be updated.

The main motivation is to allow clients to easily pick the instance of ide-backend-server that corresponds to the version of ghc in use in the current project (in a setting with more than one version of ghc in use, etc).

mgsloan commented 9 years ago

Looks good to me, thanks!