diff options
author | jneira <atreyu.bbb@gmail.com> | 2020-05-03 14:08:24 +0200 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-05-24 01:54:42 -0400 |
commit | 932dc54e13a8e2f60ea90af98682cc1011b9533e (patch) | |
tree | 4b6b3797c4edc9fb121c1b012dac470f0868c0e0 /hie.yaml | |
parent | 59182b88aaa72d346b480b6aa14a9244915e1189 (diff) | |
download | haskell-932dc54e13a8e2f60ea90af98682cc1011b9533e.tar.gz |
Add specific configuration for windows in hie.yaml
Diffstat (limited to 'hie.yaml')
-rw-r--r-- | hie.yaml | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -1,5 +1,8 @@ # This is a IDE configuration file which tells IDEs such as `ghcide` how # to set up a GHC API session for this project. # +# To use it in windows systems replace the config with +# cradle: {bios: {program: "./hadrian/hie-bios.bat"}} +# # The format is documented here - https://github.com/mpickering/hie-bios cradle: {bios: {program: "./hadrian/hie-bios"}} |