summaryrefslogtreecommitdiff
path: root/hie.yaml
diff options
context:
space:
mode:
authorjneira <atreyu.bbb@gmail.com>2020-05-03 14:08:24 +0200
committerMarge Bot <ben+marge-bot@smart-cactus.org>2020-05-24 01:54:42 -0400
commit932dc54e13a8e2f60ea90af98682cc1011b9533e (patch)
tree4b6b3797c4edc9fb121c1b012dac470f0868c0e0 /hie.yaml
parent59182b88aaa72d346b480b6aa14a9244915e1189 (diff)
downloadhaskell-932dc54e13a8e2f60ea90af98682cc1011b9533e.tar.gz
Add specific configuration for windows in hie.yaml
Diffstat (limited to 'hie.yaml')
-rw-r--r--hie.yaml3
1 files changed, 3 insertions, 0 deletions
diff --git a/hie.yaml b/hie.yaml
index d23f66c1c4..34dde0452a 100644
--- a/hie.yaml
+++ b/hie.yaml
@@ -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"}}